A hidden Herbrand theorem: combining the object and logic paradigms.
Joseph A. GoguenGrant MalcolmTom KempPublished in: J. Log. Algebraic Methods Program. (2002)
Keyphrases
- logic programming
- logic programs
- intuitionistic logic
- classical logic
- horn clauses
- viewpoint
- d objects
- complex objects
- object model
- knowledge representation formalisms
- first order logic
- similar objects
- multi valued
- target object
- hidden information
- deformable objects
- automated reasoning
- object models
- artificial intelligence
- object tracking
- relational databases
- moving objects