Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
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)
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
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
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
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
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Fordh's logic, and in doing so identify some similarities and differences between Ford's logic and existing defeasible logics. Several technical results about FDL are established, including its inference strength in relation to other defeasible logics.