Note on theorem proving strategies for resolution counterparts of non-classical logics
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Automated proof of ring commutativity problems by algebraic methods
Journal of Symbolic Computation
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Programs that offer fast, flawless, logical reasoning
Communications of the ACM
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
Experience with Or-parallelism of connection graphs
CSC '91 Proceedings of the 19th annual conference on Computer Science
CLIN-S - A Semantically Guided First-Order Theorem Prover
Journal of Automated Reasoning
Semantic Generalizations for Proving and Disproving Conjectures by Analogy
Journal of Automated Reasoning
Journal of Automated Reasoning
Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross
Journal of Automated Reasoning
On Computer-Assisted Proofs in Ordinal Number Theory
Journal of Automated Reasoning
Well-Behaved Inference Rules for First-Order Theorem Proving
Journal of Automated Reasoning
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
First-Order Atom Definitions Extended
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Mapping the Envelope of Social Simulation Trajectories
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
PTTP+GLiDeS: Guiding Linear Deductions with Semantics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Exploiting Conditional Equivalences in Connection Calculi
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
System Description: MCS: Model-based Conjecture Searching
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Instructing Equational Set-Reasoning with Otter
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Some simple advantages of reasoning in intuitionistic neutrosophic logic
Smarandache Notions Journal
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
COGEX: a logic prover for question answering
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
Encyclopedia of Computer Science
Weighting strategy for non-clausal resolution
Journal of Experimental & Theoretical Artificial Intelligence
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Recognizing unnecessary inference
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Reducing the derivation of redundant clauses in reasoning systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A model of analogy-driven proof-plan construction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Extending semantic resolution via automated model building: applications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A logic prover for text processing
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The philosophy of automated theorem proving
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Temporal context representation and reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Towards systematic analysis of theorem provers search spaces: first steps
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
DARES: a distributed automated reasoning system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Skolem functions and equality in automated deduction
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Extending the regular restriction of resolution to non-linear subdeductions
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Applying COGEX to recognize textual entailment
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Autonomous and continuous evolution of information systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
α-satisfiability and α-lock resolution for a lattice-valued logic LP(X)
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part II
| Hi-index | 0.02 |