Using resolution for extending KL-ONE-type languages
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Information and Computation
Resolution decision procedures
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Tree Automata and Automated Model Building
Fundamenta Informaticae
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
| Hi-index | 0.00 |