Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCLIMA VI 2005: London, UK
- Francesca Toni, Paolo Torroni:
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3900, Springer 2006, ISBN 3-540-33996-5 - Robert A. Kowalski:
The Logical Way to Be Artificially Intelligent. 1-22
Foundational Aspects of Agency
- Laurence Cholvy, Christophe Garion
, Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus. 23-36 - Linh Anh Nguyen:
Reasoning About Epistemic States of Agents by Modal Logic Programming. 37-56 - Thomas Ågotnes, Michal Walicki:
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. 57-76 - Bjørnar Solhaug, Arild Waaler:
Logical Spaces in Multi-agent Only Knowing Systems. 77-95 - Johan W. Klüwer, Arild Waaler:
Trustworthiness by Default. 96-111 - Regimantas Pliuskevicius, Aida Pliuskeviciene:
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. 112-128
Agent Programming
- Michael Fisher:
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). 129-142 - Rafael H. Bordini, Jomi Fred Hübner:
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). 143-164 - Fariba Sadri:
Using the KGP Model of Agency to Design Applications (Tutorial Paper). 165-185 - Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi:
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). 186-205 - Fariba Sadri, Francesca Toni:
Variety of Behaviours Through Profiles in Logic-Based Agents. 206-225 - John Knottenbelt, Keith Clark:
Contract-Related Agents. 226-242
Agent Interaction and Normative Systems
- Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). 243-264 - Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability. 265-283 - Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Terminologies. 284-302 - Guido Boella, Leendert W. N. van der Torre:
Constitutive Norms in the Design of Normative Multiagent Systems. 303-319 - Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. 320-339 - Martine Ceberio, Hiroshi Hosobe, Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. 340-357 - Robert Demolombe, Ana María Otermin Fernandez:
Intention Recognition in the Situation Calculus and Probability Theory Frameworks. 358-372
The First CLIMA Contest
- Mehdi Dastani, Jürgen Dix, Peter Novák:
The First Contest on Multi-agent Systems Based on Computational Logic. 373-384 - Simon Coffey, Dorian Gaertner:
Implementing Pheromone-Based, Negotiating Forager Agents. 385-395 - Carlos Cares, Xavier Franch, Enric Mayol:
Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. 396-405 - Robert Logie, Jon G. Hall, Kevin G. Waugh:
Reactive Food Gathering. 406-413 - Eder Mateus Nunes Gonçalves, Guilherme Bittencourt:
Strategies for Multi-agent Coordination in a Grid World Using Petri Nets. 414-419
Project Report
- Francesca Toni:
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. 420-426
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
