4595 search results - page 392 / 919 » Reasoning about Plans |
206
click to vote
ICLP
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
211
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
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...
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...
220
click to vote
NMR
2004
Springer
16 years 29 days ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...