Login / Signup
Characterising Modal Formulas with Examples.
Balder ten Cate
Raoul Koudijs
Published in:
CoRR (2023)
Keyphrases
</>
databases
modal logic
neural network
decision trees
training examples
nonmonotonic logics