A model-theoretic characterization of the weak pigeonhold principle.

Published in: Ann. Pure Appl. Log. (2002)

Keyphrases

model theoretic
minimal change
deductive databases
description logics
operational semantics
proof theoretic
fixpoint
logic programs
decision procedures
default reasoning
probabilistic reasoning
databases
logic programming
modal logic
query evaluation
probabilistic model
linear logic
machine learning