Login / Signup
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles.
Vincent Guingona
Cameron Donnay Hill
Lynn Scow
Published in:
Ann. Pure Appl. Log. (2017)
Keyphrases
</>
model theoretic
deductive databases
description logics
operational semantics
logic programs
proof theoretic
decision procedures
default reasoning
fixpoint
probabilistic reasoning
machine learning
logic programming
data integration
integrity constraints
partial order
modal logic