Event Identifier Logic.

Iain Phillips Irek Ulidowski

Published in: Math. Struct. Comput. Sci. (2014)

Keyphrases

event detection
modal logic
logic programming
computational properties
real time
asynchronous circuits
predicate logic
multi valued
event driven
linear logic
digital circuits
temporal sequences
news articles
logic programs
information systems
genetic algorithm
databases