Search filters

List of works by Alan Bundy

A Closer Look at Probability Calibration of Knowledge Graph Embedding

scientific article published on 14 February 2023

Assessing the Quality of a Knowledge Graph via Link Prediction Tasks

scientific article published on 05 March 2024

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

Experiments with proof plans for induction

article

Explanation-based generalisation = partial evaluation

article by Frank van Harmelen & Alan Bundy published October 1988 in Artificial Intelligence

Extensions to the rippling-out tactic for guiding inductive proofs

Getting to know your Card

scientific article published in 2015

Linear Predictive Coding

Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing

Rippling: A heuristic for guiding inductive proofs

The OYSTER-CLAM system

The interaction of representation and reasoning

scientific article (publication date: 8 September 2013)

The use of explicit plans to guide inductive proofs

article

What is a proof?

scientific article published in October 2005

Paulina is supported by:

About Paulina

Help