|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484841103321 |
|
|
Titolo |
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.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
1-280-39027-1 |
9786613568199 |
3-642-16867-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 197 p. 40 illus.) |
|
|
|
|
|
|
Collana |
|
LNCS sublibrary. SL 7, Artificial intelligence |
Lectures notes in artificial intelligence, , 0302-9743 ; ; 6214 |
Lectures notes in computer science |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
DixJurgen |
FisherMichael |
NovakPeter |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Multiagent systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|