A logic for PTIME and a parameterized halting problem.
Yijia ChenJörg FlumPublished in: Electron. Colloquium Comput. Complex. (2008)
Keyphrases
- multi valued
- classical logic
- logic programming
- conjunctive queries
- modal logic
- satisfiability problem
- genetic algorithm
- asynchronous circuits
- epistemic logic
- data complexity
- relational databases
- temporal logic
- automated reasoning
- query evaluation
- probabilistic logic
- logical framework
- knowledge base
- deontic logic
- neural network
- proof theory
- propositional dynamic logic