Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Resource Information
The work Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Resource Information
The work Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
- Title remainder
- 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
- Statement of responsibility
- Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
- Title variation
- DEON 2012
- Subject
-
- Computational complexity.
- Computer Appl. in Administrative Data Processing.
- Computer logic
- Computer logic
- Computer logic -- Congresses
- Computer science.
- Conference papers and proceedings
- Conference papers and proceedings
- Deontic logic
- Deontic logic
- Deontic logic -- Congresses
- Discrete Mathematics in Computer Science.
- Information systems.
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Artificial intelligence.
- Language
- eng
- Summary
- This 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
- Cataloging source
- GW5XE
- Dewey number
- 005.101/5113
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.L63
- LC item number
- I58 2012
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
-
- Lecture notes in computer science,
- Lecture notes in artificial intelligence
- LNCS sublibrary. SL 7, Artificial intelligence
- Series volume
- 7393.
Context
Context of Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. ProceedingsWork of
No resources found
No enriched resources found
- Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
- Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/s-uxVAdaDGw/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/s-uxVAdaDGw/">Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/s-uxVAdaDGw/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/s-uxVAdaDGw/">Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>