Theory links: Applications to automated theorem proving
Journal of Symbolic Computation
Unification in commutative theories
Journal of Symbolic Computation
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
Dissolution: making paths vanish
Journal of the ACM (JACM)
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Token-Templates and Logic Programs for Intelligent Web Search
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Constraints in computational logics
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
IEEE Transactions on Knowledge and Data Engineering
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
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
Journal of Automated Reasoning
HOL-λσ: an intentional first-order expression of higher-order logic
Mathematical Structures in Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Efficient E-Matching for SMT Solvers
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Automated deduction for verification
ACM Computing Surveys (CSUR)
Design and implementation of the CALO query manager
IAAI'06 Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Reducing the derivation of redundant clauses in reasoning systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Extending the resolution method with sorts
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A decidable first-order logic for knowledge representation
IJCAI'85 Proceedings of the 9th 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
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Matrix proof methods for modal logics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Proof transformation with built-in equality predicate
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Solving quantified verification conditions using satisfiability modulo theories
Annals of Mathematics and Artificial Intelligence
A taxonomy of theorem-proving strategies
Artificial intelligence today
Natural language based inference procedures applied to schubert's steamroller
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
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
Theory-specific automated reasoning
A 25-year perspective on logic programming
Deterministic statistical mapping of sentences to underspecified semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Computational treatment of temporal notions: the CTTN–System
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
E-Matching with free variables
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |