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


Herre, Heinrich ; Hummel, Axel
Gesellschaft für Logische Programmierung e.V.

A paraconsistent semantics for generalized logic programs

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


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


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