A Comparison of Sceptical NAF-Free Logic Programming Approaches

G. Antoniou; M. J. Maher; David 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, David Billington, G. Governatori

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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	Michael Gelfond, Nicola Leone, Gerald Pfeifer
Publisher	Springer Verlag
Pages	347-356
Number of pages	10
ISBN (Electronic)	9783540467670
ISBN (Print)	3540667490, 9783540667490
DOIs	https://doi.org/10.1007/3-540-46767-X_25
Publication status	Published - 3 Mar 2000
Externally published	Yes
Event	5th International Conference on Logic Programming and Nonmonotonic Reasoning - El Paso, United States Duration: 2 Dec 1999 → 4 Dec 1999 Conference number: 5

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
Abbreviated title	LPNMR 1999
Country/Territory	United States
City	El Paso
Period	2/12/99 → 4/12/99

Access to Document

10.1007/3-540-46767-X_25Licence: Unspecified

Cite this

Antoniou, G., Maher, M. J., Billington, D., & Governatori, G. (2000). A Comparison of Sceptical NAF-Free Logic Programming Approaches. In M. Gelfond, N. Leone, & G. Pfeifer (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. https://doi.org/10.1007/3-540-46767-X_25

Antoniou, G. ; Maher, M. J. ; Billington, David et al. / A Comparison of Sceptical NAF-Free Logic Programming Approaches. Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. editor / Michael Gelfond ; Nicola Leone ; Gerald Pfeifer. Springer Verlag, 2000. pp. 347-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b5ed93d755d84b8ba09ba90ebd32e71a,

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

keywords = "Formal logic, Logic programming, Reconfigurable hardware, Computer circuits",

author = "G. Antoniou and Maher, {M. J.} and David 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 = "2000",

month = mar,

day = "3",

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

pages = "347--356",

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

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

address = "Germany",

}

Antoniou, G, Maher, MJ, Billington, D & Governatori, G 2000, A Comparison of Sceptical NAF-Free Logic Programming Approaches. in M Gelfond, N Leone & G Pfeifer (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. 347-356, 5th International Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, Texas, United States, 2/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, David et al.

Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. ed. / Michael Gelfond; Nicola Leone; Gerald Pfeifer. Springer Verlag, 2000. p. 347-356 (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 › peer-review

TY - GEN

T1 - A Comparison of Sceptical NAF-Free Logic Programming Approaches

AU - Antoniou, G.

AU - Maher, M. J.

AU - Billington, David

AU - Governatori, G.

N1 - Conference code: 5

PY - 2000/3/3

Y1 - 2000/3/3

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.

KW - Formal logic

KW - Logic programming

KW - Reconfigurable hardware

KW - Computer circuits

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

U2 - 10.1007/3-540-46767-X_25

DO - 10.1007/3-540-46767-X_25

M3 - Conference contribution

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 - Gelfond, Michael

A2 - Leone, Nicola

A2 - Pfeifer, Gerald

PB - Springer Verlag

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

Y2 - 2 December 1999 through 4 December 1999

ER -

Antoniou G, Maher MJ, Billington D, Governatori G. A Comparison of Sceptical NAF-Free Logic Programming Approaches. In Gelfond M, Leone N, Pfeifer G, editors, Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. Springer Verlag. 2000. 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