Login / Signup
On Axiomatizations of PAL.
Yanjing Wang
Published in:
LORI (2011)
Keyphrases
</>
decision procedures
theorem proving
modal logic
optimal solution
np complete
database
bayesian networks
computational complexity
data analysis
markov random field
graph cuts
dynamic environments
programming language
random variables