One-Dimensional Logic over Trees.

Emanuel Kieronski Antti Kuusisto

Published in: MFCS (2017)

Keyphrases

artificial intelligence
decision trees
logic programming
tree structure
modal logic
multi dimensional
tree construction
predicate logic
database systems
automated reasoning
probabilistic logic
nonmonotonic logics
digital circuits
deontic logic