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
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
Representing action: indeterminacy and ramifications
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
Proceedings of the 1999 international conference on Logic programming
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Representing Transition Systems by Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Conformant Planning via Model Checking
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Decision-theoretic planning
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Computational complexity of planning and approximate planning in presence of incompleteness
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The DLVK Planning System: Progress Report
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Verifying business process compliance by reasoning about actions
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Argonauts: a working system for motivated cooperative agents
Annals of Mathematics and Artificial Intelligence
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Modelling biological networks by action languages via answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We propose a new logic-based planning language, called K. Transitions between states of knowledge can be described in K, and the language is well suited for planning under incomplete knowledge. Nonetheless, K also supports the representation of transitions between states of the world (i.e., states of complete knowledge) as a special case, proving to be very flexible. A planning system supporting K is implemented on top of the disjunctive logic programming system DLV. This novel systemallows for solving hard planning problems, including secure planning under incomplete initial states, which cannot be solved at all by other logic-based planning systems such as traditional satisfiability planners.