Vienna Summer of Logic.

Matthias Baaz Thomas Eiter Helmut Veith

Published in: KR (2014)

Keyphrases

classical logic
formal theory
logic programming
multi valued
modal logic
real time
linear temporal logic
sound and complete axiomatization
neural network
search algorithm
evolutionary algorithm
probability theory
high school students
logical framework
definition language
asynchronous circuits