Inductive logic programming and learnability
ACM SIGART Bulletin
A Quasi-Metric for Machine Learning
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Minimal Generalizations under OI-Implication
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Implicational Completeness of Signed Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Automated deduction for many-valued logics
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Generalization Model Based on OI-implication for Ideal Theory Refinement
Fundamenta Informaticae - Intelligent Systems
Towards an algorithmic construction of cut-elimination procedures†
Mathematical Structures in Computer Science
Generalization of clauses under implication
Journal of Artificial Intelligence Research
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
A Generalization Model Based on OI-implication for Ideal heory Refinement
Fundamenta Informaticae - Intelligent Systems
Inductive Logic Programming and Embodied Agents: Possibilities and Limitations
International Journal of Agent Technologies and Systems
An approach to abductive reasoning in equational logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 5.23 |