Logic of Existentialism in Fiction.

Ilya Makarov Valeria Bodishtianu

Published in: FLAIRS Conference (2017)

Keyphrases

logic programming
classical logic
multi valued
sound and complete axiomatization
artificial neural networks
predicate logic
logical framework
logic synthesis
machine learning
genetic algorithm
case study
probability theory
probabilistic logic
digital circuits
proof theory
deductive reasoning