Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers - neues Buch
2006, ISBN: 3540339965
2006 Kartoniert / Broschiert Agent (EDV) - Agentensystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Theoretische Informatik, Künstliche Intelligenz, BDIAgen… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence) - Taschenbuch
2005, ISBN: 9783540339960
Springer, 2006-05-03. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2006-05-03
Biblio.co.uk |
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers (Lecture Notes in Computer Science) - gebrauchtes Buch
2005, ISBN: 9783540339960
Springer. Used - Very Good. Former Library book. Great condition for a used book! Minimal wear., Springer
Biblio.com |
2006, ISBN: 9783540339960
6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, 2006, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540339960
There is currently no description available Books > Computer Science Soft cover, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers - neues Buch
2006, ISBN: 3540339965
2006 Kartoniert / Broschiert Agent (EDV) - Agentensystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Theoretische Informatik, Künstliche Intelligenz, BDIAgen… Mehr…
Toni, Francesca [Editor]; Torroni, Paolo [Editor];:
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence) - Taschenbuch2005, ISBN: 9783540339960
Springer, 2006-05-03. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2006-05-03
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers (Lecture Notes in Computer Science) - gebrauchtes Buch
2005
ISBN: 9783540339960
Springer. Used - Very Good. Former Library book. Great condition for a used book! Minimal wear., Springer
2006, ISBN: 9783540339960
6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, 2006, Softcover, Buch, [PU: Springer Berlin]
ISBN: 9783540339960
There is currently no description available Books > Computer Science Soft cover, Springer Shop
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computational Logic in Multi-Agent Systems
EAN (ISBN-13): 9783540339960
ISBN (ISBN-10): 3540339965
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin
426 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-31T22:50:13+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-05-28T17:40:45+02:00 (Vienna)
ISBN/EAN: 9783540339960
ISBN - alternative Schreibweisen:
3-540-33996-5, 978-3-540-33996-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: toni, torro, paolo paolo
Titel des Buches: 3900, computational logic multi agent systems, clima, paper london, lecture notes artificial intelligence, invited
Daten vom Verlag:
Autor/in: Francesca Toni; Paolo Torroni
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Verlag: Springer; Springer Berlin
430 Seiten
Erscheinungsjahr: 2006-05-03
Berlin; Heidelberg; DE
Gewicht: 1,390 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 430 p.
BC; Artificial Intelligence; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; BDI agents; Variable; abductive reasoning; agent communication; agent cooperation; autonom; cognition; formal methods; logic; mathematical logic; multi-agent system; multi-agent systems; programming; semantics; verification; Computer Communication Networks; Mathematical Logic and Formal Languages; Artificial Intelligence; Computer Communication Networks; Formal Languages and Automata Theory; Netzwerk-Hardware; Theoretische Informatik; EA
The Logical Way to Be Artificially Intelligent.- The Logical Way to Be Artificially Intelligent.- Foundational Aspects of Agency.- Ability in a Multi-agent Context: A Model in the Situation Calculus.- Reasoning About Epistemic States of Agents by Modal Logic Programming.- Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures.- Logical Spaces in Multi-agent Only Knowing Systems.- Trustworthiness by Default.- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.- Agent Programming.- Implementing Temporal Logics: Tools for Execution and Proof.- BDI Agent Programming in AgentSpeak Using Jason.- Using the KGP Model of Agency to Design Applications.- Multi-threaded Communicating Agents in Qu-Prolog.- Variety of Behaviours Through Profiles in Logic-Based Agents.- Contract-Related Agents.- Agent Interaction and Normative Systems.- Specification and Verification of Agent Interaction Using Abductive Reasoning.- Verification of Protocol Conformance and Agent Interoperability.- Contextual Terminologies.- Constitutive Norms in the Design of Normative Multiagent Systems.- Combining Answer Sets of Nonmonotonic Logic Programs.- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.- Intention Recognition in the Situation Calculus and Probability Theory Frameworks.- The First CLIMA Contest.- The First Contest on Multi-agent Systems Based on Computational Logic.- Implementing Pheromone-Based, Negotiating Forager Agents.- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem.- Reactive Food Gathering.- Strategies for Multi-agent Coordination in a Grid World Using Petri Nets.- Project Report.- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project.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...