Login / Signup
Typed Logics With States.
Jan van Eijck
Published in:
Log. J. IGPL (1997)
Keyphrases
</>
expressive power
higher order
modal logic
propositional calculus
state transitions
dynamic programming
state space
bayesian networks
first order logic
case study
genetic algorithm
inference rules
initial state
data sets
nonmonotonic logics
conditional logic
partial knowledge
epistemic logic
lambda calculus
database