1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2025
Oruga: An Avatar of Representational Systems Theory
Daniel Raggi, Gem Stapleton, Mateja Jamnik +3
Humans use representations flexibly. We draw diagrams, change representations and exploit creative analogies across different domains. We want to harness this kind of power and end…
cs.AI2022★ 1 cited
Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations
Daniel Raggi, Gem Stapleton, Mateja Jamnik +3
The study of representations is of fundamental importance to any form of communication, and our ability to exploit them effectively is paramount. This article presents a novel theo…
cs.AI2015
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
Representation determines how we can reason about a specific problem. Sometimes one representation helps us find a proof more easily than others. Most current automated reasoning t…