The interaction of representation and reasoning

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (4)

Advances in Artificial Intelligence – SBIA 2004 ⋮ Title not available (Why is that?) ⋮ 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)