Häftad, Engelska, 2018
208 kr
Skickas inom 5-8 vardagar
Leendert Van Der Torre – författare
Visar alla böcker från författaren Leendert Van Der Torre. Handla med fri frakt och snabb leverans.
9 produkter
9 produkter
- Häftad, Engelska, 2018
284 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2021
194 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2022
312 kr
Skickas inom 5-8 vardagar
- Del 8624 - Lecture Notes in Computer Science
Computational Logic in Multi-Agent Systems
15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Häftad, Engelska, 2014552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.The 12 regular papers were carefully reviewed and selected from 20 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 edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice. - E-bokPDF, Engelska, 2014
657 kr
Läs direkt efter köp
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.The 12 regular papers were carefully reviewed and selected from 20 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 edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice. - Del 10621 - Lecture Notes in Computer Science
PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Häftad, Engelska, 2017574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. - E-bokEngelska, 2017
739 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. - E-bokPDF, Engelska, 2008
1 024 kr
Läs direkt efter köp
This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, - ganization theory, and law. The ?EON website, http://www.deonticlogic.org, contains links to previous conferences and their papers. This history reveals a vibrant interdisciplinary research program. Papers for these conferences might address such general themes as the - velopment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, responsibility, etc., or the formal representation of legal knowledge. They might also be concerned with applications, such as the formal speci?cation of n- mative multiagent systems, the speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users.
