Local models semantics, or contextual reasoning=locality+compatibility (0)

by Chiara Ghidini, Fausto Giunchiglia
Venue:Artif. Intell