Coherent well-founded annotated logic programs

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

doi:10.1007/3-540-46767-X_19

Coherent well-founded annotated logic programs

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

School of Medicine

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
Editors	Nicola Leone, Gerald Pfeifer, Michael Gelfond
Publisher	Springer Verlag
Pages	262-276
Number of pages	15
ISBN (Print)	3540667490, 9783540667490
DOIs	https://doi.org/10.1007/3-540-46767-X_19
State	Published - Jan 1 1999
Event	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States Duration: Dec 2 1999 → Dec 4 1999

Publication series

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

Other

Other	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
Country	United States
City	El Paso
Period	12/2/99 → 12/4/99

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-46767-X_19

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

Coherent well-founded annotated logic programs. / Damásio, Carlos Viegas; Pereira, Luís Moniz; Swift, Terrance.

Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. ed. / Nicola Leone; Gerald Pfeifer; Michael Gelfond. Springer Verlag, 1999. p. 262-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Damásio, CV, Pereira, LM & 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1730, Springer Verlag, pp. 262-276, 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999, El Paso, United States, 12/2/99. https://doi.org/10.1007/3-540-46767-X_19

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

Damásio, Carlos Viegas ; Pereira, Luís Moniz ; Swift, Terrance. / Coherent well-founded annotated logic programs. Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. editor / Nicola Leone ; Gerald Pfeifer ; Michael Gelfond. Springer Verlag, 1999. pp. 262-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

year = "1999",

month = jan,

day = "1",

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",

note = "5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 ; Conference date: 02-12-1999 Through 04-12-1999",

}

TY - GEN

T1 - Coherent well-founded annotated logic programs

AU - Damásio, Carlos Viegas

AU - Pereira, Luís Moniz

AU - Swift, Terrance

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958595643&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958595643&partnerID=8YFLogxK

U2 - 10.1007/3-540-46767-X_19

DO - 10.1007/3-540-46767-X_19

M3 - Conference contribution

AN - SCOPUS:84958595643

SN - 3540667490

SN - 9783540667490

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 262

EP - 276

BT - Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings

A2 - Leone, Nicola

A2 - Pfeifer, Gerald

A2 - Gelfond, Michael

PB - Springer Verlag

T2 - 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999

Y2 - 2 December 1999 through 4 December 1999

ER -