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...
Estee Lauder Beautiful Belle Eau De…
R2,077 R1,535 Discovery Miles 15 350
Bantex A4 PVC 2-O Ring-Binder (Red)
R67 R45 Discovery Miles 450
Vital BabyŽ HYDRATE™ Easy Sipper™ Cup…
R158 R149 Discovery Miles 1 490
Conwood Juliet Vanity Case (Black)
R606 Discovery Miles 6 060
Moon Bag (Black)
R57 Discovery Miles 570
Bad Boy Men's Smoke Watch & Sunglass Set…
 (3)
R489 Discovery Miles 4 890
Raz Tech Laptop Security Chain Cable…
R299 R169 Discovery Miles 1 690
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Joseph Joseph Index Mini (Graphite)
R642 Discovery Miles 6 420
Elecstor 30W In-Line UPS (Black)
 (1)
R1,099 R699 Discovery Miles 6 990

 

Partners