|
|
|
|
| LEADER |
02567nam a22005535i 4500 |
| 001 |
10938 |
| 003 |
DE-He213 |
| 005 |
20130725200806.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100705s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642141836
|9 978-3-642-14183-6
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-14183-6
|2 doi
|
| 050 |
# |
4 |
|a Q334-342
|
| 050 |
# |
4 |
|a TJ210.2-211.495
|
| 072 |
# |
7 |
|a UYQ
|2 bicssc
|
| 072 |
# |
7 |
|a TJFM1
|2 bicssc
|
| 072 |
# |
7 |
|a COM004000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 006.3
|2 23
|
| 100 |
1 |
# |
|a Governatori, Guido.
|e editor.
|
| 245 |
1 |
0 |
|a Deontic Logic in Computer Science
|b 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
|c edited by Guido Governatori, Giovanni Sartor.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a VIII, 323p. 33 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,
|v 6181
|x 0302-9743 ;
|
| 520 |
# |
# |
|a 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.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
# |
0 |
|a Computational complexity.
|
| 650 |
# |
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Mathematics of Computing.
|
| 700 |
1 |
# |
|a Sartor, Giovanni.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642141829
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6181
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14183-6
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|