Login / Signup
-logics.
Leonid Arshinskiy
Vadim Arshinskiy
Mikhail Dunaev
Marina Nitezhuk
Published in:
AICTS (2020)
Keyphrases
</>
expressive power
propositional calculus
modal logic
classical logic
inference rules
query language
nonmonotonic logics
conditional logic
genetic algorithm
computer vision
relational databases
fuzzy logic
logic programming
decision procedures
proof theory