KIT | KIT-Bibliothek | Impressum

The well-supported semantics for multidimensional dynamic logic programs

Hitzler, P.; Banti, F.; Alferes, J.; Brogi, A.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2005
Sprache Englisch
Identifikator ISBN: 978-3-540-28538-0
ISSN: 0302-9743
KITopen ID: 1000017999
Erschienen in Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings. Ed.: C. Baral
Verlag Springer, Berlin
Seiten 356 - 368
Serie Lecture Notes in Computer Science ; 3662
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page