- 5 resultados
menor preço: € 31,33, preço mais alto: € 64,19, preço médio: € 46,40
1
Encomendar
no/na ZVAB.com
€ 46,06
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
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 - Livro de bolso

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

NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fechar(X)
2
Encomendar
no/na AbeBooks.de
€ 31,33
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

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 - Livro de bolso

2010, ISBN: 3642149766

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

NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fechar(X)
3
Encomendar
no/na buchfreund.de
€ 31,33
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
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 - livro usado

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fechar(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
Encomendar
no/na booklooker.de
€ 59,10
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
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 - livro usado

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

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(X)
5
Encomendar
no/na lehmanns.de
€ 64,19
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga:
Computational Logic in Multi-Agent Systems - Livro de bolso

2010, ISBN: 9783642149764

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

Custos de envio:Lieferbar (Termin unbekannt) (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Computational Logic in Multi-Agent Systems
Autor:
Título:
Número 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.

Dados detalhados do livro - Computational Logic in Multi-Agent Systems


EAN (ISBN-13): 9783642149764
ISBN (ISBN-10): 3642149766
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Berlin
255 Páginas
Peso: 0,420 kg
Língua: eng/Englisch

Livro na base de dados desde 2009-10-14T00:38:55+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-09-18T17:35:51+01:00 (Lisbon)
Número ISBN/EAN: 9783642149764

Número ISBN - Ortografia alternativa:
3-642-14976-6, 978-3-642-14976-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: dix, jürgen off, guido von, gove
Título do livro: agent, climax, portugal, old lisbon, dix, logic computer science, artificial intelligence systems

Dados da editora

Autor: Jürgen Dix; Joao Leite; Guido Governatori; Wojtek Jamroga
Título: 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
Editora: Springer; Springer Berlin
257 Páginas
Ano de publicação: 2010-08-05
Berlin; Heidelberg; DE
Língua: Inglês
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

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
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)

< Para arquivar...