Keyword:Incremental Automated Reasoning

Publications
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures Elena Ravve, Zeev Volkovich and Gerhard Weber In:GCAI 2015. Global Conference on Artificial Intelligence