Login / Signup
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.
Yaroslav Shramko
Dmitry Zaitsev
Alexander Belikov
Published in:
J. Philos. Log. (2019)
Keyphrases
</>
decision procedures
truth values
modal logic
conditional logic
expressive power
inference rules
case study
video sequences
conjunctive queries
higher order
real time
decision trees
knowledge base
nonmonotonic reasoning
multi valued
computer vision
information retrieval
neural network