LEADER 04253nam  22007815  450 
001 996465323403316
005 20200705013823.0
010   $a3-642-31570-4
024 7 $a10.1007/978-3-642-31570-1
035   $a(CKB)3400000000085734
035   $a(SSID)ssj0000745909
035   $a(PQKBManifestationID)11430124
035   $a(PQKBTitleCode)TC0000745909
035   $a(PQKBWorkID)10859996
035   $a(PQKB)10217777
035   $a(DE-He213)978-3-642-31570-1
035   $a(MiAaPQ)EBC3070852
035   $a(PPN)168319748
035   $a(EXLCZ)993400000000085734
100   $a20120711d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDeontic Logic in Computer Science$b[electronic resource] $e11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /$fedited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 215 p. 21 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v7393
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-31569-0 
320   $aIncludes bibliographical references and index.
330   $aThis volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.
410  0$aLecture Notes in Artificial Intelligence ;$v7393
606   $aMathematical logic
606   $aArtificial intelligence
606   $aComputer logic
606   $aApplication software
606   $aComputer programming
606   $aComputer science?Mathematics
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aApplication software.
615  0$aComputer programming.
615  0$aComputer science?Mathematics.
615 14$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aComputer Appl. in Administrative Data Processing.
615 24$aProgramming Techniques.
615 24$aDiscrete Mathematics in Computer Science.
676   $a005.131
702   $aAgotnes$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBroersen$b Jan M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aElgesem$b Dag$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Deontic Logic in Computer Science
906   $aBOOK
912   $a996465323403316
996   $aDeontic Logic in Computer Science$9774359
997   $aUNISA