Login / Signup
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.
Guido Fiorino
Published in:
PAAR@IJCAR (2010)
Keyphrases
</>
tableau calculus
decision making
decision makers
knowledge base
decision problems