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)

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 Web of Science
Scopus
OpenAlex
Dimensions

Originalveröffentlichung
DOI: 10.1007/11546207_28
Scopus
Zitationen: 12
Web of Science
Zitationen: 8
Dimensions
Zitationen: 8
Seitenaufrufe: 25
seit 06.12.2018
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page