Inspection and selection of representations

DOI10.1007/978-3-030-23250-4_16zbMath1428.68293OpenAlexW2949168415MaRDI QIDQ2287916

Holly E. A. Sutherland, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik, Peter C.-H. Cheng

Publication date: 22 January 2020

Full work available at URL: http://sro.sussex.ac.uk/id/eprint/83470/3/cicm19.pdf

zbMATH Keywords

heterogeneous reasoningrepresentation in reasoningrepresentation selectionrepresentational system

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Uses Software

• ACL2
• Octave
• Isabelle/HOL
• WordNet
• VAMPIRE
• HOL Light
• Hets
• MaSh
• Dr.Doodle
• Speedith
• Openproof

This page was built for publication: Inspection and selection of representations