Modelling evolvable component systems: Part I: A logical framework.

Howard Barringer Dov M. Gabbay David E. Rydeheard

Published in: Log. J. IGPL (2009)

Keyphrases

logical framework
inference rules
artificial intelligence
random variables
belief revision
temporal reasoning