LOGCOM
2002
13 years 11 months ago
2002
LOGCOM
2002
13 years 11 months ago
2002
In this paper we define the notion of a block algebra, which is based upon a spatial application of Allen's interval algebra. In the
LOGCOM
2002
13 years 11 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...
LOGCOM
2002
13 years 11 months ago
2002
LOGCOM
2002
13 years 11 months ago
2002
The paper is a theoretical study of a generalization of the lexicographic rule for combining ordering relations. We define the concept of priority operator: a priority operator ma...