Interval Duration Logic: Expressiveness and Decidability.
Paritosh K. PandyaPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- computational properties
- description logics
- expressive power
- automata theoretic
- classical logic
- interval data
- query answering
- modal logic
- logic programming
- automated reasoning
- digital circuits
- decision procedures
- multi valued
- database
- temporal logic
- set theory
- logic programs
- learning algorithm
- asynchronous circuits
- machine learning