IEEE Transactions on Computers
Computational aspects of three-valued logic
Proc. of the 8th international conference on Automated deduction
Journal of Logic Programming
Implication of clauses is undecidable
Theoretical Computer Science
The resolution rule: an algebraic perspective
AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
Resolution in the domain of strongly finite logics
Fundamenta Informaticae
Multi-valued logic and Gröner bases with applications to modal logic
Journal of Symbolic Computation
Natural 3-valued logic—characterization and proof theory
Journal of Symbolic Logic
A resolution framework for finitely-valued first-order logics
Journal of Symbolic Computation
An optimality result for clause form translation
Journal of Symbolic Computation
Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Resolution-based theorem proving for many-valued logics
Journal of Symbolic Computation
Resolution proof systems: an algebraic theory
Resolution proof systems: an algebraic theory
The resolution calculus
Artificial Intelligence
A categorical critical-pair completion algorithm
Journal of Symbolic Computation
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Optimal axiomatizations of finitely valued logics
Information and Computation
Logic Synthesis and Optimization
Logic Synthesis and Optimization
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
Resolution for Many-Valued Logics
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Verification of Switch-Level Designs with Many-Valued Logic
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Resolution and Path Dissolution in Multi-Valued Logics
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Combining Many-valued and Intuitionistic Tableaux
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Semantic Trees Revisited: Some New Completeness Results
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
An Application of Automated Equational Reasoning to Many-valued Logic
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
The Complexity of Adaptive Error-Correcting Codes
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Intuitionistic counterparts of finitely-valued logics
ISMVL '96 Proceedings of the 26th International Symposium on Multiple-Valued Logic
Representation Theorems and Theorem Proving in Non-Classical Logics
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
A completeness theorem and a computer program for finding theorems derivable from given axioms
A completeness theorem and a computer program for finding theorems derivable from given axioms
Canonical Propositional Gentzen-Type Systems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On the refutational completeness of signed binary resolution and hyperresolution
Fuzzy Sets and Systems
Classic-Like Analytic Tableaux for Finite-Valued Logics
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Unifiability and admissibility in finite algebras
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Proof theory for locally finite many-valued logics: Semi-projective logics
Theoretical Computer Science
| Hi-index | 0.00 |