MPG.eBooks - Table of Contents: Computational Logic in Multi-Agent Systems

Read Now

Bibliographic Details
Other Authors:	Dix, Jürgen (Editor), Fisher, Michael (Editor), Novák, Peter (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:	1st ed. 2010
Series:	Lecture Notes in Artificial Intelligence
Subjects:	Computer Communication Networks Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Artificial Intelligence Formal Languages And Automata Theory Application Software Computer Networks Machine Theory Computer And Information Systems Applications
Online Access:	https://doi.org/10.1007/978-3-642-16867-3?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

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