A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
A Defeasible Logic of Policy-Based Intention
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
On the Analysis of Regulations using Defeasible Rules
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Open Agent Societies: Normative Specifications in Multi-Agent Systems
Open Agent Societies: Normative Specifications in Multi-Agent Systems
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
| Hi-index | 0.00 |
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, and shows how these extensions can bbe used for modelling multi-agent systems and policies.