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-41496
URL: http://opus.kobv.de/ubp/volltexte/2010/4149/

Herre, Heinrich ; Hummel, Axel

A paraconsistent semantics for generalized logic programs

pdf-Format:

Dokument 1.pdf (1.819 KB) (SHA-1:d2b0e3c34d69ed08a6ec2e352e36be5104e7c63b)

Kurzfassung in Englisch

We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].

Freie Schlagwörter (Englisch): paraconsistency , generalized logic programs , multi-valued logic

Collection: Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Theory of Logic 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. 81 - 94

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