Complexity and succinctness issues for linear-time hybrid logics.
Laura BozzelliRuggero LanottePublished in: Theor. Comput. Sci. (2010)
Keyphrases
- modal logic
- worst case
- case study
- computational complexity
- expressive power
- decision problems
- evolutionary algorithm
- hybrid learning
- inference rules
- temporal logic
- np complete
- knowledge based systems
- computational cost
- real time
- relational databases
- information technology
- video sequences
- database systems
- website
- artificial intelligence
- databases