Computational Logic in Multi-Agent Systems
10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
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.
Altre Informazioni
ISBN:
9783642168666
Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 0 x 0 mm Ø 323 gr
Formato: Brossura
Illustration Notes:IX, 197 p. 40 illus.
Pagine Arabe: 197
Pagine Romane: ix
Dicono di noi
Per noi la tua privacy è importante
Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.