Computational logic in multi-agent systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / / Jurgen Dix, Michael Fisher, Peter Novak (eds.)

• Pubblicazione: Berlin, : Springer, 2010
• Edizione: 1st ed. 2010.
• Descrizione fisica: 1 online resource (IX, 197 p. 40 illus.)
• Disciplina: 006.3
• Soggetto topico: Computer logic; Multiagent systems
• Altri autori: DixJurgen FisherMichael NovakPeter
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing.
• Titolo autorizzato: Computational logic in multi-agent systems
• ISBN: 1-280-39027-1; 9786613568199; 3-642-16867-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484841103321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science.; Lecture notes in computer science. . -Lecture notes in artificial intelligence.; Lectures notes in computer science.