Local models semantics, or Contextual Reasoning=Locality+Compatibility (2001)

by Chiara Ghidini, Fausto Giunchiglia
Venue:Artificial Intelligence