3773 search results - page 85 / 755 » Logical Reasoning |
112
Voted
DEXAW
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
129
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
163
click to vote
ECAI
2010
Springer
15 years 21 days ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
112
click to vote
KR
1994
Springer
15 years 7 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
150
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...