11436 search results - page 187 / 2288 » Modeling Real Reasoning |
126
click to vote
AAAI
2008
15 years 5 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
106
click to vote
AAAI
2006
15 years 4 months ago
2006
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
122
click to vote
ICAIL
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
115
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
122
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...