A logical framework for depiction and image interpretation

DOI10.1016/0004-3702(89)90008-8zbMath0689.68113OpenAlexW2061560303MaRDI QIDQ582146

Alan K. Mackworth, Raymond Reiter

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90008-8

zbMATH Keywords

knowledge representationimage interpretationcomputational visiongraphics systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99)

Related Items (5)

The logic of constraint satisfaction ⋮ Conservation principles and action schemes in the synthesis of geometric concepts ⋮ Understanding dynamic scenes ⋮ Abduction as belief revision ⋮ Probabilistic Horn abduction and Bayesian networks

Cites Work

• Constraint satisfaction from a deductive viewpoint
• Symbolic reasoning among 3-D models and 2-D images
• Solving Satisfiability with Less Searching
• Equality and Domain Closure in First-Order Databases
• On Matrices with Connections
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical framework for depiction and image interpretation