A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Journal of the ACM (JACM)
The Concept of Weak Substitution in Theorem-Proving
Journal of the ACM (JACM)
Logic for Problem Solving
The predicate elimination strategy in theorem proving
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Inference with path resolution and semantic graphs
Journal of the ACM (JACM)
The early years of logic programming
Communications of the ACM
Theory links: Applications to automated theorem proving
Journal of Symbolic Computation
DC parallelism of connection graph
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
15th July 1972: a significant moment for logic programming
ACM SIGPLAN Notices
Journal of the ACM (JACM)
Experience with Or-parallelism of connection graphs
CSC '91 Proceedings of the 19th annual conference on Computer Science
Communications of the ACM
Parallelism in Deductive Inference on Graph Structures
Automation and Remote Control
Elimination of Self-Resolving Clauses
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
A perspective on certain polynomial-time solvable classes of satisfiability
Discrete Applied Mathematics
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Adaptive Predicate Managers in Database Systems
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
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
Semantic Selection for Resolution in Clause Graphs
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Theorem Proving for Constructive lambda-Calculus
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Ordered Resolution vs. Connection Graph Resolution
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Interactive verification of communication software on the basis of CIL
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A note on resolution, connection graphs, and subsumption
ACM SIGART Bulletin
Compressing Propositional Refutations
Electronic Notes in Theoretical Computer Science (ENTCS)
The representation and deductive retrieval of complex objects
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
A deductive capability for data management
VLDB '76 Proceedings of the second international conference on Systems for Large Data Bases
A Resolution-Based Proof Procedure Using Deletion-Directed Search
IEEE Transactions on Computers
A Search Technique for Clause Interconnectivity Graphs
IEEE Transactions on Computers
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
Focused search for arguments from propositional knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
An Algorithm for Generating Arguments in Classical Predicate Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Using active connection graphs for reasoning with recursive rules
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Subsumption and connection graphs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
The Markgraf Karl refutation procedure
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Equality reasoning in clause graphs
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A predicate connection graph based logic with flexible control
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A new hyperparamodulation strategy for the equality relation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Path resolution with link deletion
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Extending reflective architectures
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A tractable class of abduction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Deductive methods for large data bases
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Resolution plans in theorem proving
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Learning strategies by reasoning about rules
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Path dissolution: a strongly complete rule of inference
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Path dissolution: a strongly complete rule of inference
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Connection based strategies for deciding propositional temporal logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
The interaction between assertional and terminological knowledge in krypton
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Algorithms for generating arguments and counterarguments in propositional logic
International Journal of Approximate Reasoning
Artificial intelligence and human thinking
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
| Hi-index | 0.04 |