On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
Dmitrij P. SkvortsovPublished in: Stud Logica (2005)
Keyphrases
- predicate logic
- temporal logic
- knowledge representation and reasoning
- formal logic
- predicate calculus
- model checking
- modal logic
- semantic net
- semantic network
- fluent calculus
- computational linguistics
- lower level
- video frames
- knowledge representation
- desirable properties
- text mining
- knowledge base
- software engineering
- moving objects
- machine learning