Keyphrases
- temporal logic
- modal logic
- logic programming
- predicate logic
- data sets
- classical logic
- linear temporal logic
- real time
- epistemic logic
- computational properties
- probabilistic logic
- information systems
- neural network
- model checking
- logic programs
- multi valued
- programming language
- expert systems
- web services
- abductive reasoning
- information retrieval