Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings - edizione con copertina flessibile
2014, ISBN: 3319097636
[EAN: 9783319097633], Neubuch, [SC: 0.0], [PU: Springer International Publishing], ADMISSIBLESEMANTICS; ALGORITHMS; ARGUMENTATIONNETWORKS; DEONTICLOGIC; DYNAMICLOGICPROGRAMMING; KNOWLEDGE… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
2014, ISBN: 3319097636
[EAN: 9783319097633], Neubuch, [PU: Springer International Publishing Aug 2014], ADMISSIBLESEMANTICS; ALGORITHMS; ARGUMENTATIONNETWORKS; DEONTICLOGIC; KNOWLEDGEREPRESENTATION; MODELCHECKI… Altro …
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: EUR 6.94 Details... |
2014, ISBN: 9783319097633
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the proceedings of the 15th International Workshop on Computational Logic in … Altro …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2014, ISBN: 9783319097633
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the proceedings of the 15th International Workshop on Computational Logic in … Altro …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2004, ISBN: 9783319097633
[ED: Taschenbuch], [PU: Springer International Publishing], Neuware - This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent System… Altro …
booklooker.de |
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings - edizione con copertina flessibile
2014, ISBN: 3319097636
[EAN: 9783319097633], Neubuch, [SC: 0.0], [PU: Springer International Publishing], ADMISSIBLESEMANTICS; ALGORITHMS; ARGUMENTATIONNETWORKS; DEONTICLOGIC; DYNAMICLOGICPROGRAMMING; KNOWLEDGE… Altro …
2014, ISBN: 3319097636
[EAN: 9783319097633], Neubuch, [PU: Springer International Publishing Aug 2014], ADMISSIBLESEMANTICS; ALGORITHMS; ARGUMENTATIONNETWORKS; DEONTICLOGIC; KNOWLEDGEREPRESENTATION; MODELCHECKI… Altro …
2014
ISBN: 9783319097633
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the proceedings of the 15th International Workshop on Computational Logic in … Altro …
2014, ISBN: 9783319097633
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the proceedings of the 15th International Workshop on Computational Logic in … Altro …
2004, ISBN: 9783319097633
[ED: Taschenbuch], [PU: Springer International Publishing], Neuware - This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent System… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
The 12 regular papers were carefully reviewed and selected from 20 submissions. 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 edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
Informazioni dettagliate del libro - Computational Logic in Multi-Agent Systems
EAN (ISBN-13): 9783319097633
ISBN (ISBN-10): 3319097636
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2014
Editore: Springer International Publishing
Libro nella banca dati dal 2014-07-29T19:57:57+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-06-19T14:24:16+02:00 (Zurich)
ISBN/EAN: 9783319097633
ISBN - Stili di scrittura alternativi:
3-319-09763-6, 978-3-319-09763-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : bulling, villa, nils, torre, vasco, vasconcelos, leo van, van der, van leen, bulli, lee bul, games workshop
Titolo del libro: clima, work, logic pro, czech, computation logic
Dati dell'editore
Autore: Nils Bulling; Leendert van der Torre; Serena Villata; Wojtek Jamroga; Wamberto Vasconcelos
Titolo: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Editore: Springer; Springer International Publishing
199 Pagine
Anno di pubblicazione: 2014-08-04
Cham; CH
Stampato / Fatto in
Lingua: Inglese
51,36 € (DE)
52,80 € (AT)
57,00 CHF (CH)
POD
XVI, 199 p. 22 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; admissible semantics; algorithms; argumentation networks; deontic logic; dynamic logic programming; knowledge representation; logic programming; modal logic; model checking; multi-agent systems; normative systems; specification; verification; Artificial Intelligence; Formal Languages and Automata Theory; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Computer and Information Systems Applications; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; Angewandte Informatik; EA
On the Complexity of Two-Agent Justification Logic.- Fair Allocation of Group Tasks According to Social Norms.- A Conceptual Model for Situated Artificial Institutions.- Evolving Bridge Rules in Evolving Multi-Context Systems.- Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic.- Automated Planning of Simple Persuasion Dialogues.- Empirical Evaluation of Strategies for Multiparty Argumentative Debates.- How to Build Input/Output Logic.- The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models.- A Behavioral Hierarchy of Strategy Logic.- Synthesis and Verification of Uniform Strategies for Multi-agent Systems.- Partial Information and Uniform Strategies.
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783319097640 Computational Logic in Multi-Agent Systems (Nils Bulling; Wojtek Jamroga; Leendert van der Torre; Wamberto Vasconcelos; Serena Villata)
- 9783319097640 Computational Logic in Multi-Agent Systems (Nils Bulling; Wojtek Jamroga; Leendert van der Torre; Wamberto Vasconcelos; Serena Villata)
- 9783540302001 Computational Logic in Multi-Agent Systems als eBook Download von (João Leite)
- 9783642223594 Computational Logic in Multi-Agent Systems (Joao Leite; Paolo Torroni; Thomas Agotnes; Guido Boella; Leon van der Torre)
- 9783540240105 Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and ... Notes in Computer Science (3259), Band 3259) (Leite, Jo¿¿o, Dix, J¿¿rgen)
< Per archiviare...