Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Complexity results for explanations in the structural-model approach
Artificial Intelligence
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Compilability of propositional abduction
ACM Transactions on Computational Logic (TOCL)
The Diagnosis Frontend of the dlv system
AI Communications
Expressing default abduction problems as quantified Boolean formulas
AI Communications
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
What makes propositional abduction tractable
Artificial Intelligence
Interactive access control for autonomic systems: From theory to implementation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Outlier detection using default reasoning
Artificial Intelligence
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Towards Rule-Based Minimization of RDF Graphs under Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
On the semantics of logic programs with preferences
Journal of Artificial Intelligence Research
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Inspecting side-effects of abduction in logic programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dishonest reasoning by abduction
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Inconsistency management for traffic regulations: formalization and complexity results
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
The view-update problem for indefinite databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
International Journal of Approximate Reasoning
| Hi-index | 5.23 |