KIT | KIT-Bibliothek | Impressum | Datenschutz

The well-supported semantics for multidimensional dynamic logic programs

Hitzler, P. 1; Banti, F.; Alferes, J.; Brogi, A.
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/11546207_28
Scopus
Zitationen: 12
Web of Science
Zitationen: 8
Dimensions
Zitationen: 6
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 Scopus
Web of Science
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page