A Logic of Concrete Time Intervals (Extended Abstract)

Published in: LICS (1990)

Keyphrases

extended abstract
logic programming
classical logic
linear logic
deontic logic
set theory
endpoints
modal logic
multi agent
multiscale
data structure
logical framework
real numbers
bayesian networks
information systems
asynchronous circuits
artificial intelligence