Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /

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....

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Cariani, Fabrizio (Επιμελητής έκδοσης), Grossi, Davide (Επιμελητής έκδοσης), Meheus, Joke (Επιμελητής έκδοσης), Parent, Xavier (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
Σειρά:Lecture Notes in Computer Science, 8554
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03495nam a22006135i 4500
001 978-3-319-08615-6
003 DE-He213
005 20151123155140.0
007 cr nn 008mamaa
008 140630s2014 gw | s |||| 0|eng d
020 |a 9783319086156  |9 978-3-319-08615-6 
024 7 |a 10.1007/978-3-319-08615-6  |2 doi 
040 |d GrThAP 
050 4 |a QA8.9-QA10.3 
072 7 |a UYA  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a COM051010  |2 bisacsh 
082 0 4 |a 005.131  |2 23 
245 1 0 |a Deontic Logic and Normative Systems  |h [electronic resource] :  |b 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /  |c edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2014. 
300 |a XII, 273 p. 29 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8554 
505 0 |a 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. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Computer programming. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Artificial intelligence. 
650 0 |a Application software. 
650 1 4 |a Computer Science. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Computer Appl. in Administrative Data Processing. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Discrete Mathematics in Computer Science. 
700 1 |a Cariani, Fabrizio.  |e editor. 
700 1 |a Grossi, Davide.  |e editor. 
700 1 |a Meheus, Joke.  |e editor. 
700 1 |a Parent, Xavier.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319086149 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8554 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-08615-6  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)