Proofs in parameterized specifications
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
An adaption of proof-planning to declarer play in bridge
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in artificial intelligence and logic programming
On proving the termination of algorithms by machine
Artificial Intelligence
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
On Automating Diagrammatic Proofs of Arithmetic Arguments
Journal of Logic, Language and Information
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Experiments in Automating Hardware Verification Using Inductive Proof Planning
FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Deduction in the Verification Support Environment (VSE)
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
Proceedings of the 10th International Conference on Automated Deduction
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
Proceedings of the 10th International Conference on Automated Deduction
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Omega: Towards a Mathematical Assistant
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Journal of Automated Reasoning
Rippling: meta-level guidance for mathematical reasoning
Rippling: meta-level guidance for mathematical reasoning
Representation as a Fluent: An AI Challenge for the Next Half Century
IEEE Intelligent Systems
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
Journal of Automated Reasoning
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Automatic Construction and Verification of Isotopy Invariants
Journal of Automated Reasoning
Towards Ontology Evolution in Physics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Combining induction axioms by machine
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Automatic concept formation in pure mathematics
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Hiproofs: A Hierarchical Notion of Proof Tree
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated theorem provers: a practical tool for the working mathematician?
Annals of Mathematics and Artificial Intelligence
Conjecture Synthesis for Inductive Theories
Journal of Automated Reasoning
Scheme-based theorem discovery and concept invention
Expert Systems with Applications: An International Journal
Mutation in linked data structures
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
The AVISPA tool for the automated validation of internet security protocols and applications
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
I provide a personal perspective of a European collaboration in the area of automated reasoning. I describe the birth and growth of this collaboration and give a snapshot of its current state. My involvement started with a two-way collaboration on inductive theorem proving between my group in Edinburgh and Siekmann's group in Saarbrücken, but this grew to broaden both in research area and geographical area. It focused on several series of workshops/conferences, research grants and bilateral lab visits, and established both new applications and collaborations with researchers outwith automated reasoning.