DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2011.274

Promoting Modular Nonmonotonic Logic Programs

Authors: Thomas Krennwallner

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)

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.

Cite as

Thomas Krennwallner. Promoting Modular Nonmonotonic Logic Programs. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 274-279, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{krennwallner:LIPIcs.ICLP.2011.274,
  author =	{Krennwallner, Thomas},
  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 =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.274},
  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}
}

Search Results

Documents authored by Krennwallner, Thomas

Promoting Modular Nonmonotonic Logic Programs

Abstract

Cite as

Thanks for your feedback!

Could not send message