Coherent well-founded annotated logic programs

Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Extended logic programs and annotated logic programs are two important extensions of normal logic programs that allow for a more concise and declarative representation of knowledge. Extended logic programs add explicit negation to the default negation of normal programs in order to distinguish what can be shown to be false from what cannot be proven true. Annotated logic programs generalize the set of truth values over which a program is interpreted by explicitly annotating atoms with elements of a new domain of truth values. In this paper coherent well-founded annotated programs are defined, and shown to generalize both consistent and paraconsistent extended programs, along with several classes of annotated programs.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
EditorsNicola Leone, Gerald Pfeifer, Michael Gelfond
PublisherSpringer Verlag
Pages262-276
Number of pages15
ISBN (Print)3540667490, 9783540667490
DOIs
StatePublished - Jan 1 1999
Event5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States
Duration: Dec 2 1999Dec 4 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1730
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
CountryUnited States
CityEl Paso
Period12/2/9912/4/99

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Coherent well-founded annotated logic programs'. Together they form a unique fingerprint.

  • Cite this

    Damásio, C. V., Pereira, L. M., & Swift, T. (1999). Coherent well-founded annotated logic programs. In N. Leone, G. Pfeifer, & M. Gelfond (Eds.), Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings (pp. 262-276). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730). Springer Verlag. https://doi.org/10.1007/3-540-46767-X_19