Deterministic Logics for UL.

Paritosh K. Pandya Simoni S. Shah

Published in: ICTAC (2013)

Keyphrases

expressive power
modal logic
mobile robot
black box
inference rules
relaxation algorithm
propositional calculus
databases
genetic algorithm
case study
reinforcement learning
programming language
nonmonotonic logics
conditional logic
stochastic methods