Abstract
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been combined with semantic web technologies. This paper describes modal and deontic extensions of defeasible logic, motivated by potential applications for modelling multi-agent systems and policies. It describes a logic metaprogram that captures the underlying intuitions, and outlines an implemented system.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-121

BibTeX:

@inproceedings{REWERSE-RP-2007-121,
	author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori},
	title = {A system for modal and deontic defeasible reasoning},
	booktitle = {Proceedings of 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Queensland, Australia (2nd--6th December 2007)},
	year = {2007},
	volume = {4830},
	series = {LNAI},
	pages = {609--613},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-121}
}