- 5 Ergebnisse
Kleinster Preis: € 31,33, größter Preis: € 64,19, Mittelwert: € 46,40
1
Bestellen
bei ZVAB.com
€ 46,06
Versand: € 0,001
Bestellengesponserter Link
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 - Taschenbuch

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… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
2
Bestellen
bei AbeBooks.de
€ 31,33
Versand: € 0,001
Bestellengesponserter Link

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 - Taschenbuch

2010, ISBN: 3642149766

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

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
3
Bestellen
bei buchfreund.de
€ 31,33
Versand: € 0,001
Bestellengesponserter Link
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 - gebrauchtes Buch

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… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
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
Bestellen
bei booklooker.de
€ 59,10
Versand: € 0,001
Bestellengesponserter Link
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 - gebrauchtes Buch

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga:
Computational Logic in Multi-Agent Systems - Taschenbuch

2010, ISBN: 9783642149764

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

Versandkosten:Lieferbar (Termin unbekannt) (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Computational Logic in Multi-Agent Systems

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.

Detailangaben zum Buch - Computational Logic in Multi-Agent Systems


EAN (ISBN-13): 9783642149764
ISBN (ISBN-10): 3642149766
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
255 Seiten
Gewicht: 0,420 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-10-14T01:38:55+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-09-18T18:35:51+02:00 (Vienna)
ISBN/EAN: 9783642149764

ISBN - alternative Schreibweisen:
3-642-14976-6, 978-3-642-14976-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dix, jürgen off, guido von, gove
Titel des Buches: agent, climax, portugal, old lisbon, dix, logic computer science, artificial intelligence systems


Daten vom Verlag:

Autor/in: Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga
Titel: 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
Verlag: Springer; Springer Berlin
257 Seiten
Erscheinungsjahr: 2010-08-05
Berlin; Heidelberg; DE
Sprache: Englisch
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

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
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)


< zum Archiv...