Semantical considerations on nonmonotonic logic
Artificial Intelligence
Journal of Logic Programming
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
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)
Skepticism and floating conclusions
Artificial Intelligence
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A study of accrual of arguments, with applications to evidential 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
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
Computing ideal sceptical argumentation
Artificial Intelligence
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent Computing and Multi-Agent Systems
A clash of intuitions: the current state of nonmonotonic multiple inheritance systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
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
The ARC project: creating logical models of Gothic cathedrals using natural language processing
LaTeCH '11 Proceedings of the 5th ACL-HLT Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
Hi-index | 0.00 |