1757 search results - page 100 / 352 » Alternating Refinement Relations |
122
Voted
CIAC
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Given a binary dominance relation on a set of alternatives, a common thread in the social sciences is to identify subsets of alternatives that satisfy certain notions of ...
129
click to vote
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
147
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
131
click to vote
FOIS
2006
15 years 4 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
104
click to vote
AAAI
1994
15 years 4 months ago
1994
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...