| Publication | Date of Publication | Type |
|---|
Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms
Lecture Notes in Computer Science | 2023-06-02 | Paper |
Extensions to the rippling-out tactic for guiding inductive proofs
| 2023-04-28 | Paper |
The OYSTER-CLAM system
| 2023-04-28 | Paper |
A science of reasoning: Extended abstract
| 2023-04-28 | Paper |
Using a generalisation critic to find bisimulations for coinductive proofs
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Automating Event-B invariant proofs by rippling and proof patching
Formal Aspects of Computing | 2019-03-13 | Paper |
Extensions to a generalization critic for inductive proof
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
The interaction of representation and reasoning
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2017-09-29 | Paper |
Automating change of representation for proofs in discrete mathematics (extended version)
Mathematics in Computer Science | 2017-07-25 | Paper |
Automating Change of Representation for Proofs in Discrete Mathematics
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Book review of: Robert Kowalski, Computational logic and human thinking: how to be artificially intelligent
Artificial Intelligence | 2014-04-17 | Paper |
Ascertaining mathematical theorems
| 2013-10-07 | Paper |
Attacking group multicast key management protocols using \textsc{Coral}
| 2013-09-25 | Paper |
Conjecture synthesis for inductive theories
Journal of Automated Reasoning | 2012-07-31 | Paper |
Automated theorem provers: a practical tool for the working mathematician?
Annals of Mathematics and Artificial Intelligence | 2012-01-10 | Paper |
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
Case-analysis for rippling and inductive proof
Interactive Theorem Proving | 2010-09-14 | Paper |
A single-significant-digit calculus for semi-automated guesstimation
Automated Reasoning | 2010-09-14 | Paper |
On process equivalence = equation solving in CCS
Journal of Automated Reasoning | 2009-09-01 | Paper |
Automating Signature Evolution in Logical Theories
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
What is a proof?
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Attacking group protocols by refuting incorrect inductive conjectures
Journal of Automated Reasoning | 2007-01-30 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Diagrammatic Representation and Inference
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Diagrammatic Representation and Inference
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Rippling: Meta-Level Guidance for Mathematical Reasoning
| 2005-07-28 | Paper |
scientific article; zbMATH DE number 2086734 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1929303 (Why is no real title available?)
| 2003-06-17 | Paper |
scientific article; zbMATH DE number 1927422 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1926636 (Why is no real title available?)
| 2003-06-11 | Paper |
On the notion of interestingness in automated mathematical discovery
International Journal of Human-Computer Studies | 2003-04-03 | Paper |
Planning proofs of equations in CCS
Automated Software Engineering | 2003-02-17 | Paper |
Proofs-as-programs as a framework for the design of an analogy-based ML editor
Formal Aspects of Computing | 2002-09-25 | Paper |
The automation of proof by mathematical induction
| 2002-08-27 | Paper |
scientific article; zbMATH DE number 1787153 (Why is no real title available?)
| 2002-08-21 | Paper |
A general setting for flexibly combining and augmenting decision procedures
Journal of Automated Reasoning | 2002-08-20 | Paper |
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
scientific article; zbMATH DE number 1670623 (Why is no real title available?)
| 2001-12-09 | Paper |
On automating diagrammatic proofs of arithmetic arguments
Journal of Logic, Language and Information | 2000-07-31 | Paper |
Automatic verification of functions with accumulating parameters
Journal of Functional Programming | 2000-07-19 | Paper |
scientific article; zbMATH DE number 1418281 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1405440 (Why is no real title available?)
| 2000-02-23 | Paper |
scientific article; zbMATH DE number 1405455 (Why is no real title available?)
| 2000-02-23 | Paper |
Constructing probabilistic ATMSs using extended incidence calculus
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
scientific article; zbMATH DE number 1348457 (Why is no real title available?)
| 1999-10-07 | Paper |
scientific article; zbMATH DE number 1341612 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1189094 (Why is no real title available?)
| 1999-06-07 | Paper |
Recursive program optimization through inductive synthesis proof transformation
Journal of Automated Reasoning | 1999-05-02 | Paper |
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence | 1998-11-25 | Paper |
Calculating criticalities
Artificial Intelligence | 1998-07-23 | Paper |
Abstract proof checking: An example motivated by an incompleteness theorem
Journal of Automated Reasoning | 1998-06-29 | Paper |
Productive use of failure in inductive proof
Journal of Automated Reasoning | 1996-06-11 | Paper |
Middle-out reasoning for synthesis and induction
Journal of Automated Reasoning | 1996-06-11 | Paper |
Assignment methods for incidence calculus
International Journal of Approximate Reasoning | 1995-08-27 | Paper |
Rippling: A heuristic for guiding inductive proofs
Artificial Intelligence | 1994-05-09 | Paper |
scientific article; zbMATH DE number 516998 (Why is no real title available?)
| 1993-01-01 | Paper |
Experiments with proof plans for induction
Journal of Automated Reasoning | 1991-01-01 | Paper |
Solving symbolic equations with PRESS
Journal of Symbolic Computation | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4164172 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4072439 (Why is no real title available?)
| 1988-01-01 | Paper |
Explanation-based generalisation \(=\) partial evaluation
Artificial Intelligence | 1988-01-01 | Paper |
Commentary on: solving symbolic equations with PRESS
ACM SIGSAM Bulletin | 1988-01-01 | Paper |
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
Journal of Automated Reasoning | 1986-01-01 | Paper |
An analytical comparison of some rule-learning programs
Artificial Intelligence | 1985-01-01 | Paper |
Incidence calculus: A mechanism for probabilistic reasoning
Journal of Automated Reasoning | 1985-01-01 | Paper |
A generalized interval package and its use for semantic checking
ACM Transactions on Mathematical Software | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3860434 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3856398 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3684923 (Why is no real title available?)
| 1980-01-01 | Paper |
Will it reach the top? Prediction in the mechanics world
Artificial Intelligence | 1978-01-01 | Paper |
A note on omitting the replacement schema
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3356750 (Why is no real title available?)
| 1972-01-01 | Paper |
