Articoli correlati a Computational Logic in Multi-Agent Systems: 8th Internationa...
Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers: 5056 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited Paper.- Plan-Coordination Mechanisms and the Price of Autonomy.- Regular Papers.- Actions with Failures in Interval Temporal Logic.- A Logic for Reasoning about Rational Agents.- Formal Modelling of Emotions in BDI Agents.- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations.- Proof Theory for Distributed Knowledge.- EVOLP: Tranformation-Based Semantics.- Language Constructs for Multi-agent Programming.- -Tropos.- A Heuristic Approach to P2P Negotiation.- Towards Context Sensitive Defeasible Rules.- Fuzzy Argumentation for Trust.- Assumption-Based Argumentation for Selection and Composition of Services.- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.- System Description Paper.- EVOLP: An Implementation.
Product Description
Computational Logic In Multi-Agent Systems: 8Th International Workshop, Clima Viii, Porto, Portugal, September 10-11, 2007. Revised Selected And Invited Papers BY Ken Satoh, Fariba Sadri, Springer, Paperback, 2008
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540888322
- ISBN 13 9783540888321
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine312
- RedattoreSadri Fariba
Compra nuovo
Visualizza questo articolo
EUR 29,32
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Computational Logic in Multi-Agent Systems: 8th Internationa...
Foto dell'editore
Computational Logic In Multi-Agent Systems: 8Th International Workshop, Clima Viii, Porto, Portugal, September 10-11, 2007. Revised Selected And Invited Papers
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-271430
Quantità: 4 disponibili
Foto dell'editore
Computational Logic In Multi-Agent Systems: 8Th International Workshop, Clima Viii, Porto, Portugal, September 10-11, 2007. Revised Selected And Invited Papers
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-1391
Quantità: 1 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 312. Codice articolo 26467446
Quantità: 4 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 312 Illus. Codice articolo 7380521
Quantità: 4 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 312. Codice articolo 18467452
Quantità: 4 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... (Lecture Notes in Computer Science, 5056)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020177847
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems
Editore:
Springer Berlin Heidelberg Okt 2008, 2008
ISBN 10: 3540888322
ISBN 13: 9783540888321
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci cation and veri cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems. 312 pp. Englisch. Codice articolo 9783540888321
Quantità: 2 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... (Lecture Notes in Computer Science, 5056)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540888321_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Editore:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540888322
ISBN 13: 9783540888321
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci cation and veri cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems. Codice articolo 9783540888321
Quantità: 1 disponibili
Foto dell'editore
Computational Logic in Multi-agent Systems: 8th International Workshop, Clima VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Editore:
Springer-Verlag New York Inc, 2008
ISBN 10: 3540888322
ISBN 13: 9783540888321
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2008 edition. 298 pages. 9.25x6.25x0.75 inches. In Stock. Codice articolo x-3540888322
Quantità: 2 disponibili