The interaction of representation and reasoning

DOI10.1098/RSPA.2013.0194MaRDI QIDQ5362170zbMATH OpenOpenAlexWikidataFDO

Authors Alan Bundy

Publication date 29 September 2017

Published in Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1098/rspa.2013.0194

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4104410
• An overview of automated reasoning and related fields
• A Fascinating Country in the World of Computing
• scientific article; zbMATH DE number 41806
• Informational logic for automated reasoning

Cited in

(7)

• Automating change of representation for proofs in discrete mathematics (extended version)
• Automated reasoning in the wild
• Advances in Artificial Intelligence – SBIA 2004
• Automating Signature Evolution in Logical Theories
• scientific article; zbMATH DE number 7644091 (Why is no real title available?)
• Oruga: implementation and use of representational systems theory
• Basic research problems: The problem of choosing the representation, inference rule, and strategy

This page was built for publication: The interaction of representation and reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5362170)