Return to home page
Searching: Muskingum library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.

LEADER 00000cam  2200769Ii 4500 
001    801063554 
003    OCoLC 
005    20181101050120.8 
006    m     o  d         
007    cr cnu---unuuu 
008    120720s2012    gw a    ob    101 0 eng d 
010    2012941089 
019    847504055|a964894110|a985059981|a1005813011|a1026460687 
020    9783642315701|q(electronic bk.) 
020    3642315704|q(electronic bk.) 
020    3642315690 
020    9783642315695 
020    |z9783642315695 
035    (OCoLC)801063554|z(OCoLC)847504055|z(OCoLC)964894110
040    GW5XE|beng|epn|erda|cGW5XE|dC$Q|dCOO|dZMC|dOCLCQ|dE7B
049    MAIN 
050  4 QA76.9.L63|bI58 2012 
072  7 QA|2lcco 
082 04 005.101/5113|223 
111 2  International Conference on Deontic Logic in Computer 
       Science|n(11th :|d2012 :|cBergen, Norway)|0http:// 
245 10 Deontic logic in computer science :|b11th International 
       Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. 
       Proceedings /|cThomas Agotnes, Jan Broersen, Dag Elgesem 
246 30 DEON 2012 
264  1 Berlin ;|aNew York :|bSpringer,|c2012. 
300    1 online resource (xii, 214 pages) :|billustrations. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc|0
347    text file|2rdaft|0
490 1  Lecture notes in computer science,|x1611-3349 ;|v7393.
       |aLecture notes in artificial intelligence 
490 1  LNCS sublibrary. SL 7, Artificial intelligence 
504    Includes bibliographical references and author index. 
505 00 |tCausality in the Context of Multiple Agents /|rRobert 
       Demolombe --|tVisualizing Normative Systems: An Abstract 
       Approach /|rSilvano Colombo Tosatto, Guido Boella, 
       Leendert van der Torre and Serena Villata --|tAgreements 
       as Norms /|rPaolo Turrini --|tPossible World Semantics for
       Defeasible Deontic Logic /|rGuido Governatori, Antonino 
       Rotolo and Erica Calardo --|tAn Embedding of Input-Output 
       Logic in Deontic Logic Programs /|rRicardo Goncalves and 
       Jose Julio Alferes --|tSanction Semantics and Contrary-to-
       Duty Obligations /|rLouwe B. Kuijer --|tTemporal Deontic 
       Logic for the Generalised Chisholm Set of Contrary to Duty
       Obligations /|rDov Gabbay --|tOn the Logical Foundations 
       of Moral Agency /|rEmiliano Lorini --|tNorms and Learning 
       in Probabilistic Logic-Based Agents /|rRegis Riveret, 
       Antonino Rotolo and Giovanni Sartor --|tThe Logic of 
       Obligation as Weakest Permission|g(Short Version) /
       |rOlivier Roy, Albert J.J. Anglberger and Norbert Gratzl -
       -|tAn Andersonian Deontic Logic with Contextualized 
       Sanctions /|rChristian Strasser and Mathieu Beirlaen --|tA
       Computationally Grounded Dynamic Logic of Agency, with an 
       Application to Legal Actions /|rAndreas Herzig, Tiago de 
       Lima, Emiliano Lorini and Nicolas Troquard --|tA Deontic 
       Action Logic with Sequential Composition of Actions /
       |rPiotr Kulicki and Robert Trypuz --|tDiscussion Paper: 
       Changing Norms Is Changing Obligation Change /|rJan 
       Broersen, Dov Gabbay and Leendert van der Torre. 
520    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. 
588 0  Online resource; title from PDF title page (SpringerLink, 
       viewed Aug. 9, 2012). 
650  0 Computer logic|vCongresses.|0
650  0 Deontic logic|0
653  4 Computer science. 
653  4 Logic design. 
653  4 Computational complexity. 
653  4 Artificial intelligence. 
653  4 Information systems. 
653  4 Mathematical Logic and Formal Languages. 
653  4 Logics and Meanings of Programs. 
653  4 Computer Appl. in Administrative Data Processing. 
653  4 Programming Techniques. 
653  4 Discrete Mathematics in Computer Science. 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast|0http:// 
655  7 Conference papers and proceedings.|2lcgft|0http:// 
700 1  Ã…gotnes, Thomas.|0
700 1  Broersen, Jan.|0
700 1  Elgesem, Dag.|0
776 08 |iPrint version:|aInternational Conference on Deontic 
       Logic in Computer Science (11th : 2012 : Bergen, Norway).
       |tDeontic logic in computer science.|dBerlin ; New York : 
       Springer, 2012|w(DLC)  2012941089 
830  0 Lecture notes in computer science ;|0
830  0 Lecture notes in computer science.|pLecture notes in 
       artificial intelligence.|0
830  0 LNCS sublibrary.|nSL 7,|pArtificial intelligence.|0http:// 
990    SpringerLink|bSpringer English/International eBooks 2012 -
       Full Set|c2018-10-31|yNew collection 
View online

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team