A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5.

Arnon Avron Ori Lahav

Published in: Advances in Modal Logic (2018)

Keyphrases

image processing
database
video sequences
expert systems
neural network
real world
artificial intelligence
computer vision
metadata
decision trees
training data
preprocessing
np hard
black box