Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Computational Logic In Multi - Agent Systems de Collectif Format Broché - Livres

Note : 0 0 avis sur Computational Logic In Multi - Agent Systems de Collectif Format Broché - Livres

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Présentation Computational Logic In Multi - Agent Systems de Collectif Format Broché
- Livres

Livres - Collectif - 01/08/2010 - Broché - Langue : Anglais

Auteur(s) : CollectifEditeur : Springer BerlinLangue : AnglaisParution : 01/08/2010Format : Moyen, de 350g à 1kgExpédition : 420Dimensions : 24.2 x 15.6 x 2.0Résumé :This book constitutes...

Auteur(s) : Collectif

Editeur : Springer Berlin

Langue : Anglais

Parution : 01/08/2010

Format : Moyen, de 350g à 1kg

Expédition : 420

Dimensions : 24.2 x 15.6 x 2.0

Résumé :
This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010.

The 14 papers included in this volume were carefully reviewed and selected from 31 submissions.

The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning.

Sommaire:
Invited Talks.- Is Computational Complexity a Barrier to Manipulation?.- Games, Norms and Strategic Notions in Information Flow Security.- Group Announcements: Logic and Games (Abstract of Invited Talk).- Strong Equivalence in Argumentation.- Regular Papers.- Hypergraphs of Multiparty Secrets.- Combining Logics in Simple Type Theory.- Speculative Abductive Reasoning for Hierarchical Agent Systems.- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes.- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.- Verifying Business Process Compliance by Reasoning about Actions.- From Organisation Specification to Normative Programming in Multi-Agent Organisations.- Finding Uniform Strategies for Multi-agent Systems.- Playing Extensive Form Games in Parallel.- Exploring the Boundary of Half Positionality.- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets.- An Agent Language with Destructive Assignment and Model-Theoretic Semantics.- Model Checking Agent Programs by Using the Program Interpreter.- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Computational Logic in Multi-Agent Systems -

Avis sur Computational Logic In Multi - Agent Systems de Collectif Format Broché - Livres

Présentation Computational Logic In Multi - Agent Systems de Collectif Format Broché - Livres

Présentation Computational Logic In Multi - Agent Systems de Collectif Format Broché
- Livres