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…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
AbeBooks.de Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
buchfreund.de |
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…
booklooker.de |
2010, ISBN: 9783642149764
11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Lieferbar (Termin unbekannt) (EUR 0.00) Details... |
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…
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 - Taschenbuch2010, ISBN: 3642149766
[EAN: 9783642149764], Gebraucht, guter Zustand, [PU: Springer Berlin], AGENT INTERACTION,AGENTS,SATISFIABILITY,PROGRAMMING,NORMATIVE PROGRAMMING,MULTI-AGENT SYSTEM,TEMPORAL LOGIC,COMPUTAT… Mehr…
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…
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…
2010, ISBN: 9783642149764
11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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)
- 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)
- 9783030850296 Advances in Computational Intelligence (Ignacio Rojas)
- 9783030205171 Advances in Computational Intelligence: 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, (Ignacio Rojas; Gonzalo Joya; Andreu Catala)
- 9783030205201 Advances in Computational Intelligence: 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, (Ignacio Rojas; Gonzalo Joya; Andreu Catala)
- 9783319097633 Computational Logic in Multi-Agent Systems (Herausgegeben:Vasconcelos, Wamberto; Villata, Serena; Jamroga, Wojtek; Torre, Leon van der; Bulling, Nils)
< zum Archiv...