Characterizing contextual equivalence in calculi with passivation.

Sergueï Lenglet Alan Schmitt Jean-Bernard Stefani

Published in: Inf. Comput. (2011)

Keyphrases

contextual information
context sensitive
interactive dynamic influence diagrams
context dependent
database
data mining
decision making
website
multi agent
inference rules
reasoning problems
sequent calculi
qualitative spatial and temporal reasoning