Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Capturing Stationary and Regular Extensions with Reiter's Extensions
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Representation of Incomplete Knowledge by Induction of Default Theories
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
New Generation Systems for Non-monotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Complexity of argument-based default reasoning with specificity
AI Communications
An architecture for active and passive knowledge management systems
Advanced topics in information resources management
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Regular disjunction-free default theories
Journal of Computer Science and Technology
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Complexity of argument-based default reasoning with specificity
AI Communications
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Syntactic Propositional Belief Bases Fusion with Removed Sets
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Towards the computation of stable probabilistic model semantics
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
dl2asp: implementing default logic via answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Four-Valued semantics for default logic
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Knowledge Management Systems: An Architecture for Active and Passive Knowledge
Information Resources Management Journal
| Hi-index | 0.00 |