Conservative Extensions in Guarded and Two-Variable Fragments.

Jean Christoph Jung Carsten Lutz Mauricio Martel Thomas Schneider Frank Wolter

Published in: ICALP (2017)

Keyphrases

case study
social networks
information systems
knowledge base
data structure
multi agent systems
fixed point
decision procedures