Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers - nuovo libro

EAN (ISBN-13): 9783540339960
ISBN (ISBN-10): 3540339965
Copertina flessibile
Anno di pubblicazione: 2006
Editore: Springer Berlin
426 Pagine
Peso: 0,678 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-31T22:50:13+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-25T11:31:34+01:00 (Zurich)
ISBN/EAN: 9783540339960

ISBN - Stili di scrittura alternativi:
3-540-33996-5, 978-3-540-33996-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : toni, torro, paolo paolo
Titolo del libro: 3900, computational logic multi agent systems, clima, paper london, lecture notes artificial intelligence, invited

---

Dati dell'editore

Autore: Francesca Toni; Paolo Torroni
Titolo: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Editore: Springer; Springer Berlin
430 Pagine
Anno di pubblicazione: 2006-05-03
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVIII, 430 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; BDI agents; Variable; abductive reasoning; agent communication; agent cooperation; autonom; cognition; formal methods; logic; mathematical logic; multi-agent system; multi-agent systems; programming; semantics; verification; Artificial Intelligence; Computer Communication Networks; Formal Languages and Automata Theory; Netzwerk-Hardware; Theoretische Informatik; EA

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 andOutcomes of the SOCS Project.