The SCEAS System
Navigation Menu

Conferences in DBLP

Computational Logic in Multi-Agent Systems (clima)
2004 (conf/clima/2004V)

  1. Bozena Wozna, Alessio Lomuscio
    A Logic for Knowledge, Correctness, and Real Time. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:1-15 [Conf]
  2. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
    Dynamic Logic for Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:16-32 [Conf]
  3. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
    Contextual Taxonomies. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:33-51 [Conf]
  4. José Júlio Alferes, Federico Banti, Antonio Brogi
    From Logic Programs Updates to Action Description Updates. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:52-77 [Conf]
  5. M. Homola
    Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:78-95 [Conf]
  6. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
    Declarative Agent Control. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:96-110 [Conf]
  7. Konstantine Arkoudas, Selmer Bringsjord
    Metareasoning for Multi-agent Epistemic Logics. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:111-125 [Conf]
  8. Ana Casali, Lluis Godo, Carles Sierra
    Graded BDI Models for Agent Architectures. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:126-143 [Conf]
  9. Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre
    Inferring Trust. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:144-160 [Conf]
  10. Chiaki Sakama, Katsumi Inoue
    Coordination Between Logical Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:161-177 [Conf]
  11. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
    A Computational Model for Conversation Policies for Agent Communication. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:178-195 [Conf]
  12. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Verifying Protocol Conformance for Logic-Based Communicating Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:196-212 [Conf]
  13. Ken Satoh
    An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:213-229 [Conf]
  14. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    Planning Partially for Situated Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:230-248 [Conf]
  15. David C. Han, K. Suzanne Barber
    Desire-Space Analysis and Action Selection for Multiple Dynamic Goals. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:249-264 [Conf]
  16. Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta
    Organising Software in Active Environments. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:265-280 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002