1 Search Results for "Wernhard, Christoph"

Document
DOI: 10.4230/LIPIcs.ICLP.2010.202
Circumscription and Projection as Primitives of Logic Programming

Authors: Christoph Wernhard

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

Abstract
KWe pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped into - semantically defined - operators for circumscription and projection. (Projection is a generalization of second-order quantification.) We demonstrate this for the stable model semantics, Clark's completion and a three-valued semantics based on the Fitting operator. To represent the latter, we utilize the polarity sensitiveness of projection, in contrast to second-order quantification, and a variant of circumscription that allows to express predicate minimization in parallel with maximization. In accord with the aim of an integrated view on different logic-based representation techniques, the material is worked out on the basis of first-order logic with a Herbrand semantics.
Cite as

Christoph Wernhard. Circumscription and Projection as Primitives of Logic Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 202-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{wernhard:LIPIcs.ICLP.2010.202,
  author =	{Wernhard, Christoph},
  title =	{{Circumscription and Projection as Primitives of Logic Programming}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{202--211},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.202},
  URN =		{urn:nbn:de:0030-drops-25981},
  doi =		{10.4230/LIPIcs.ICLP.2010.202},
  annote =	{Keywords: }
}
  • Refine by Author
  • 1 Wernhard, Christoph

  • Refine by Classification

  • Refine by Keyword

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact