Clausal logic and logic programming in algebraic domains
Information and Computation
IEEE Intelligent Systems
Knowledge Processes and Ontologies
IEEE Intelligent Systems
Supporting Inheritance Mechanisms in Ontology Representation
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
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
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Distance Functions for Defaults in Reactive Systems
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Soft-device inheritance in the knowledge grid
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
| Hi-index | 0.00 |