Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
tarafından
 
Cariani, Fabrizio. editor.

Başlık
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Yazar
Cariani, Fabrizio. editor.

ISBN
9783319086156

Fiziksel Niteleme
XII, 273 p. 29 illus. online resource.

Seri
Lecture Notes in Computer Science, 8554

İçindekiler
Challenges from natural language for deontic logic -- The relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc. -- The deontic paradoxes -- The modeling of normative concepts other than obligation and permission, e.g., values -- The game-theoretical aspects of deontic reasoning -- The emergence of norms -- Norms from a conversational and pragmatic point of view.- Norms and argumentation.

Özet
This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.

Konu Başlığı
Computer science.
 
Computer programming.
 
Computer logic.
 
Mathematical logic.
 
Computer science -- Mathematics.
 
Artificial intelligence.
 
Application software.
 
Mathematical Logic and Formal Languages.
 
Artificial Intelligence (incl. Robotics).
 
Logics and Meanings of Programs.
 
Computer Appl. in Administrative Data Processing.
 
Programming Techniques.
 
Discrete Mathematics in Computer Science.

Yazar Ek Girişi
Cariani, Fabrizio.
 
Grossi, Davide.
 
Meheus, Joke.
 
Parent, Xavier.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-319-08615-6


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book21205-1001QA8.9 -QA10.3Springer E-Book Collection