Knowledge compilation and theory approximation
Journal of the ACM (JACM)
A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Interpolation Theorems for Resolution in Lower Predicate Calculus
Journal of the ACM (JACM)
The Unit Proof and the Input Proof in Theorem Proving
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Checking regulation consistency by using SOL-resolution
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Experiments with the M & N tree-searching program
Communications of the ACM
Knowledge discovery by logical resolution with usefulness measure
Information organization and databases
Controlled Generation of Intensional Answers
IEEE Transactions on Knowledge and Data Engineering
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
CL '00 Proceedings of the First International Conference on Computational Logic
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
A Theory of Hypothesis Finding in Clausal Logic
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Implicational Completeness of Signed Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Hypothesis finding based on upward refinement of residue hypotheses
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Automated deduction for many-valued logics
Handbook of automated reasoning
Ilp: a short look back and a longer look forward
The Journal of Machine Learning Research
Induction as Consequence Finding
Machine Learning
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
Generalization of clauses under implication
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Least generalizations and greatest specializations of sets of clauses
Journal of Artificial Intelligence Research
Fuzzy logic and the resolution principle
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Completeness theorems for semantic resolution in consequence-finding
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
An inference rule for hypothesis generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
How to Produce Information About a Given Entity Using Automated Deduction Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
Towards a logical reconstruction of CF-induction
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Upside-down transformation in SOL/connection tableaux and its application
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.02 |