Conferences in DBLP
Robert A. Kowalski The Logical Way to Be Artificially Intelligent. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:1-22 [Conf ] 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 ] 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 ] 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 ] 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 ] Johan W. Klüwer , Arild Waaler Trustworthiness by Default. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:96-111 [Conf ] 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 ] Michael Fisher Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:129-142 [Conf ] 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 ] 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 ] 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 ] 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 ] John Knottenbelt , Keith Clark Contract-Related Agents. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:226-242 [Conf ] 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 ] 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 ] Davide Grossi , Frank Dignum , John-Jules Ch. Meyer Contextual Terminologies. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:284-302 [Conf ] 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 ] Chiaki Sakama , Katsumi Inoue Combining Answer Sets of Nonmonotonic Logic Programs. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:320-339 [Conf ] 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 ] 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 ] 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 ] Simon Coffey , Dorian Gaertner Implementing Pheromone-Based, Negotiating Forager Agents. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:385-395 [Conf ] 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 ] Robert Logie , Jon G. Hall , Kevin G. Waugh Reactive Food Gathering. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:406-413 [Conf ] 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 ] 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 ]