Filtros de búsqueda

Lista de obras de 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

artículo científico publicado en 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

artículo científico publicado en 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

artículo científico publicado en 2013

The use of explicit plans to guide inductive proofs

article

What is a proof?

artículo científico publicado en 2005

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda