Extended Decision Procedure for a Fragment of HL with Binders.

Marta Cialdea Mayer

Published in: J. Autom. Reason. (2014)

Keyphrases

decision making
decision rules
decision problems
decision makers
decision process
three dimensional
databases
information systems
image sequences
bayesian networks
multiscale
reinforcement learning
decision support system
influence diagrams
decision model