Login / Signup
Tableau reductions: Towards an optimal decision procedure for the modal necessity.
Joanna Golinska-Pilarek
Emilio Muñoz-Velasco
Angel Mora
Published in:
J. Appl. Log. (2016)
Keyphrases
</>
decision making
dynamic programming
decision makers
efficient computation
optimal design
real time
data structure
description logics
closed form
database
decision trees
multiscale
worst case
decision rules
automated theorem proving