Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Negation and constraint logic programming
Information and Computation
Prolog programming in depth
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Normal forms for defeasible logic
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
A Study of Provability in Defeasible Logic
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
A skeptical theory of inheritance in nonmonotonic semantic networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Argumentation semantics for defeasible logics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Hi-index | 0.00 |
We investigate defeasible logics using a technique which decomposes the semantics of such logics into two parts: a specification of the structure of defeasible reasoning and a semantics for the meta-language in which the specification is written. We show that Nute's Defeasible Logic corresponds to Kunen's semantics, and develop a defeasible logic from the well-founded semantics of Van Gelder, Ross and Schlipf. We also obtain a new defeasible logic which extends an existing language by modifying the specification of Defeasible Logic. Thus our approach is productive in analysing, comparing and designing defeasible logics.