A logic programming approach to knowledge-state planning, II: The system

, , , &
Artificial Intelligence 144 (1-2):157-211 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00367-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Linear temporal logic as an executable semantics for planning languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings'.Michael Gelfond, Nicole Leone & Gerald Pfeifer - 1999 - Springer.
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.
Logic Programming and Nonmonotonic Reasoning 6th International Conference, Lpnmr 2001, Vienna, Austria, September 17-19, 2001 : Proceedings.Thomas Eiter, Wolfgang Faber & Miroslaw Trusczynksi - 2001 - Springer Verlag.
Applications of Linear Logic to Computation: An Overview.Vladimir Alexiev - 1994 - Logic Journal of the IGPL 2 (1):77-107.
Towards Fuzzy Linguistic Logic Programming.Clemente Rubio-Manzano & Pascual Julian-Iranzo - 2014 - Archives for the Philosophy and History of Soft Computing 2014 (2).
Disjunctive logic programming with types and objects: The DLV+ system.Francesco Ricca & Nicola Leone - 2007 - Journal of Applied Logic 5 (3):545-573.
Analysis of the role of information in planning: The case of town and country planning. [REVIEW]Mathieu C. H. Wagemans - 1990 - Knowledge, Technology & Policy 3 (4):72-90.
Enhancing disjunctive logic programming systems by SAT checkers.Christoph Koch, Nicola Leone & Gerald Pfeifer - 2003 - Artificial Intelligence 151 (1-2):177-212.
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Knowledge Representation and Logic Programming.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):1.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,316,802)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 9 citations / Add more citations

References found in this work

Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
An algorithm for probabilistic planning.Nicholas Kushmerick, Steve Hanks & Daniel S. Weld - 1995 - Artificial Intelligence 76 (1-2):239-286.

Add more references