Logic and Applications - LAP Meeting.

Zvonimir Sikic Silvia Ghilezan Zoran Ognjanovic Thomas Studer

Published in: Logic, Language, and Security (2020)

Keyphrases

neural network
predicate logic
multi valued
evolutionary algorithm
logic programming
classical logic
sound and complete axiomatization
real time
data sets
genetic algorithm
image sequences
multi party
probabilistic logic
digital circuits
truth values
proof theory