A PSPACE-complete first-order fragment of computability logic.
Matthew S. BauerPublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- pspace complete
- coalition logic
- np complete
- model checking
- satisfiability problem
- decision problems
- cl pc
- exptime complete
- strips planning
- modal logic
- tree automata
- logic programming
- logical framework
- multi valued
- first order logic
- multi agent systems
- np hard
- matching algorithm
- automated reasoning
- causal graph
- data model
- search algorithm