Logic as a Path to Enlightenment (Work in Progress Report).

Wolfgang Schreiner

Published in: CICM Workshops (2018)

Keyphrases

modal logic
shortest path
logic programming
multi valued
classical logic
predicate logic
artificial intelligence
set theory
asynchronous circuits
real time
real world
automated reasoning
delay insensitive