Multi-dimensional dynamic knowledge representation

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

Volumn 2173 LNAI, Issue , 2001, Pages 365-378

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

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ACYCLIC DIGRAPH; DYNAMIC LOGIC PROGRAMMING; KNOWLEDGE SOURCES; LINEAR SEQUENCE; LOGIC PROGRAMS; MULTIDIMENSIONAL DYNAMIC LOGIC PROGRAMMING; NATURAL GENERALIZATION; STATES OF KNOWLEDGE;

DIRECTED GRAPHS; KNOWLEDGE REPRESENTATION; SEMANTICS;

LOGIC PROGRAMMING;

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

References (20)

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. To appear.
3. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999.
4. F. Buccafurri, N. Leone, and P. Rullo. Semantics and expressiveness of disjunctive ordered logic. Annals of Math. and Artificial Intelligence, 25(3-4):311-337, 1999.
5. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.
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. E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63-87, 2000.
10. J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - a dynamic logic programming agent architecture. In Procs. of ATAL'01, 2001.
11. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional logic programming. Technical report, Dept. Informatica, Universidade Nova de Lisboa, 2001.
12. J. A. Leite, F. C. Pereira, A. Cardoso, and L. M. Pereira. Metaphorical mapping consistency via dynamic logic programming. In Procs. of AISB'00. AISB, 2000.
13. J. A. Leite and L. M. Pereira. Generalizing updates: From models to programs. In Procs of. LPKR-97, volume 1471 of LNAI. Springer, 1997.
14. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992.
15. V. W. Marek and M. Truszczyński. Revision specifications by means of programs. In Procs. of JELIA-94, volume 838 of LNAI. Springer, 1994.
16. Teodor C. Przymusinski and Hudson Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125-143, 1997.
17. P. Quaresma and I. P. Rodrigues. A collaborative legal information retrieval system using dynamic logic programming. In Procs. of ICAIL-99. ACM Press, 1999.
18. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.
19. Marianne Winslett. Reasoning about action using a possible models approach. In Procs. of NCAI-88. AAAI Press, 1988.
20. Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI'98. Morgan Kaufmann, 1998.