4617 search results - page 560 / 924 » Automation of Diagrammatic Reasoning |
199
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
206
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
196
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
216
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
196
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...