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
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
A Defeasible Logic of Policy-Based Intention
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
An algorithm for the induction of defeasible logic theories from databases
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
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
A metalogic formalization of legal argumentation as game trees with defeasible reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Propositional Clausal Defeasible Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Settling on the Group's Goals: An n-Person Argumentation Game Approach
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
DR-Prolog: a system for reasoning with rules and ontologies on the semantic web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
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
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Superiority based revision of defeasible theories
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
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
Burdens of Proof in Monological Argumentation
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
What are the necessity rules in defeasible reasoning?
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Preferences of agents in defeasible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Nested rules in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
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
Hi-index | 0.00 |