@inproceedings{0eb85e3e1dc64fd080c24a10b6293beb,
title = "Coherent well-founded annotated logic programs",
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.",
author = "Dam{\'a}sio, {Carlos Viegas} and Pereira, {Lu{\'i}s Moniz} and Terrance Swift",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 ; Conference date: 02-12-1999 Through 04-12-1999",
year = "1999",
doi = "10.1007/3-540-46767-X_19",
language = "English (US)",
isbn = "3540667490",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "262--276",
editor = "Nicola Leone and Gerald Pfeifer and Michael Gelfond",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings",
}