Sciweavers

Share
LPNMR
1999
Springer

A Comparison of Sceptical NAF-Free Logic Programming Approaches

12 years 15 days ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
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.
Grigoris Antoniou, Michael J. Maher, David Billing
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LPNMR
Authors Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
Comments (0)
books