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

by Chiara Ghidini, Fausto Giunchiglia
Venue:Artificial Intelligence