Eingang zum Volltext

Eingang zum Volltext in OPUS

Home | Suche | Browsen

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:517-opus-41476
URL: http://opus.kobv.de/ubp/volltexte/2010/4147/

Cabalar, Pedro

Existential quantifiers in the rule body

pdf-Format:

Dokument 1.pdf (1.811 KB) (SHA-1:e2a4125bf726b964ed30321b3ef6bed4dca05fb0)

Kurzfassung in Englisch

In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on the input rule heads), as those allowed by current ASP solvers. The translation relies on the introduction of auxiliary predicates and the main result shows that it preserves strong equivalence modulo the original signature.

RVK - Regensburger Verbundklassifikation: ST 304

Collection: Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Answer Set Programming

Institut: Extern

DDC-Sachgruppe: Informatik

Sonstige beteiligte Institution: Gesellschaft für Logische Programmierung e.V.

Dokumentart: c InProceedings (Aufsatz / Paper einer Konferenz etc.)

Quelle: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 59 - 74

Sprache: Englisch

Erstellungsjahr: 2010

Publikationsdatum: 04.03.2010

Lizenz: Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht

Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam