Access the full text.
Sign up today, get DeepDyve free for 14 days.
P. Simons, I. Niemelä, T. Soininen (2000)
Extending and implementing the stable model semanticsArtif. Intell., 138
P. Simons (1999)
Proceedings of the 5th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-99), number 1730 in Lecture Notes in Artificial Intelligence (LNCS)
J. McCarthy (1987)
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCEMachine intelligence
P. Simons (1999)
Extending the Stable Model Semantics with More Expressive RulesArXiv, cs.LO/9908004
Henry Kautz, B. Selman (1998)
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework
Chitta Baral, M. Gelfond (1994)
Logic Programming and Knowledge Representation, 1471
M. Balduccini, M. Gelfond (2003)
Logic Programs with Consistency-Restoring Rules
G. Brewka (2002)
Logic programming with ordered disjunction
H. Gallaire, J. Minker (1978)
Logic and Data Bases
M. Balduccini, M. Gelfond, M. Nogueira (2000)
A-Prolog as a tool for declarative programming
M. Gelfond, Alfredo Gabaldon (1997)
From Functional Specifications to Logic Programms
M. Gelfond (2002)
Representing Knowledge in A-Prolog
Yannis Dimopoulos, B. Nebel, Jana Koehler (1997)
Encoding Planning Problems in Nonmonotonic Logic Programs
M. Gelfond, Vladimir Lifschitz (1988)
The Stable Model Semantics for Logic Programming
M. Balduccini, M. Gelfond (2003)
Diagnostic reasoning with A-PrologTheory and Practice of Logic Programming, 3
M. Kaminski (1997)
A Note on the Stable Model Semantics for Logic Programs. (Research Note)Artif. Intell., 96
F. Bacchus, F. Kabanza (2000)
Using temporal logics to express search control knowledge for planningArtif. Intell., 116
R. Reiter (1987)
On Closed World Data Bases
M. Gelfond, Richard Watson (1998)
On methodology of representing knowledge in dynamic domains
M. Balduccini (2005)
Answer set based design of highly autonomous, rational agents
F. Bacchus, F. Kabanza (1996)
Using temporal logic to control search in a forward chaining planner
M. Balduccini, V. Mellarkod (2004)
A-Prolog with CR-rules and ordered disjunctionInternational Conference on Intelligent Sensing and Information Processing, 2004. Proceedings of
Chitta Baral, M. Gelfond (2000)
Reasoning agents in dynamic domains
F. Buccafurri, N. Leone, P. Rullo (1997)
Strong and Weak Constraints in Disjunctive Datalog
M. Gelfond, M. Nogueira (2005)
Building knowledge systems in a-prolog
Chitta Baral (2003)
Knowledge Representation, Reasoning and Declarative Problem Solving
J. Minker (2000)
Logic-Based Artificial Intelligence
V. Mellarkod (2002)
Optimizing the computation of stable models using merged rules
G. Brewka, I. Niemelä, T. Syrjänen (2004)
Logic Programs with Ordered DisjunctionComputational Intelligence, 20
M. Gelfond, N. Leone (2002)
Knowledge Representation and Logic ProgrammingArtif. Intell., 138
F. Bacchus, F. Kabanza (1996)
Planning for temporally extended goalsAnnals of Mathematics and Artificial Intelligence, 22
E. Pednault (1989)
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus
M. Gelfond, V. Lifschitz (1998)
Action LanguagesElectron. Trans. Artif. Intell., 2
J. McCarthy (1987)
Epistemological Problems of Artificial Intelligence
K. Apt, V. Marek, M. Truszczynski, D. Warren (2011)
The Logic Programming Paradigm: A 25-Year Perspective
Jürgen Finger (1987)
Exploiting constraints in design synthesis
N. Leone, G. Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, G. Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, S. Perri, A. Polleres (2002)
The DLV System
M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry (2001)
An A Prolog decision support system for the Space Shuttle
F. Buccafurri, N. Leone, P. Rullo (1997)
Adding Weak Constraints to Disjunctive Datalog
A. Kakas, F. Sadri (2002)
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I
Richard Watson (1999)
An Application of Action Theory to the Space Shuttle
Yi-Cheng Huang, B. Selman, Henry Kautz (1999)
Control Knowledge in Planning: Benefits and Tradeoffs
Jan Maluszy¿ski (1997)
From Functional Specifications to Logic Programs
I. Niemelä, P. Simons (2001)
Extending the Smodels system with cardinality and weight constraints
M. Balduccini (2004)
USA-Smart: Improving the Quality of Plans in Answer Set Planning
G. Brewka, I. Niemelä, T. Syrjänen (2002)
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
Le-Chi Tuan, Chitta Baral (2001)
Effect of knowledge representation on model based planning: experiments using logic programming encodings
V. Lifschitz (1999)
Action Languages, Answer Sets, and Planning
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, N. Leone, G. Pfeifer (2003)
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
M. Barry, R. Watson (1999)
Reasoning about actions for spacecraft redundancy management1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403), 5
M. Kaminski (1997)
A note on the stable model semantics of logic programsArtif. Intell., 96
USA-Advisor can be downloaded from http
Thomas Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres (2002)
Answer Set Planning under Action Costs
Loveleen Kolvekar (2004)
Developing an inference engine for CR-Prolog with preferences
G. Antoniou (1997)
Stable Model Semantics of Logic Programs
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, the domain model, the control knowledge, and the reasoning modules. Moreover, it is efficient enough to be used for practical tasks and can be nicely integrated with programming languages such as Java. An extension of A-Prolog (CR-Prolog) allows to further improve the quality of reasoning by specifying requirements that the solutions should satisfy if at all possible. The features of A-Prolog and CR-Prolog are demonstrated by describing in detail the design of USA-Advisor, an A-Prolog based decision support system for the Space Shuttle flight controllers.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Sep 13, 2006
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.