Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected by Jürgen DixComputational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected by Jürgen Dix

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg…

byJürgen DixEditorMichael Fisher, Peter Nov

Paperback | October 29, 2010

Pricing and Purchase Info

$124.50

Earn 623 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on "Expressing Prop-
Title:Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg…Format:PaperbackDimensions:197 pagesPublished:October 29, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642168663

ISBN - 13:9783642168666

Look for similar items by category:

Reviews

Table of Contents

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.