Oruga: implementation and use of representational systems theory

DOI10.1007/978-3-031-66997-2_20MaRDI QIDQ6648183

Gem Stapleton, Peter C.-H. Cheng, Mateja Jamnik, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi

Publication date: 4 December 2024

zbMATH Keywords

knowledge representationheterogeneous reasoning

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• What makes an effective representation of information: a formal account of observational advantages
• Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
• The interaction of representation and reasoning
• Unnamed Item

This page was built for publication: Oruga: implementation and use of representational systems theory