Using Higher Order Logic for Modelling Real-Time Protocols.

Rachel Cardell-Oliver

Published in: TAPSOFT, Vol.2 (1991)

Keyphrases

real time
higher order logic
higher order
conditional logic
theorem prover
real time systems
logical framework
artificial intelligence
general purpose
dimensionality reduction
belief revision
maximum entropy
nonmonotonic reasoning