A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains.
Dmitrij P. SkvortsovPublished in: J. Log. Comput. (2011)
Keyphrases
- modal logic
- inference rules
- first order logic
- expressive power
- temporal logic
- frame rate
- video frames
- real world
- desirable properties
- moving objects
- neural network
- multi frame
- model checking
- application domains
- genetic algorithm
- motion vectors
- multi agent systems
- reinforcement learning
- decision trees
- artificial intelligence
- data sets
- temporal coherence
- conditional logic
- logic rules