Eingang zum Volltext

Home | Suche | Browsen

Lizenz

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
Gesellschaft für Logische Programmierung e.V.

Existential quantifiers in the rule body

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


Kurzfassung auf 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
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


Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk