- 5 Résultats
prix le plus bas: € 31,33, prix le plus élevé: € 64,19, prix moyen: € 46,40
1
Commander
sur ZVAB.com
€ 46,06
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dix, Jürgen, Joao Leite und Guido Governatori:

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Livres de poche

2010, ISBN: 3642149766

[EAN: 9783642149764], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], AGENT INTERACTION,AGENTS,SATISFIABILITY,PROGRAMMING,NORMATIVE PROGRAMMING,MULTI-AGENT SYSTEM,TEMPORAL LOG… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
2
Commander
sur AbeBooks.de
€ 31,33
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Dix, Jürgen, Joao Leite und Guido Governatori:

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Livres de poche

2010, ISBN: 3642149766

[EAN: 9783642149764], Gebraucht, guter Zustand, [PU: Springer Berlin], AGENT INTERACTION,AGENTS,SATISFIABILITY,PROGRAMMING,NORMATIVE PROGRAMMING,MULTI-AGENT SYSTEM,TEMPORAL LOGIC,COMPUTAT… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
3
Commander
sur buchfreund.de
€ 31,33
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dix, Jürgen, Joao Leite und Guido Governatori:
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings 2010 - livre d'occasion

2010

ISBN: 9783642149764

2010 Neubindung, Buchecken und -kanten leicht angestoßen 8541445/12 Versandkostenfreie Lieferung agent interaction,agents,satisfiability,programming,normative programming,Multi-agent syst… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fermer(X)
4
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Dix, Jürgen, Joao Leite und Guido Governatori
Commander
sur booklooker.de
€ 59,10
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Dix, Jürgen, Joao Leite und Guido Governatori:
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - livre d'occasion

2010, ISBN: 9783642149764

[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8541445/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fermer(X)
5
Commander
sur lehmanns.de
€ 64,19
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga:
Computational Logic in Multi-Agent Systems - Livres de poche

2010, ISBN: 9783642149764

11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Frais d'envoiLieferbar (Termin unbekannt) (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Computational Logic in Multi-Agent Systems
Auteur:
Titre:
ISBN:

9783642149764


This book constitutes the 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 presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. 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. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.

Informations détaillées sur le livre - Computational Logic in Multi-Agent Systems


EAN (ISBN-13): 9783642149764
ISBN (ISBN-10): 3642149766
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Berlin
255 Pages
Poids: 0,420 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2009-10-14T01:38:55+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-09-18T18:35:51+02:00 (Zurich)
ISBN/EAN: 9783642149764

ISBN - Autres types d'écriture:
3-642-14976-6, 978-3-642-14976-4
Autres types d'écriture et termes associés:
Auteur du livre: dix, jürgen off, guido von, gove
Titre du livre: agent, climax, portugal, old lisbon, dix, logic computer science, artificial intelligence systems

Données de l'éditeur

Auteur: Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computational Logic in Multi-Agent Systems - 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
Editeur: Springer; Springer Berlin
257 Pages
Date de parution: 2010-08-05
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 257 p. 42 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; Multi-agent system; agent interaction; agents; computational complexity; normative programming; programming; satisfiability; temporal logic; Artificial Intelligence; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Netzwerk-Hardware; Software Engineering; Theoretische Informatik; EA

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.
fast-track conference proceedings

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783030850319 Advances in Computational Intelligence : 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16-18, 2021, Proceedings, Part I (Rojas, Ignacio)

< pour archiver...