Deontic Logic in Computer Science Deontic Logic in Computer Science

Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

    • US$84.99
    • US$84.99

출판사 설명

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.
The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

장르
컴퓨터 및 인터넷
출시일
2010년
6월 30일
언어
EN
영어
길이
322
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
2.9
MB
Deontic Logic in Computer Science Deontic Logic in Computer Science
2008년
Logic and Its Applications Logic and Its Applications
2010년
Uncertainty, Rationality, and Agency Uncertainty, Rationality, and Agency
2006년
Logic and Its Applications Logic and Its Applications
2009년
Logics in Artificial Intelligence Logics in Artificial Intelligence
2016년
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
2020년
Rules and Reasoning Rules and Reasoning
2022년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
PRICAI 2021: Trends in Artificial Intelligence PRICAI 2021: Trends in Artificial Intelligence
2021년
Rule Technologies. Research, Tools, and Applications Rule Technologies. Research, Tools, and Applications
2016년
Rule-Based Reasoning, Programming, and Applications Rule-Based Reasoning, Programming, and Applications
2011년