The interaction of representation and reasoning

DOI10.1098/RSPA.2013.0194zbMATH Open1371.03017OpenAlexW2004116709WikidataQ28679853 ScholiaQ28679853MaRDI QIDQ5362170FDOQ5362170

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)

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (7)

• Title not available (Why is that?)
• Automating change of representation for proofs in discrete mathematics (extended version)
• Automating Signature Evolution in Logical Theories
• Advances in Artificial Intelligence – SBIA 2004
• Oruga: implementation and use of representational systems theory
• Automated reasoning in the wild
• 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)