3776 search results - page 145 / 756 » Partition-Based Logical Reasoning |
158
Voted
FOIKS
2010
Springer
15 years 10 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
201
Voted
DEON
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
156
Voted
IDC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
115
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
122
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...