The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Robert A. Kowalski
    The Logical Way to Be Artificially Intelligent. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:1-22 [Conf]
  2. Laurence Cholvy, Christophe Garion, Claire Saurel
    Ability in a Multi-agent Context: A Model in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:23-36 [Conf]
  3. Linh Anh Nguyen
    Reasoning About Epistemic States of Agents by Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:37-56 [Conf]
  4. Thomas Ågotnes, Michal Walicki
    Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:57-76 [Conf]
  5. Bjørnar Solhaug, Arild Waaler
    Logical Spaces in Multi-agent Only Knowing Systems. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:77-95 [Conf]
  6. Johan W. Klüwer, Arild Waaler
    Trustworthiness by Default. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:96-111 [Conf]
  7. Regimantas Pliuskevicius, Aida Pliuskeviciene
    Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:112-128 [Conf]
  8. Michael Fisher
    Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:129-142 [Conf]
  9. Rafael H. Bordini, Jomi Fred Hübner
    BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:143-164 [Conf]
  10. Fariba Sadri
    Using the KGP Model of Agency to Design Applications (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:165-185 [Conf]
  11. Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi
    Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:186-205 [Conf]
  12. Fariba Sadri, Francesca Toni
    Variety of Behaviours Through Profiles in Logic-Based Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:206-225 [Conf]
  13. John Knottenbelt, Keith Clark
    Contract-Related Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:226-242 [Conf]
  14. Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
    Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:243-264 [Conf]
  15. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Verification of Protocol Conformance and Agent Interoperability. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:265-283 [Conf]
  16. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
    Contextual Terminologies. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:284-302 [Conf]
  17. Guido Boella, Leendert W. N. van der Torre
    Constitutive Norms in the Design of Normative Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:303-319 [Conf]
  18. Chiaki Sakama, Katsumi Inoue
    Combining Answer Sets of Nonmonotonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:320-339 [Conf]
  19. Martine Ceberio, Hiroshi Hosobe, Ken Satoh
    Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:340-357 [Conf]
  20. Robert Demolombe, Ana María Otermin Fernandez
    Intention Recognition in the Situation Calculus and Probability Theory Frameworks. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:358-372 [Conf]
  21. Mehdi Dastani, Jürgen Dix, Peter Novák
    The First Contest on Multi-agent Systems Based on Computational Logic. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:373-384 [Conf]
  22. Simon Coffey, Dorian Gaertner
    Implementing Pheromone-Based, Negotiating Forager Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:385-395 [Conf]
  23. Carlos Cares, Xavier Franch, Enric Mayol
    Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:396-405 [Conf]
  24. Robert Logie, Jon G. Hall, Kevin G. Waugh
    Reactive Food Gathering. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:406-413 [Conf]
  25. Eder Gonçalves, Guilherme Bittencourt
    Strategies for Multi-agent Coordination in a Grid World Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:414-419 [Conf]
  26. Francesca Toni
    Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:420-426 [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