KIT | KIT-Bibliothek | Impressum | Datenschutz

The well-supported semantics for multidimensional dynamic logic programs

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



Originalveröffentlichung
DOI: 10.1007/11546207_28
Scopus
Zitationen: 10
Web of Science
Zitationen: 7
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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
Veranstaltung 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), Diamante, Italien, 05.09.2005 – 08.09.2005
Verlag Springer Verlag
Seiten 356 - 368
Serie Lecture Notes in Computer Science (LNCS) ; 3662
Externe Relationen Abstract/Volltext
Nachgewiesen in Dimensions
Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page