A comparison of sceptical NAF-free logic programming approaches

Antoniou, Grigoris, Maher, Michael J., Billington, David and Governatori, Guido (1999). A comparison of sceptical NAF-free logic programming approaches. In: M. Gelfond, N.Leone and G. Pfeifer, Logic Programming And Nonmonotonic Reasoning: Proceedings of the Logic Programming and Non-Monotonic Reasoning. 5th International Conference. Logic Programming and Non-Monotonic Reasoning. 5th International Conference, El Paso, TX, (347-356). December, 1999.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
lpnmr.pdf lpnmr.pdf application/pdf 133.76KB 612

Author Antoniou, Grigoris
Maher, Michael J.
Billington, David
Governatori, Guido
Title of paper A comparison of sceptical NAF-free logic programming approaches
Conference name Logic Programming and Non-Monotonic Reasoning. 5th International Conference
Conference location El Paso, TX
Conference dates December, 1999
Proceedings title Logic Programming And Nonmonotonic Reasoning: Proceedings of the Logic Programming and Non-Monotonic Reasoning. 5th International Conference   Check publisher's open access policy
Journal name Logic Programming and Nonmonotonic Reasoning   Check publisher's open access policy
Publication Year 1999
Sub-type Fully published paper
DOI 10.1007/3-540-46767-X_25
ISBN 3-540-66749-0
ISSN 0302-9743
1611-3349
Editor M. Gelfond
N.Leone
G. Pfeifer
Volume 1730
Start page 347
End page 356
Total pages 10
Language eng
Abstract/Summary 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.
Subjects 080203 Computational Logic and Formal Languages
0802 Computation Theory and Mathematics
Keyword logic programming
defeasible logic
negation as failure
non-monotonic reasoning
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes Book Series: Lecture Notes in Computer Science

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 167 Abstract Views, 613 File Downloads  -  Detailed Statistics
Created: Thu, 07 Apr 2005, 10:00:00 EST by Guido Governatori on behalf of Marketing, Outreach and Corporate Services