5122 search results - page 137 / 1025 » Comparing Consequence Relations |
137
Voted
DEON
2010
Springer
15 years 8 months ago
2010
Springer
In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally...
117
click to vote
COCOON
2006
Springer
15 years 7 months ago
2006
Springer
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
114
click to vote
DATESO
2004
15 years 4 months ago
2004
In this paper pivoting M-tree (PM-tree) is introduced, a metric access method combining M-tree with the pivot-based approach. While in M-tree a metric region is represented by a hy...
102
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
104
Voted
EUSFLAT
2001
15 years 4 months ago
2001
The Vague Query System (VQS) due to Kiing and Palkoska is an add-on to relational databases which is able to suggest alternative query results in case that an exact query fails. T...