Communications of the ACM
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
A sound and sometimes complete query evaluation algorithm for relational databases with null values
Journal of the ACM (JACM)
Equality-based binary resolution
Journal of the ACM (JACM)
A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
Subproblem finder and instance checker, two cooperating modules for theorem provers
Journal of the ACM (JACM)
A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Tree resolution and generalized semantic tree
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
IEEE Transactions on Computers
A model and an architecture for a relational knowledge base
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Inference with path resolution and semantic graphs
Journal of the ACM (JACM)
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automated theorem proving: the resolution method
ACM SIGSAM Bulletin
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Application of term rewriting techniques to hardware design verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
IEEE Transactions on Software Engineering
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
ACM SIGPLAN Notices
On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Theorem Prover for Verifying Iterative Programs Over Integers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Knowledge representation for commonsense reasoning with text
Computational Linguistics
E-CCC: between CCC and topos, - its expressive power from the viewpoint of data type theory
Journal of Symbolic Computation
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A strong problem reduction method based on function introduction
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
STP: a simple theorem prover for IBM-PC compatible computers
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Theorem-proving with resolution and superposition
Journal of Symbolic Computation
Abstraction in query processing
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Experimentation with proof methods for non-Horn sets
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
IBM Journal of Research and Development
Proving functionally difficult problems through model generation
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
On solving equations and disequations
Journal of the ACM (JACM)
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Intelligent query answering in deductive and object-oriented databases
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
On the efficiency of subsumption algorithms
Journal of the ACM (JACM)
Semantic query processing in object-oriented databases using deductive approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Using resolution for extending KL-ONE-type languages
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalization of Clauses Relative to a Theory
Machine Learning - special issue on inductive logic programming
Neighborhood data and database security
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Formal verification of the Sobel image processing chip
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A feature-based learning method for theorem proving
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Backward chaining evaluation in stratified disjunctive theories
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
Answering queries without revealing secrets
ACM Transactions on Database Systems (TODS)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Another Generalization of Resolution
Journal of the ACM (JACM)
Theorem Proving by Covering Expressions
Journal of the ACM (JACM)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Deleting Repeated Goals in the Problem Reduction Format
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
Data flow relation processor for knowledge base machine
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
ACM Transactions on Computational Logic (TOCL)
ACM Computing Surveys (CSUR)
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
Performing inferences over relation data bases
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Program transformation system based on generalized partial computation
New Generation Computing - Partial evaluation and program transformation
Automated reasoning with function evaluation for COCOLOG
Annals of Mathematics and Artificial Intelligence
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Heuristics used by HERBY for semantic tree theorem proving
Annals of Mathematics and Artificial Intelligence
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
On the Polynomially Solvable Problem of Designing Behavior of the Intelligent Robot
Automation and Remote Control
Negation as Failure as Resolution
Constraints
Journal of Automated Reasoning
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
LINUS - A Link Instantion Prover with Unit Support
Journal of Automated Reasoning
RRTP - A Replacement Rule Theorem Prover
Journal of Automated Reasoning
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Journal of Automated Reasoning
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Well-Behaved Inference Rules for First-Order Theorem Proving
Journal of Automated Reasoning
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Journal of Automated Reasoning
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
General Algorithms for Permutations in Equational Inference
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Algorithms for Testing Satisfiability Formulas
Artificial Intelligence Review
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Structuring Knowledge In Vague Domains
IEEE Transactions on Knowledge and Data Engineering
Evaluation of Recursive Queries with Extended Rules in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Will Domain-Specific Code Synthesis Become a Silver Bullet?
IEEE Intelligent Systems
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
ADMS: A Testbed for Incremental Access Methods
IEEE Transactions on Knowledge and Data Engineering
Integrating Heuristic Knowledge and Optimization Models for Communication Network Design
IEEE Transactions on Knowledge and Data Engineering
Counting the Number of Equivalent Binary Resolution Proofs
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
On Special Functions and Theorem Proving in Logics for 'Generally'
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Checking Consistency of Database Constraints: a Logical Basis
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
Computing Facts in Non-Horn Deductive Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Decidable CLDS for Some Propositional Resource Logics
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
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
The OI-Resolution of Operator Rough Logic
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
lambda-Level Rough Equality Relation and the Inference of Rough Paramodulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CLDS for Propositional Intuitionistic Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
A Logic for Approximate First-Order Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Higher-Order Positive Set Constraints
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A Theory of Hypothesis Finding in Clausal Logic
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating real-time software specification languages
Computer Standards & Interfaces
A relevance restriction strategy for automated deduction
Artificial Intelligence
Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Hypothesis finding based on upward refinement of residue hypotheses
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
I-SATCHMORE: an improvement of A-SATCHMORE
Journal of Computer Science and Technology
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
A case for teaching program verification: Its importance in the CS curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A practical parallel garbage collection algorithm and its implementation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
TAO: A fast interpreter-centered system on LISP machine ELIS
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Data sharing in an FFP machine
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Feasibly constructive proofs and the propositional calculus (Preliminary Version)
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Complete problems for deterministic polynomial time
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Automatic deduction and equality
ACM '79 Proceedings of the 1979 annual conference
Natural language and voice output for relational data base systems
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Goal-directed program transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
WSDFU: program transformation system based on generalized partial computation
The essence of computation
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
Resolution-based correctness proofs of synchronous circuits
EURO-DAC '91 Proceedings of the conference on European design automation
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Offline partial evaluation can be as accurate as online partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic transfer function-based approaches to certified compilation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing with features as formulae
Computational Linguistics
Natural, language information retrieval system dialog
EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics
Logical Equations with Applications to Automatic Design and Control
Automation and Remote Control
A logic-based approach to data integration
Theory and Practice of Logic Programming
ACM SIGCSE Bulletin
Processing of syntax and semantics of natural language by predicate logic
COLING '80 Proceedings of the 8th conference on Computational linguistics
Parsing with Category Coocurrence Restrictions
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
An equational approach to theorem proving in first-order predicate calculus
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
The equality axioms are not independent
ACM SIGACT News
Undefinedness vs. underspecification in HALDEN ASL
Nordic Journal of Computing
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review
Representing and locating deduction rules in a semantic network
ACM SIGART Bulletin
Consensus algorithms for the generation of all maximal bicliques
Discrete Applied Mathematics - The fourth international colloquium on graphs and optimisation (GO-IV)
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Proving the Safety of SQL Queries
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
The universe of propositional approximations
Theoretical Computer Science - Logic, language, information and computation
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Negative ordered hyper-resolution as a proof procedure for disjunctive logic programming
Fundamenta Informaticae
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
Knowledge representation with SOUL
Expert Systems with Applications: An International Journal
Contract clause negotiation by game theory
Proceedings of the 11th international conference on Artificial intelligence and law
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
SLEDE: lightweight verification of sensor network security protocol implementations
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
SLEDE: lightweight verification of sensor network security protocol implementations
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Efficient On-Line Proofs of Equalities and Inequalities of Formulas
IEEE Transactions on Computers
New Results and Techniques in Resolution Theory
IEEE Transactions on Computers
Introduction Tutorial on Resolution
IEEE Transactions on Computers
A Problem-Oriented Search Procedure for Theorem Proving
IEEE Transactions on Computers
Semantic Resolution for Horn Sets
IEEE Transactions on Computers
An Evaluation of an Implementation of Qualified Hyperresolution
IEEE Transactions on Computers
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers
Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques
IEEE Transactions on Computers
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
Encoding First Order Proofs in SMT
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding First Order Proofs in SAT
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Normalization Issues in Mathematical Representations
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Note on Refinement Operators for IE-Based ILP Systems
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Foundation of credibilistic logic
Fuzzy Optimization and Decision Making
An Improvement of Herbrand's theorem and its application to model generation theorem proving
Journal of Computer Science and Technology
Generalized hypertree decompositions: NP-hardness and tractable variants
Journal of the ACM (JACM)
Combining a Logical and a Numerical Method for Data Reconciliation
Journal on Data Semantics XII
Granulations Based on Semantics of Rough Logical Formulas and Its Reasoning
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Representing Logical Inference Steps with Digital Circuits
Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009
Combining Consistency and Confidentiality Requirements in First-Order Databases
ISC '09 Proceedings of the 12th International Conference on Information Security
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
L2R: a logical method for reference reconciliation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Existentially quantified values for queries and updates of facts in transaction logic programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Distributed reasoning in a peer-to-peer setting: application to the semantic web
Journal of Artificial Intelligence Research
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
Controlling knowledge deduction in a declarative approach
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
LISP machine NK3 and measurement of its performance
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Theoretical basis for a knowledge representation system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Resolution in a new modal logic
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
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
ZMOB: a new computing engine for AI
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Predicate logic involving data structure as a knowledge representation language
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A new hyperparamodulation strategy for the equality relation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
An equational approach to theorem proving in first-order predicate calculus
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
Discovery and reasoning in mathematics
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
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
Lock, linear κ-paramodulation in operator fuzzy logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Maximum entropy in Nilsson's probabilistic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
SCOTT: a model-guided theorem prover
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A note on backward dual resolution and its application to proving completeness of rule-based systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Inferences in quantified semantic networks
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Formal grammars as models of logic derivations
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Semantic resolution for horn sets
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A complete unification algorithm for associative-commutative functions
IJCAI'75 Proceedings of the 4th 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
Evaluating queries in deductive databases by generating
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Theorem proving under uncertainty: a possibility theory-based approach
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Complete inference rules for the cancellation laws
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Practical partition-based theorem proving for large knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
First-order probabilistic inference
IJCAI'03 Proceedings of the 18th 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
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Scalability study of peer-to-peer consequence finding
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
A semantic solution for data integration in mixed sensor networks
Computer Communications
How to Produce Information About a Given Entity Using Automated Deduction Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-conservative extension of a peer in a P2P inference system
AI Communications
Prolog for applications programming
IBM Systems Journal
Efficient Query Answering for OWL 2
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Resolution with Limited Factoring
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Validation of Proofs Using PhoX
Electronic Notes in Theoretical Computer Science (ENTCS)
A multi-agent framework for distributed theorem proving
Expert Systems with Applications: An International Journal
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Improved resolution-based method for satisfiability checking formulas of the language L
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
The independent choice logic and beyond
Probabilistic inductive logic programming
A taxonomy of theorem-proving strategies
Artificial intelligence today
Transactions on computational science II
Canonical horn representations and query learning
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
Heuristics for resolution in propositional logic
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Reasoning in the presence of inconsistency
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reasoning in the presence of inconsistency
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
Skolem functions and equality in automated deduction
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 1
Efficient propositional constraint propagation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Integrating a spatial reasoner with a resolution theorem-prover
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Model-theoretic semantics and tractable algorithm for CNF-BCP
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Ordered semantic hyper linking
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
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
Two types of diagrammatic inference systems: natural deduction style and resolution style
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Solving the implication problem for XML functional dependencies with properties
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
dBug: systematic evaluation of distributed systems
SSV'10 Proceedings of the 5th international conference on Systems software verification
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Theoretical Computer Science
Generalized conflict-clause strengthening for satisfiability solvers
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
α-Lock resolution method for a lattice-valued first-order logic
Engineering Applications of Artificial Intelligence
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Theoretical study of granular computing
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Reasoning about inconsistent concurrent systems: a non-classical temporal logic
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Hyper tableaux — the third version
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
An extension rule based first-order theorem prover
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Meta-reasoning methods for agent's intention modelling
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Checking violation tolerance of approaches to database integrity
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Approximate boolean reasoning: foundations and applications in data mining
Transactions on Rough Sets V
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
A controlling scheme for Prolog through count terms
Computer Languages
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Fundamenta Informaticae
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae
On The Family Of Conditional Implicational Dependencies
Fundamenta Informaticae
On Skolemization And Proof Complexity
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Model-Based static code analysis for MATLAB models
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A delayed splitting bottom-up procedure for model generation
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Science of Computer Programming
Hi-index | 0.05 |