A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

DOI10.1613/jair.3069zbMath1205.68437arXiv1401.3854OpenAlexW3105184467MaRDI QIDQ3055810

B. Chandrasekaran, Bonny Banerjee

Publication date: 10 November 2010

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.3854

zbMATH Keywords

problem solvingtime complexity analysis

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42)

Related Items (1)

Retrieving geometric information from images: the case of hand-drawn diagrams

Uses Software

• QEPCAD
• SOAR
• RSOLVER
• SATzilla

This page was built for publication: A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning