Diagnosing physical systems in a-prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2173 LNAI, Issue , 2001, Pages 213-225

  Gelfond, Michael ^a   Balduccini, Marcello ^a   Galloway, Joel ^b  

^a Department of Electrical and Computer Engineering   (United States)

^b Dupont Pharmaceuticals   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

A-PROLOG; ACTION LANGUAGE; LOGIC PROGRAMS; PHYSICAL DEVICES; PHYSICAL SYSTEMS; STABLE MODEL;

SOFTWARE AGENTS;

LOGIC PROGRAMMING;

EID: 84867760647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45402-0_16     Document Type: Conference Paper

References (19)

1. Baral, C., and Gelfond, M. Reasoning agents in dynamic domains. In Minker, J. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, (2000), 257-279.
2. Baral, C., Gelfond, M., and Provetti, A. Reasoning about actions: laws, observations, and hypotheses. In Journal of Logic Programming, volume 31, 201-244, 1994.
3. Baral, C., McIlraith, S., and Son, T. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the 2000 KR Conference, 311-322, 2000.
4. de Kleer, J., Mackworth, A., and Reiter, R. Characterizing diagnoses and systems. In Artificial Intelligence, volume 56(2-3), 197-222, 1992.
5. Gelfond, M., and Lifschitz, V. The stable model semantics for logic programming. In Logic Programming: Proc. of the Fifth Int'l Conf. and Symp., 1070-1080, 1988.
6. Gelfond, M., and Lifschitz, V. Classical negation in logic programs and disjunctive databases. In New Generation Computing, 365-387, 1991.
7. Gelfond, M., and Lifschitz, V. Representing actions in extended logic programs. In Proc. of Joint International Conference and Symposium on Logic Programming, 559-573, 1992.
8. Gelfond, M., and Lifschitz, V. Action languages. In Electronic Transactions on AI, volume 3(16), 1998.
9. Lifschitz, V. Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective. 357-373, Springer Verlag, 1999.
10. Marek, W., and Truszczynski, M. Stable models and an alternative logic paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375-398, Springer Verlag, 1999.
11. McCain, T., and Turner, H. A causal theory of ramifications and qualifications. In Artificial Intelligence, volume 32, 57-95, 1995.
12. McIlraith, T. Explanatory diagnosis conjecturing actions to explain observations. In Proceedings of the 1998 KR Conference, 167-177, 1998.
13. Niemela, I. Logic programs with stable model semantics as a constraint programming paradigm. In Annals of Mathematics and Artificial Intelligence, 25(3-4), 241-273, 1999.
14. Niemela, I., and Simons, P. SMODELS - an implementation of the well-founded and stable model semantics for normal logic programs. In Proc. of LPNMR'97, volume 1265 of Lecture Notes in Computer Science, 420-429, 1997.
15. Reiter, R. A theory of diagnosis from first principles. In Artificial Intelligence, volume 32, 57-95, 1987.
16. Simons, P. Extending the stable model semantics with more expressive rules. In 5th International Conference, LPNMR'99, 305-316, 1999.
17. Thielscher, M. A theory of dynamic diagnosis. In Linkoping Electronic Articles in Computer and Information Science, volume 2(11), 1997.
18. H. Turner. Representing actions in logic programs and default theories. In Journal of Logic Programming, 31(1-3):245-298, May 1997.
19. Eiter, T., Faber, Leone, N., Pfeifer, G. Declarative Problem Solving in DLV In Minker, J. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, 257-279, 2000.