Deriving real-time action systems in a sampling logic.

Brijesh Dongol Ian J. Hayes

Published in: Sci. Comput. Program. (2013)

Keyphrases

real time
real time systems
management system
complex systems
artificial intelligence
low cost
building blocks
telecommunication systems
asynchronous circuits
random sampling
belief revision
first order logic
learning systems
logic programs
distributed systems
information systems
neural network
data sets