Publisher
Springer International Publishing
Reference18 articles.
1. Michael Bartholomew and Joohyung Lee. Stable models of formulas with intensional functions. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning, pages 2–12, 2012.
2. Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler. Encoding planning problems in non-monotonic logic programs. In Sam Steel and Rachid Alami, editors, Proceedings of European Conference on Planning, pages 169–181. Springer, 1997.
3. Richard Fikes and Nils Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3–4):189–208, 1971.
4. Michael Gelfond and Vladimir Lifschitz. Representing actions in extended logic programming. In Krzysztof Apt, editor, Proceedings Joint International Conference and Symp. on Logic Programming, pages 559–573, 1992.
5. Cordell Green. Application of theorem proving to problem solving. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 219–240, 1969.