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,661 Discovery Miles 26 610 Ships in 18 - 22 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,294 Discovery Miles 12 940 Ships in 18 - 22 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,436 Discovery Miles 14 360 Ships in 18 - 22 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,653 Discovery Miles 26 530 Ships in 18 - 22 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...
The Poo on the Lawn 2022
Lisa Mullan Paperback R308 Discovery Miles 3 080
Inventing the Cloud Century - How…
Marcus Oppitz, Peter Tomsu Hardcover R2,538 Discovery Miles 25 380
A Black British Canon?
G. Low, M. Wynne-Davies Hardcover R1,401 Discovery Miles 14 010
The Gruffalo and Friends Advent Calendar…
Julia Donaldson Hardcover R660 Discovery Miles 6 600
Futoshiki - 250 Easy to Medium…
Mindful Puzzle Books Paperback R289 Discovery Miles 2 890
American Cinema of the 1940s - Themes…
Wheeler Winston Dixon Hardcover R2,546 Discovery Miles 25 460
'n Deuntjie Vir Druppel
Wendy Maartens Paperback R130 R105 Discovery Miles 1 050
Princess Iwant and the Red Bike
Rita Pooles Paperback R288 Discovery Miles 2 880
Liam Lets His Light Shine
Wendy Maartens Paperback R120 R109 Discovery Miles 1 090
Gemini Owners' Workshop Manual - An…
David Woods, David M. Harland Hardcover  (1)
R734 R640 Discovery Miles 6 400

 

Partners