The well supported semantics for multidimensional dynamic logic programs

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

Volumn 3662 LNAI, Issue , 2005, Pages 356-368

  Banti, F ^a   Alferes, J J ^a   Brogi, A ^b   Hitzler, P ^c  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FORMAL LOGIC; HIERARCHICAL SYSTEMS; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS;

HIERARCHICALLY ORDERED EVOLVING KNOWLEDGE BASES; MULTIDIMENSIONAL DYNAMIC LOGIC PROGRAMS; STABLE MODEL SEMANTICS;

SEMANTICS;

EID: 33646063189     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_28     Document Type: Conference Paper

References (19)

1. J. J. Alferes, F. Banti, A. Brogi, and J. A. Leite. Semantics for dynamic logic programming: a principled based approach. In LPNMR-7. Springer, 2004.
2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming, (1-3):43-70, 2000.
3. J.J. Alferes, F. Banti, and A. Brogi. From logic programs updates to action description updates. In J. Leite and P. Torroni, editors, CLIMA V, pages 227-242. Pre-Proceedings, 2004. ISBN: 972-9119-37-6.
4. K. R. Apt and R. N. Bol. Logic programming and negation: A survey. The Journal of Logic Programming, 19-20:9-72, 1994.
5. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In D. De Schreye, editor, ICLP-99, 1999.
6. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of semantics based on causal rejection. Theory and Practice of Logic Programming, 2:711-767, 2002.
7. François Fages. Consistency of Clark's completion and existence of stable models. Journal of Methods of Logic in Computer Science, 1:51-60, 1994.
8. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP-5, 1988.
9. P. Hitzler. Towards a Systematic account of different logic programming semantics. In A. Günter, R. Kruse, and B. Neumann, editors, KI2003, 2003.
10. P. Hitzler and M. Wendt. A uniform approach to logic programming semantics. Theory and Practice of Logic Programming, 5(1-2): 123-159, 2005.
11. M. Homola. Dynamic logic programming: Various semantics are equal on acyclic programs. In J. Leite and P. Torroni, editors, CLIMA V, pages 227-242. Pre-Proceedings, 2004. ISBN: 972-9119-37-6.
12. J. A. Leite. Evolving Knowledge Bases, volume 81 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2003.
13. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In T. Eiter, M. Truszczynski, and W. Faber, editors, LPNMR-01, pages 365-378, 2001.
14. J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - a dynamic logic programming agent architecture. In Intelligent Agents VIII, volume 2333 of LNAI. 2002.
15. J. A. Leite and L. M. Pereira. Iterated logic program updates. In JICSLP-98, 1998.
16. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning. In B. Nebel, C. Rich, and W. Swartout, editors, KR-92, 1992.
17. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR-99, 1999.
18. J. Sefranek. A Kripkean semantics for dynamic logic programming. In LPAR'2000. Springer, 2000.
19. Y. Zhang and N. Y. Foo. Updating logic programs. In Henri Prade, editor, ECAI-98, 1998.