Termination orderings for associative-commutative rewriting systems
Journal of Symbolic Computation
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Rewrite method for theorem proving in first order theory with equality
Journal of Symbolic Computation
Embedding boolean expressions into logic programming
Journal of Symbolic Computation
Critical pair criteria for completion
Journal of Symbolic Computation
Automated circuit diagnosis using first order logic tools
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Boolean unification - The story so far
Journal of Symbolic Computation
IEEE Transactions on Software Engineering
Unification in primal algebras, their powers and their varieties
Journal of the ACM (JACM)
On the relation between resolution based and completion based theorem proving
Journal of Symbolic Computation
Multi-valued logic and Gröner bases with applications to modal logic
Journal of Symbolic Computation
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Discriminator varieties and symbolic computation
Journal of Symbolic Computation
A theory of using history for equational systems with applications
Journal of the ACM (JACM)
Well-Behaved Inference Rules for First-Order Theorem Proving
Journal of Automated Reasoning
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
A Certified Polynomial-Based Decision Procedure for Propositional Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Computer algebra handbook
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Structures for Abstract Rewriting
Journal of Automated Reasoning
Groebner bases computation in Boolean rings for symbolic model checking
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
Expert Systems with Applications: An International Journal
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Invariant-driven specifications in Maude
Science of Computer Programming
A computational structure for the propositional calculus
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
Groebner bases computation in Boolean rings for symbolic model checking
MS '07 The 18th IASTED International Conference on Modelling and Simulation
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
A taxonomy of theorem-proving strategies
Artificial intelligence today
An algebraic approach to Parkinson disease diagnosis
Expert Systems with Applications: An International Journal
A Polynomial Model for Logics with a Prime Power Number of Truth Values
Journal of Automated Reasoning
Mathematics and Computers in Simulation
A logic-algebraic approach to decision taking in a railway interlocking system
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.01 |