Circumscription and Generic Mathematical Objects.

Leopoldo E. Bertossi Raymond Reiter

Published in: Fundam. Informaticae (1994)

Keyphrases

d objects
object segmentation
genetic algorithm
high level
logic programs
data objects
spatial relations
theorem prover
default reasoning