Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Krennwallner:
"Promoting Modular Nonmonotonic Logic Programs";
Vortrag: International Conference on Logic Programming (ICLP),
Lexington, KY, U.S.A.;
06.07.2011
- 10.07.2011; in: "Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)",
J. Gallagher, M. Gelfond (Hrg.);
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik,
11
(2011),
ISSN: 1868-8969;
Paper-Nr. 29,
6 S.
Kurzfassung englisch:
Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs), which are logic programs under answer set semantics with modules that have contextualized input provided by other modules. Moreover, they allow for (mutually) recursive module calls. We pinpoint issues that are present in such cyclic module systems and highlight how MLPs addresses them.
Schlagworte:
Knowledge Representation, Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.274
Elektronische Version der Publikation:
http://drops.dagstuhl.de/opus/volltexte/2011/3186/
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Thomas Eiter:
Net2¿A Network for Enabling Networked Knowledge
Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.