Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
ACM Transactions on Database Systems (TODS)
Foundations of logic programming
Principles of knowledge representation
Proceedings of the 1999 international conference on Logic programming
Declarative problem-solving in DLV
Logic-based artificial intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Heuristics based on unit propagation for satisfiability problems
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Optimizing the Computation of Heuristics for Answer Set Programming Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Exploiting agents in e-learning and skills management context
AI Communications
A backjumping technique for disjunctive logic programming
AI Communications
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Parametric connectives in Disjunctive Logic Programming
AI Communications
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Heuristics for hard ASP programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Experimenting with look-back heuristics for hard ASP programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Context-aware support for self-directed ubiquitous-learning
International Journal of Mobile Learning and Organisation
On the relation between answer set and sat procedures (or, between cmodels and smodels)
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Solving hard ASP programs efficiently
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Evaluating search strategies and heuristics for efficient answer set programming
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Hi-index | 0.00 |
We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...