A comparison of sceptical NAF-free logic programming approaches

G. Antoniou; M. J. Maher; Billington; G. Governatori

doi:10.1007/3-540-46767-X_25

A comparison of sceptical NAF-free logic programming approaches

G. Antoniou, M. J. Maher, Billington, G. Governatori

Artificial Intelligence and Cyber Futures Institute

Griffith University

Research output: Book chapter/Published conference paper › Conference paper › peer-review

2 Citations (Scopus)

Abstract

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible Logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.

Original language	English
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 Italia Srl
Pages	347-356
Number of pages	10
ISBN (Print)	3540667490, 9783540667490
DOIs	https://doi.org/10.1007/3-540-46767-X_25
Publication status	Published - 1999
Event	5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, United States Duration: 02 Dec 1999 → 04 Dec 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

Conference

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

Access to Document

10.1007/3-540-46767-X_25

Cite this

Antoniou, G., Maher, M. J., Billington, & Governatori, G. (1999). A comparison of sceptical NAF-free logic programming approaches. In N. Leone, G. Pfeifer, & M. Gelfond (Eds.), Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings (pp. 347-356). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730). Springer-Verlag Italia Srl. https://doi.org/10.1007/3-540-46767-X_25

Antoniou, G. ; Maher, M. J. ; Billington et al. / A comparison of sceptical NAF-free logic programming approaches. Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. editor / Nicola Leone ; Gerald Pfeifer ; Michael Gelfond. Springer-Verlag Italia Srl, 1999. pp. 347-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e7980a0e2fea456ca176a6b0415ff070,

title = "A comparison of sceptical NAF-free logic programming approaches",

abstract = "Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible Logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.",

author = "G. Antoniou and Maher, {M. J.} and Billington and G. Governatori",

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

language = "English",

isbn = "3540667490",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Italia Srl",

pages = "347--356",

editor = "Nicola Leone and Gerald Pfeifer and Michael Gelfond",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings",

address = "Italy",

}

Antoniou, G, Maher, MJ, Billington, & Governatori, G 1999, A comparison of sceptical NAF-free logic programming approaches. 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 Italia Srl, pp. 347-356, 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999, El Paso, United States, 02/12/99. https://doi.org/10.1007/3-540-46767-X_25

A comparison of sceptical NAF-free logic programming approaches. / Antoniou, G.; Maher, M. J.; Billington et al.
Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. ed. / Nicola Leone; Gerald Pfeifer; Michael Gelfond. Springer-Verlag Italia Srl, 1999. p. 347-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1730).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - A comparison of sceptical NAF-free logic programming approaches

AU - Antoniou, G.

AU - Maher, M. J.

AU - Billington,

AU - Governatori, G.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible Logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.

AB - Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible Logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.

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

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

U2 - 10.1007/3-540-46767-X_25

DO - 10.1007/3-540-46767-X_25

M3 - Conference paper

AN - SCOPUS:36048994157

SN - 3540667490

SN - 9783540667490

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

SP - 347

EP - 356

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

A2 - Leone, Nicola

A2 - Pfeifer, Gerald

A2 - Gelfond, Michael

PB - Springer-Verlag Italia Srl

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

Y2 - 2 December 1999 through 4 December 1999

ER -

Antoniou G, Maher MJ, Billington , Governatori G. A comparison of sceptical NAF-free logic programming approaches. In Leone N, Pfeifer G, Gelfond M, editors, Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. Springer-Verlag Italia Srl. 1999. p. 347-356. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-46767-X_25

A comparison of sceptical NAF-free logic programming approaches

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this