A Logic for PTIME and a Parameterized Halting Problem.

Yijia Chen Jörg Flum

Published in: Fields of Logic and Computation (2010)

Keyphrases

logic programming
modal logic
multi valued
proof theory
knowledge representation
probabilistic logic
asynchronous circuits
neural network
expert systems
data complexity
automated reasoning
classical logic
defeasible logic
predicate logic
delay insensitive