Explaining updates by minimal sums
Theoretical Computer Science
The role of default logic in knowledge representation
Logic-based artificial intelligence
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards the Integration of Inductive and Nonmonotonic Logic Programming
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Ordering default theories and nonmonotonic logic programs
Theoretical Computer Science
IEEE Intelligent Systems
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |