- 5 Risultati
prezzo più basso: € 53,49, prezzo più alto: € 101,13, prezzo medio: € 66,80
1
Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Michael Fisher
Ordina
da ZVAB.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Michael Fisher:

Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - edizione con copertina flessibile

2009, ISBN: 3642027334

[EAN: 9783642027338], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AGENT (EDV) - AGENTENSYSTEM; ARTIFICIALINTELLIGENCE; AUTOMATA; COMPLEXITY; COMPUTER; FORMALSPECIFICATION; INFIN… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Michael Fisher
Ordina
da ZVAB.com
€ 56,45
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Michael Fisher:

Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - edizione con copertina flessibile

2009, ISBN: 3642027334

[EAN: 9783642027338], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AGENT (EDV) - AGENTENSYSTEM; ARTIFICIALINTELLIGENCE; AUTOMATA; COMPLEXITY; COMPUTER; FORMALSPECIFICATION; INFIN… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
3
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Fisher, Michael (Herausgeber); Thielscher, Michael (Herausgeber); Sadri, Fariba (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Fisher, Michael (Herausgeber); Thielscher, Michael (Herausgeber); Sadri, Fariba (Herausgeber):
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - nuovo libro

2009

ISBN: 3642027334

2009 Kartoniert / Broschiert Agent (EDV) - Agentensystem, Informationstheorie, Algorithmen und Datenstrukturen, Theoretische Informatik, ArtificialIntelligence; automata; complexity; co… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
4
Ordina
da AbeBooks.de
€ 67,35
Spedizione: € 11,471
Ordina
Dettagli del offerente
Link sponsorizzato
Fisher, Michael (Editor)/ Sadri, Fariba (Editor)/ Thielscher, Michael (Editor):
Computational Logic in Multi-agent Systems: 9th International Workshop, Clima IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers: Vol 5405 - edizione con copertina flessibile

2009, ISBN: 3642027334

[EAN: 9783642027338], Neubuch, [PU: Springer-Verlag New York Inc], 2009 edition. 173 pages. 9.29x6.06x0.47 inches. In Stock., Books

NEW BOOK. Costi di spedizione: EUR 11.47 Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)]
Chiudere (X)
5
Ordina
da AbeBooks.de
€ 101,13
Spedizione: € 8,181
Ordina
Dettagli del offerente
Link sponsorizzato
Computational Logic in Multi-Agent Systems - edizione con copertina flessibile

2009, ISBN: 3642027334

[EAN: 9783642027338], Neubuch, [PU: Springer], pp. 184, Books

NEW BOOK. Costi di spedizione: EUR 8.18 Books Puddle, New York, NY, U.S.A. [70780988] [Rating: 4 (von 5)]
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Computational Logic in Multi-Agent Systems
Autore:
Titolo:
ISBN:

9783642027338


This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008. The 8 full papers, presented together with two invited papers, were carefull selected from 18 submissions and passed through two rounds of reviewing and revision. Topics addressed in the regular papers include the use of automata-based techniques for verifying agents' conformance with protocols, and an approach based on the C+ action description language to provide formal specifications of social processes such as those used in business processes and social networks. Other topics include casting reasoning as planning and thus providing an analysis of reasoning with resource bounds, a discussion of the formal properties of Computational Tree Logic (CTL) extended with knowledge operators, and the use of argumentation in multi-agent negotiation. The invited contributions discuss complexity results for model-checking temporal and strategic properties of multi-agent systems, and the challenges in design and development of programming languages for multi-agent systems.

Informazioni dettagliate del libro - Computational Logic in Multi-Agent Systems


EAN (ISBN-13): 9783642027338
ISBN (ISBN-10): 3642027334
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2009
Editore: Springer Berlin
172 Pagine
Peso: 0,293 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2009-05-24T02:34:03+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-09T16:24:11+01:00 (Zurich)
ISBN/EAN: 9783642027338

ISBN - Stili di scrittura alternativi:
3-642-02733-4, 978-3-642-02733-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : michael fisher
Titolo del libro: clima, agent band, multi agent system, dresden fuß, logic, artificial intelligence systems, september 2008, invited, taschenbuch

Dati dell'editore

Autore: Michael Fisher; Fariba Sadri; Michael Thielscher
Titolo: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computational Logic in Multi-Agent Systems - 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Editore: Springer; Springer Berlin
173 Pagine
Anno di pubblicazione: 2009-07-10
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 173 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Erfüllbarkeitsproblem der Aussagenlogik; artificial intelligence; automata; complexity; computer; formal specification; infinitary logic; justification; logic; model checking; network; programming language; satisfiability; semantics; temporal logic; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Theory of Computation; Data Structures and Information Theory; Mathematics of Computing; Models of Computation; Algorithmen und Datenstrukturen; Informationstheorie; Mathematik für Informatiker; EA

Invited Papers.- Easy Yet Hard: Model Checking Strategies of Agents.- Programming Multi-agent Systems.- Regular Papers.- Verifying Agents’ Conformance with Multiparty Protocols.- Run-Time Semantics of a Language for Programming Social Processes.- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.- Bounded-Resource Reasoning as (Strong or Classical) Planning.- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.- Contracts Violation: Justification via Argumentation.- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
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)

< Per archiviare...