Eingang zum Volltext
Home | Suche | BrowsenURN: 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: |
|
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 |
 
|