Why does the proof-theory of hybrid logic work so well?

Torben Braüner

Published in: J. Appl. Non Class. Logics (2007)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
np hard
artificial intelligence
partial order
parallel processing
constraint propagation
decision procedures