A logical framework for depiction and image interpretation
type: Item
instance of: scholarly article
title: A logical framework for depiction and image interpretation
zbMATH Open document ID: 0689.68113
DOI: 10.1016/0004-3702(89)90008-8
author: Raymond Reiter
author: Alan K. Mackworth
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 4130064
zbMATH Keywords: image interpretation
zbMATH Keywords: computational vision
zbMATH Keywords: knowledge representation
zbMATH Keywords: graphics systems
MaRDI profile type: Publication
full work available at URL: 0004-3702(89)90008-8
OpenAlex ID: W2061560303
cites work: On Matrices with Connections
cites work: Constraint satisfaction from a deductive viewpoint
cites work: Symbolic reasoning among 3-D models and 2-D images
cites work: Q3919057
cites work: Q3862380
cites work: Q3993187
cites work: Q3668890
cites work: Q5633670
cites work: Q5586197
cites work: Solving Satisfiability with Less Searching
cites work: Equality and Domain Closure in First-Order Databases
cites work: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
description: scientific article; zbMATH DE number 4130064