Internal and External Logics of Abstract Interpretations.

David A. Schmidt

Published in: VMCAI (2008)

Keyphrases

internal and external
propositional dynamic logic
modal logic
expressive power
high level
business environment
valued logic
low level
higher level
inference rules
computer vision
classical logic
sensemaking
temporal logic
nonmonotonic logics
reasoning about actions
proof theory
search engine