Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures.

Published in: TACS (1991)

Keyphrases

object model
hierarchical structures
data objects
multiple objects
complex scenes
inductive inference
knowledge representation
d objects
spatial relationships
object segmentation
theorem prover
complex structures
individual objects
cognitive functions