The inevitability of inconsistent abstract spaces

DOI10.1007/BF00881899zbMath0784.68075OpenAlexW2151160748MaRDI QIDQ1311395

Toby Walsh, Fausto Giunchiglia

Publication date: 13 January 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881899

zbMATH Keywords

abstractionautomated deductioninconsistent abstract spaces

Mathematics Subject Classification ID

Related Items

A theory of abstraction

Cites Work

• Theorem proving with abstraction
• A theory of abstraction
• Planning in a hierarchy of abstraction spaces
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item