An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.

Furio Honsell Marino Miculan Ivan Scagnetto

Published in: ICALP (2001)

Keyphrases

decision theoretic
topological spaces
temporal reasoning
spatial reasoning
distributive lattices
real time
data sets
genetic algorithm
bayesian networks
special case
temporal information
temporal constraints
clifford algebra