Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Computational Logic in Multi-A...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / edited by Francesca Toni, Paolo Torroni.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Toni, Francesca
(Editor)
,
Torroni, Paolo
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
Edition:
1st ed. 2006.
Series:
Lecture Notes in Artificial Intelligence ;
3900
Springer eBook Collection.
Subjects:
Artificial intelligence.
Computer communication systems.
Mathematical logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
The Logical Way to Be Artificially Intelligent
The Logical Way to Be Artificially Intelligent
Foundational Aspects of Agency
Ability in a Multi-agent Context: A Model in the Situation Calculus
Reasoning About Epistemic States of Agents by Modal Logic Programming
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
Logical Spaces in Multi-agent Only Knowing Systems
Trustworthiness by Default
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
Agent Programming
Implementing Temporal Logics: Tools for Execution and Proof
BDI Agent Programming in AgentSpeak Using Jason
Using the KGP Model of Agency to Design Applications
Multi-threaded Communicating Agents in Qu-Prolog
Variety of Behaviours Through Profiles in Logic-Based Agents
Contract-Related Agents
Agent Interaction and Normative Systems
Specification and Verification of Agent Interaction Using Abductive Reasoning
Verification of Protocol Conformance and Agent Interoperability
Contextual Terminologies
Constitutive Norms in the Design of Normative Multiagent Systems
Combining Answer Sets of Nonmonotonic Logic Programs
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
Intention Recognition in the Situation Calculus and Probability Theory Frameworks
The First CLIMA Contest
The First Contest on Multi-agent Systems Based on Computational Logic
Implementing Pheromone-Based, Negotiating Forager Agents
Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem
Reactive Food Gathering
Strategies for Multi-agent Coordination in a Grid World Using Petri Nets
Project Report
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project.
Similar Items
Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Published: (2005)
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Published: (2010)
Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Published: (2007)
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Published: (2005)
Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Published: (2008)