Person:438542

Available identifiers

zbMath Open bundy.alanDBLPb/AlanBundyWikidataQ4706277 ScholiaQ4706277MaRDI QIDQ438542

List of research outcomes

Publication	Date of Publication	Type
Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms	2023-06-02	Paper
Extensions to the rippling-out tactic for guiding inductive proofs	2023-04-28	Paper
A science of reasoning: Extended abstract	2023-04-28	Paper
The OYSTER-CLAM system	2023-04-28	Paper
Using a generalisation critic to find bisimulations for coinductive proofs	2019-10-01	Paper
Automating Event-B invariant proofs by rippling and proof patching	2019-03-13	Paper
Extensions to a generalization critic for inductive proof	2019-01-15	Paper
The interaction of representation and reasoning	2017-09-29	Paper
Automating change of representation for proofs in discrete mathematics (extended version)	2017-07-25	Paper
Automating Change of Representation for Proofs in Discrete Mathematics	2015-11-20	Paper
Book review of: Robert Kowalski, Computational logic and human thinking: how to be artificially intelligent	2014-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q2852039	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848040	2013-09-25	Paper
Conjecture synthesis for inductive theories	2012-07-31	Paper
Automated theorem provers: a practical tool for the working mathematician?	2012-01-10	Paper
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery	2010-11-22	Paper
Case-Analysis for Rippling and Inductive Proof	2010-09-14	Paper
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation	2010-09-14	Paper
On process equivalence = equation solving in CCS	2009-09-01	Paper
Automating Signature Evolution in Logical Theories	2009-01-27	Paper
What is a proof?	2009-01-20	Paper
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’	2009-01-20	Paper
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic	2007-11-28	Paper
Automated Reasoning	2007-09-25	Paper
Automated Reasoning	2007-09-25	Paper
Attacking group protocols by refuting incorrect inductive conjectures	2007-01-30	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
Rippling: Meta-Level Guidance for Mathematical Reasoning	2005-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737277	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4708424	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4484340	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4707764	2003-06-11	Paper
On the notion of interestingness in automated mathematical discovery	2003-04-03	Paper
Planning proofs of equations in CCS	2003-02-17	Paper
Proofs-as-programs as a framework for the design of an analogy-based ML editor	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2751365	2002-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4548193	2002-08-21	Paper
A general setting for flexibly combining and augmenting decision procedures	2002-08-20	Paper
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2753884	2001-12-09	Paper
On automating diagrammatic proofs of arithmetic arguments	2000-07-31	Paper
Automatic verification of functions with accumulating parameters	2000-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941841	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4938413	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4938430	2000-02-23	Paper
Constructing probabilistic ATMSs using extended incidence calculus	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4264708	1999-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4263161	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3838801	1999-06-07	Paper
Recursive program optimization through inductive synthesis proof transformation	1999-05-02	Paper
Automating the synthesis of decision procedures in a constructive metatheory	1998-11-25	Paper
Calculating criticalities	1998-07-23	Paper
Abstract proof checking: An example motivated by an incompleteness theorem	1998-06-29	Paper
Productive use of failure in inductive proof	1996-06-11	Paper
Middle-out reasoning for synthesis and induction	1996-06-11	Paper
Assignment methods for incidence calculus	1995-08-27	Paper
Rippling: A heuristic for guiding inductive proofs	1994-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4282519	1993-01-01	Paper
Experiments with proof plans for induction	1991-01-01	Paper
Solving symbolic equations with PRESS	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490990	1989-01-01	Paper
Explanation-based generalisation \(=\) partial evaluation	1988-01-01	Paper
Commentary on: solving symbolic equations with PRESS	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804239	1988-01-01	Paper
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus	1986-01-01	Paper
An analytical comparison of some rule-learning programs	1985-01-01	Paper
Incidence calculus: A mechanism for probabilistic reasoning	1985-01-01	Paper
A generalized interval package and its use for semantic checking	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3327746	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325029	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880307	1980-01-01	Paper
Will it reach the top? Prediction in the mechanics world	1978-01-01	Paper
A note on omitting the replacement schema	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631094	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alan Bundy