Verification in Predicate Logic with Time: Algorithmic Questions.
Anatol SlissenkoPublished in: CSL (2005)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- temporal logic
- model checking
- semantic network
- semantic net
- formal logic
- predicate calculus
- computational linguistics
- highly expressive
- answer questions
- lower level
- fluent calculus
- reasoning systems
- search engine
- general purpose
- knowledge representation
- domain knowledge