Logic of Determination of Objects: the Meaning of Variable in Quantification.
Jean-Pierre DesclésAnca PascuPublished in: Int. J. Artif. Intell. Tools (2006)
Keyphrases
- modal logic
- database systems
- logic programming
- proof theory
- bounding box
- object model
- programming language
- d objects
- moving objects
- natural language
- three dimensional
- object oriented
- multi agent systems
- spatial relations
- spatial relationships
- object segmentation
- neural network
- target object
- databases
- multi valued
- real world objects
- predicate logic
- database