Automating Signature Evolution in Logical Theories

DOI10.1007/978-3-540-85110-3_29MaRDI QIDQ5505515zbMATH OpenOpenAlexFDO

Authors Alan Bundy

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_29

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• The interaction of representation and reasoning
• Changes of problem representation. Theory and experiments
• SOFSEM 2006: Theory and Practice of Computer Science
• scientific article; zbMATH DE number 2017873
• Computer Aided Systems Theory – EUROCAST 2005

Cites work

• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 3099224 (Why is no real title available?)
• Towards Ontology Evolution in Physics

Cited in

(1)

• A Review of Mathematical Knowledge Management

This page was built for publication: Automating Signature Evolution in Logical Theories

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