878 search results - page 55 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
142
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
155
click to vote
CCIA
2007
Springer
16 years 14 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
154
click to vote
IEEESCC
2009
IEEE
16 years 28 days ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ€...
163
click to vote
AAAI
2004
15 years 7 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
214
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Narrative time has an important role to play in Interactive Storytelling (IS) systems. In contrast to prevailing IS approaches which use implicit models of time, in our work we ha...