4 search results - page 1 / 1 » Active logic semantics for a single agent in a static world |
AI
2008
Springer
13 years 5 months ago
2008
Springer
CORR
2006
Springer
13 years 4 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
ECSQARU
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...