A modified semantics for LUPS

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

Volumn 2258 LNAI, Issue , 2001, Pages 261-275

  Leite, João Alexandre ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; SEMANTICS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

DYNAMIC LOGIC PROGRAMMING; LOGIC PROGRAMS; STATE TRANSITIONS;

LOGIC PROGRAMMING; COMPUTER CIRCUITS;

EID: 84867807279     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45329-6_27     Document Type: Conference Paper

References (16)

1. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1-3):43-70, 2000. Abstract titled Dynamic Logic Programming appeared in Procs. of KR-98.
2. J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. In Procs. of LPNMR-99, LNAI-1730. Springer, 1999.
3. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999.
4. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.
5. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Specifying update policies for nonmonotonic knowledge bases. In Procs. of DGNMR-01, 2001. To appear in Procs. of IJCAI-01.
6. M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988.
7. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39-78, 1998.
8. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Procs. of KR-91. Morgan Kaufmann, 1991.
9. J. A. Leite and L. M. Pereira. Generalizing updates: From models to programs. In Procs of. LPKR-97, LNAI-1471. Springer, 1997.
10. J. A. Leite and L. M. Pereira. Iterated logic program updates. In Procs. of JICSLP-98. MIT Press, 1998.
11. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992.
12. V. W. Marek and M. Truszczyński. Revision specifications by means of programs. In Procs. of JELIA-94, LNAI-838. Springer, 1994.
13. T. C. Przymusinski and H. Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125-143, 1997.
14. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.
15. M. Winslett. Reasoning about action using a possible models approach. In Procs. of NCAI-88. AAAI Press, 1988.
16. Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI'98. Morgan Kaufmann, 1998.