LOGCOM
2002
15 years 12 days ago
2002
63
Voted
LOGCOM
2002
15 years 12 days 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
105
Voted
LOGCOM
2002
15 years 12 days 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
15 years 12 days ago
2002
91
Voted
LOGCOM
2002
15 years 12 days 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...