Interleaved Programs and Rely-Guarantee Reasoning with ITL.

Gerhard Schellhorn Bogdan Tofan Gidon Ernst Wolfgang Reif

Published in: TIME (2011)

Keyphrases

reasoning process
reasoning systems
knowledge base
meta level
knowledge representation
spatial reasoning
reasoning engine
computer programs
automated reasoning
reasoning tasks
automatic programming
information retrieval
high level
object oriented
deductive databases
reasoning mechanisms