Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
An Algebraic Model for Asynchronous Circuits Verification
IEEE Transactions on Computers
Learning Dominance Relations in Combined Search Problems
IEEE Transactions on Software Engineering
Logic circuit design with the aid of an automated reasoning program
ACM SIGDA Newsletter
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin
General natural language for operating systems
ACM SIGART Bulletin
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Spelling verification in prolog
ACM SIGPLAN Notices
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
CLIN-S - A Semantically Guided First-Order Theorem Prover
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
An Analysis of Initiative Selection in CollaborativeTask-Oriented Discourse
User Modeling and User-Adapted Interaction
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Will Domain-Specific Code Synthesis Become a Silver Bullet?
IEEE Intelligent Systems
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
PTTP+GLiDeS: Guiding Linear Deductions with Semantics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Using an automated reasoning program as a CS application in discrete mathematics
Journal of Computing Sciences in Colleges
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A survey of automated deduction
Artificial intelligence today
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
Estimating performance of a business process model
Winter Simulation Conference
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Model Finding In Semantically Guided Instance-Based Theorem Proving
Fundamenta Informaticae
| Hi-index | 0.01 |