Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

A Comparison of Sceptical NAF-Free Logic Programming Approaches

G. AntoniouContact Information, M. J. MaherContact Information, Billington BillingtonContact Information and G. GovernatoriContact Information

(5)  CIT, Griffith University, Nathan, QLD, 4111, Australia
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.

Contact Information G. Antoniou
Email: ga@cit.gu.edu.au

Contact Information M. J. Maher
Email: mjm@cit.gu.edu.au

Contact Information Billington Billington
Email: db@cit.gu.edu.au

Contact Information G. Governatori
Email: guidog@cit.gu.edu.au
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb24
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)