Reasoning about solids using constraint logic programming
From MaRDI portal
Publication:1284708
DOI10.1023/A:1006080931326zbMath0922.68031MaRDI QIDQ1284708
Publication date: 26 April 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items (2)
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories
This page was built for publication: Reasoning about solids using constraint logic programming
