Login / Signup
Satisfiability and Completeness of Converse-PDL Replayed.
M. Lange
Published in:
KI (2003)
Keyphrases
</>
satisfiability problem
propositional logic
computational complexity
np complete
propositional dynamic logic
terminological reasoning
dynamic logic
decision procedures
phase transition
sat problem
artificial intelligence
quantified boolean formulas
data sets
description logics
expert systems
database systems
reasoning problems
propositional formulas
deontic logic
data mining
satisfiability testing
database