The goal of this paper is to show how contexts can be used together with circumscription to provide a general solution to the qualification problem. The context mechanism is used to perform theory refomulation before performing non monotonic reasoning (in
Dealing with Expected and Unexpected Obstacles
Giunchiglia, Fausto;Bouquet, Paolo
1996-01-01
Abstract
The goal of this paper is to show how contexts can be used together with circumscription to provide a general solution to the qualification problem. The context mechanism is used to perform theory refomulation before performing non monotonic reasoning (inFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
