A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.

Philippe Balbiani

Browse the full STACS paper archive.