3573 search results - page 146 / 715 » Reasoning about Codata |
158
Voted
KR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
149
Voted
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
107
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
139
click to vote
AAAI
2007
15 years 5 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
111
click to vote
FLAIRS
2003
15 years 4 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...