Diversification of Object-Languages for Propositional Logics.
Nissim FrancezPublished in: J. Log. Lang. Inf. (2018)
Keyphrases
- expressive power
- first order logic
- d objects
- propositional variables
- moving objects
- default logic
- language independent
- propositional logic
- image sequences
- spatial relationships
- modal logic
- complex objects
- data objects
- object tracking
- databases
- inductive logic programming
- spatial relations
- tabu search
- classical first order logic