Agotnes thomas (60 résultats)

Etat : New.

XII, 207 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Logic in Asia: Studia Logica Library. Sprache: Englisch. …

Paperback or Softback. Etat : New. Deontic Logic in Computer Science: 11th International Conference, Deon 2012, Bergen, Norway, July 16-18, 2012, Proceedings. Book.

Etat : New.

Etat : As New. Unread book in perfect condition.

Paperback or Softback. Etat : New. Computational Logic in Multi-Agent Systems. Book.

Paperback. Etat : New. 2011th. This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 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 volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.…

Paperback. Etat : New.

Etat : New. In English.

Etat : New.

Paperback. Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. In English.

Paperback. Etat : Brand New. 2012 edition. 230 pages. 9.25x6.10x0.52 inches. In Stock.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.…

Paperback. Etat : Brand New. 1st edition. 398 pages. 9.21x6.14x0.94 inches. In Stock.

Paperback. Etat : Brand New. 394 pages. 9.25x6.10x9.21 inches. In Stock.

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle¿s ancient logic to very recent formal argumentation in AI. …

Etat : New. In English.

Taschenbuch. Etat : Neu. Logic and Argumentation | 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings | Thomas Ågotnes (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9789819679553 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Etat : New. In English.

Etat : New.

Paperback. Etat : New. 2011th. This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 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 volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.…

Etat : New.

Etat : New. pp. XII, 207 36 illus., 14 illus. in color. 1st ed. 2019 edition NO-PA16APR2015-KAP.

Etat : New. 1st ed. 2019 edition NO-PA16APR2015-KAP.

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 382 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle's ancient logic to very recent formal argumentation in AI.…

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle's ancient logic to very recent formal argumentation in AI.…

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle¿s ancient logic to very recent formal argumentation in AI. …