Decidability via Mosaics for Bundled Ockhamist Logic.

Published in: TIME (2015)

Keyphrases

computational properties
description logics
modal logic
neural network
query answering
multi valued
classical logic
artificial intelligence
video sequences
defeasible logic
decision procedures
natural deduction
case study
image sequences
automated reasoning