A logic-based calculus of events
New Generation Computing
Nonmonotonic logic and temporal projection
Artificial Intelligence
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Journal of the ACM (JACM)
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
On the relations between stable and well-founded semantics of logic programs
Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Complexity, decidability and undecidability results for domain-independent planning
Artificial Intelligence - Special volume on planning and scheduling
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
Representing action: indeterminacy and ramifications
Artificial Intelligence
On the logic of causal explanation
Artificial Intelligence
An algorithm to evaluate quantified Boolean formulae
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A logic of universal causation
Artificial Intelligence
Proceedings of the 1999 international conference on Logic programming
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Improvements to the Evaluation of Quantified Boolean Formulae
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Unifying SAT-based and Graph-based Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Open World Planning in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Distributed Algorithm to Evaluate Quantified Boolean Formulae
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Planning as Satisfiability in Nondeterministic Domains
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Conformant Planning via Model Checking
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
SATO: An Efficient Propositional Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Decision-theoretic planning
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
Heuristics based on unit propagation for satisfiability problems
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Using CSP look-back techniques to solve real-world SAT instances
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Monitoring agents using declarative planning
Fundamenta Informaticae
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Answer set planning under action costs
Journal of Artificial Intelligence Research
On reversing actions: algorithms and complexity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Artificial Intelligence Research
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Conditional planning with external functions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Semantic annotation and composition of business processes with Maestro
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Updating action domain descriptions
Artificial Intelligence
A 25-year perspective on logic programming
Exception handling in web service processes
The evolution of conceptual modeling
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Journal of Computer and System Sciences
Argonauts: a working system for motivated cooperative agents
Annals of Mathematics and Artificial Intelligence
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Applying answer set programming to points-to analysis of object-oriented language
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing
A language for default reasoning about actions
Correct Reasoning
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Monitoring Agents using Declarative Planning
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
Theory and Practice of Logic Programming
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge can be described, rather than transitions between completely described states of the world, which makes the language well suited for planning under incomplete knowledge. Furthermore, our formalism enables the use of default principles in the planning process by supporting negation as failure. Nonetheless, K also supports the representation of transitions between states of the world (i.e., states of complete knowledge) as a special case, which shows that the language is very flexible. As we demonstrate on particular examples, the use of knowledge states may allow for a natural and compact problem representation. We then provide a thorough analysis of the computational complexity of K, and consider different planning problems, including standard planning and secure planning (also known as conformant planning) problems. We show that these problems have different complexities under various restrictions, ranging from NP to NEXPTIME in the propositional case. Our results form the theoretical basis for the DLVk system, which implements the language K on top of the DLV logic programming system.