Local rely-guarantee reasoning.

Published in: POPL (2009)

Keyphrases

knowledge base
automated reasoning
reasoning systems
knowledge representation
default reasoning
meta level
data sets
reasoning process
probabilistic logic
resource bounded
logical reasoning