Evolving logic programs

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

Volumn 2424, Issue , 2002, Pages 50-62

  Alferes, José Júlio ^a   Brogi, Antonio ^b   Leite, João Alexandre ^a   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; MODELING LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS;

CRITICAL ANALYSIS; GENERALIZED LOGIC PROGRAM; KNOWLEDGE BASIS; LOGIC PROGRAMS; MODEL-THEORETIC; RESEARCH TOPICS;

LOGIC PROGRAMMING;

EID: 77952029586     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

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.
2. J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 138(1-2), 2002. A short version appeared in M. Gelfond et al., LPNMR-99, LNAI 1730, Springer.
3. A. Bonner and M. Kifer. Transaction logic programming. In David S. Warren, editor, ICLP-93, pages 257-279. The MIT Press, 1993.
4. A. Brogi. Probabilistic behaviours of reactive agents. Electronic Notes in Theoretical Computer Science, 48, 2001.
5. A. Brogi, V.S. Subrahmanian, and C. Zaniolo. The logic of totally and partially ordered plans: A deductive database approach. Annals of Mathematics and Artificial Intelligence, 19((1,2)):27-58, 1997.
6. J. Chomicki. Polynomial-time computable queries in temporal deductive databases. In PODS'90, 1990.
7. T. Eiter, M. Fink, G. Sabbatini, and H Tompits. A framework for declarative update specifications in logic programs. In IJCAI'01, pages 649-654. Morgan-Kaufmann, 2001.
8. M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In R. Kowalski and K. Bowen, editors, ICLP'88, pages 1070-1080. MIT Press, 1988.
9. M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998.
10. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
11. J. A. Leite. A modified semantics for LUPS. In P. Brazdil and A. Jorge, editors, EPIA-01, volume 2258 of LNAI, pages 261-275. Springer, 2001.
12. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR'92. Morgan-Kaufmann, 1992.