Sciweavers

878 search results - page 49 / 176
» Modelling Communicating Agents in Timed Reasoning Logics
Sort
View
JCIT
2007
159views more  JCIT 2007»
14 years 11 months ago
Agent-Based Simulation to Seek For Effective Communication In Project Management
Many project managers of a large scale project shortened delivery period of his or her projects unwillingly by the request of clients. However, some of them believe there is no dif...
Masao Watabe, Takao Terano
ATAL
2004
Springer
15 years 5 months ago
Preferences in Game Logics
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
Sieuwert van Otterloo, Wiebe van der Hoek, Michael...
ARGMAS
2007
Springer
15 years 6 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
ENTCS
2007
87views more  ENTCS 2007»
14 years 11 months ago
Temporal Logics of Knowledge and their Applications in Security
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
Clare Dixon, M. Carmen Fernández Gago, Mich...
IAT
2008
IEEE
15 years 6 months ago
Levels of Modalities for BDI Logic
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
Jeff Blee, David Billington, Guido Governatori, Ab...