5243 search results - page 368 / 1049 » Reasoning About Strategies |
189
click to vote
KR
2004
Springer
16 years 7 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...
192
Voted
KR
2004
Springer
16 years 7 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...
207
click to vote
NMR
2004
Springer
16 years 6 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...
174
click to vote
ENC
2003
IEEE
16 years 5 days ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
148
click to vote
TPHOL
2003
IEEE
16 years 4 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...