5122 search results - page 1 / 1025 » Comparing Consequence Relations |
KR
1998
Springer
13 years 8 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...
COLING
1994
13 years 6 months ago
1994
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequenc...
LOGCOM
2002
13 years 4 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...
TABLEAUX
2000
Springer
13 years 8 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...