Closed-world databases and circumscription
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Impediments to universal preference-based default theories
Artificial Intelligence - Special issue on knowledge representation
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
The role of default logic in knowledge representation
Logic-based artificial intelligence
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
plp: A Generic Compiler for Ordered Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Alternating Fixpoint Theory for Logic Programs with Priority
CL '00 Proceedings of the First International Conference on Computational Logic
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Complexity of prioritized default logics
Journal of Artificial Intelligence Research
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
Can an AI program contribute to scientific discovery? An area where this gauntlet has been thrown is that of understanding the mechanisms of chemical carcinogenesis. One approach is to obtain Structure-Activity Relationships (SARs) relating molecular ...