2 search results - page 1 / 1 » A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Co... |
TABLEAUX
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
LOGCOM
2002
13 years 10 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...