A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Higher-Order Positive Set Constraints
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Evidential Paradigm: The Logical Aspect
Cybernetics and Systems Analysis
Journal of Automated Reasoning
Reasoning on UML class diagrams
Artificial Intelligence
Automation for interactive proof: first prototype
Information and Computation - Special issue: Combining logical systems
Alternating two-way AC-tree automata
Information and Computation
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Proof planning with multiple strategies
Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
On the counting complexity of propositional circumscription
Information Processing Letters
ACM Transactions on Computational Logic (TOCL)
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Trust and Automation in Verification Tools
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
FreeEnCal: A Forward Reasoning Engine with General-Purpose
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Journal of Automated Reasoning
Complete formal specification of the OpenMP memory model
International Journal of Parallel Programming
Formal Verification of Graph Grammars using Mathematical Induction
Electronic Notes in Theoretical Computer Science (ENTCS)
Optimal Length Resolution Refutations of Difference Constraint Systems
Journal of Automated Reasoning
Automated deduction for verification
ACM Computing Surveys (CSUR)
Reasoning on UML class diagrams
Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Automated Reasoning
Cryptographic protocol verification using tractable classes of horn clauses
Program analysis and compilation, theory and practice
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reasoning Processes in Propositional Logic
Journal of Logic, Language and Information
Finite models for formal security proofs
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Formal specification of the OpenMP memory model
IWOMP'05/IWOMP'06 Proceedings of the 2005 and 2006 international conference on OpenMP shared memory parallel programming
I-terms in ordered resolution and superposition calculi: retrieving lost completeness
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Evidence algorithm and system for automated deduction: a retrospective view
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Efficient reasoning about data trees via integer linear programming
Proceedings of the 14th International Conference on Database Theory
Efficient general unification for XOR with homomorphism
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Improved propositional extension rule
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Matelas: a predicate calculus common formal definition for social networking
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Inference systems for logical algorithms
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Deciding monodic fragments by temporal resolution
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Complexity of the satisfiability problem for a class of propositional schemata
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
A web application for mathematics education
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
A decidable class of nested iterated schemata
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Case studies on invariant generation using a saturation theorem prover
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
Finite model computation via answer set programming
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Analogy in a general-purpose reasoning system
Cognitive Systems Research
Efficient reasoning about data trees via integer linear programming
ACM Transactions on Database Systems (TODS)
EPR-based bounded model checking at word level
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Making a reinforcement learning agent believe
ICANN'12 Proceedings of the 22nd international conference on Artificial Neural Networks and Machine Learning - Volume Part I
SMT proof checking using a logical framework
Formal Methods in System Design
Reasoning About Truth in First-Order Logic
Journal of Logic, Language and Information
Aluminum: principled scenario exploration through minimality
Proceedings of the 2013 International Conference on Software Engineering
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Completeness and decidability results for first-order clauses with indices
CADE'13 Proceedings of the 24th international conference on Automated Deduction
An approach to abductive reasoning in equational logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Cybernetics and Systems Analysis
| Hi-index | 0.00 |