Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Vortrag: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (eingeladen); 16.09.2009 - 18.09.2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (Hrg.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; S. 18 - 42.

Kurzfassung englisch:
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation formalisms have been extended with the capability to access data and knowledge sources that are external to a knowledge base. This article reviews some of these formalisms that are centered around Answer Set Programming, viz. HEX-programs, modular logic programs, and multi-context systems, which were developed by the KBS group of the Vienna University of Technology in cooperation with external colleagues. These formalisms were designed with different principles and four different settings, and thus have different properties and features; however, as argued, they are not unrelated. Furthermore, they provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects.

Answer Set Programming, Hybrid Knowledge Base

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.