0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation (Hardcover, 1st ed. 2019):... Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation (Hardcover, 1st ed. 2019)
Beishui Liao, Thomas Agotnes, Yin Wang
R2,797 Discovery Miles 27 970 Ships in 10 - 15 working days

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.

Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings... Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings (Paperback, 2012 ed.)
Thomas Agotnes, Jan M. Broersen, Dag Elgesem
R1,349 Discovery Miles 13 490 Ships in 10 - 15 working days

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.

Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011,... Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Paperback, Edition.)
Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

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.

Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation (Paperback, 1st ed. 2019):... Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation (Paperback, 1st ed. 2019)
Beishui Liao, Thomas Agotnes, Yin Wang
R2,789 Discovery Miles 27 890 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sony PlayStation 5 DualSense Wireless…
 (6)
R1,699 R1,566 Discovery Miles 15 660
Trade Professional Drill Kit Cordless…
 (9)
R2,223 Discovery Miles 22 230
Roald Dahl: 16-Book Collection
Roald Dahl Paperback R1,200 R936 Discovery Miles 9 360
Amiibo Super Smash Bros. Collection…
R399 Discovery Miles 3 990
Alcolin Cold Glue (500ml)
R101 Discovery Miles 1 010
Shatter Me - 9-Book Collection
Tahereh Mafi Paperback R999 R660 Discovery Miles 6 600
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Estee Lauder Pleasures Eau De Parfum…
 (22)
R1,991 R1,249 Discovery Miles 12 490
The Personal History Of David…
Dev Patel, Peter Capaldi, … DVD  (1)
R63 Discovery Miles 630
Sudocrem Skin & Baby Care Barrier Cream…
R70 Discovery Miles 700

 

Partners