Login / Signup
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).
Zoran Ognjanovic
Dragan Urosevic
Tatjana Petrovic
Zorana Ristovic
Published in:
TABLEAUX (1992)
Keyphrases
</>
extended abstract
theorem proving
probabilistic model
modal logic
inference rules
machine learning
semantic network
decision procedures