Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Minimal Generalizations under OI-Implication
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Combining superposition, sorts and splitting
Handbook of automated reasoning
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Data exchange: computing cores in polynomial time
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
A Generalization Model Based on OI-implication for Ideal Theory Refinement
Fundamenta Informaticae - Intelligent Systems
Redundancy in logic II: 2CNF and Horn propositional formulae
Artificial Intelligence
Efficient core computation in data exchange
Journal of the ACM (JACM)
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
Guiding the search in the NO region of the phase transition problem with a partial subsumption test
ECML'06 Proceedings of the 17th European conference on Machine Learning
On generalization and subsumption for ordered clauses
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
A Generalization Model Based on OI-implication for Ideal heory Refinement
Fundamenta Informaticae - Intelligent Systems
Hi-index | 0.01 |