Conservative Extensions in Guarded and Two-Variable Fragments.

Jean Christoph Jung Carsten Lutz Mauricio Martel Thomas Schneider Frank Wolter

Published in: CoRR (2017)

Keyphrases

guarded fragment
expressive power
transitive closure
first order logic
efficient implementation
default logic
default theories
genetic algorithm
image sequences
hidden markov models
fixed point