License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2011.274
URN: urn:nbn:de:0030-drops-31860
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3186/
Go to the corresponding LIPIcs Volume Portal

Krennwallner, Thomas

Promoting Modular Nonmonotonic Logic Programs

pdf-format:
29.pdf (0.4 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{krennwallner:LIPIcs:2011:3186,
  author =	{Thomas Krennwallner},
  title =	{{Promoting Modular Nonmonotonic Logic Programs}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) },
  pages =	{274--279},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{John P. Gallagher and Michael Gelfond},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3186},
  URN =		{urn:nbn:de:0030-drops-31860},
  doi =		{10.4230/LIPIcs.ICLP.2011.274},
  annote =	{Keywords: Knowledge Representation, Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming}
}

Keywords: Knowledge Representation, Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming
Collection: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
Issue Date: 2011
Date of publication: 27.06.2011

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI