The Narrative Logic of Rube Goldberg Machines.

David Olsen Mark J. Nelson

Published in: ICIDS (2017)

Keyphrases

modal logic
logic programming
database
real time
classical logic
logical framework
automated reasoning
probability theory
learning machines
knowledge representation
search algorithm
support vector
decision trees
social networks
asynchronous circuits
linear logic
proof theory