Automated deduction for verification
ACM Computing Surveys (CSUR)
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Journal of Automated Reasoning
Journal of Automated Reasoning
Efficiently solving quantified bit-vector formulas
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Proof certificates for algebra and their application to automatic geometry theorem proving
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Formal probabilistic analysis: a higher-order logic based approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
E-Matching with free variables
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The TPTP typed first-order form with arithmetic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Interpolant strength revisited
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Proceedings of the 2012 Haskell Symposium
Formal probabilistic analysis of cyber-physical transportation systems
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Efficiently solving quantified bit-vector formulas
Formal Methods in System Design
Preface to the special issue "SI: Satisfiability Modulo Theories"
Formal Methods in System Design
Transparent neural networks: integrating concept formation and reasoning
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
Formal verification of cyber-physical systems: coping with continuous elements
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
Mathematical practice, crowdsourcing, and social machines
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
A cognitive architecture based on dual process theory
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Hi-index | 0.00 |
This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.