Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.

Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti

Browse the full LPNMR paper archive.