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.
Record 461 of 1046
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Conference on Deontic Logic in Computer Science (11th : 2012 : Bergen, Norway)
Title Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / Thomas Agotnes, Jan Broersen, Dag Elgesem (eds.).
Imprint Berlin ; New York : Springer, 2012.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Conference on Deontic Logic in Computer Science (11th : 2012 : Bergen, Norway)
Series Lecture notes in computer science, 1611-3349 ; 7393. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 7393. 1611-3349
Lecture notes in computer science. Lecture notes in artificial intelligence. http://id.loc.gov/authorities/names/n86736436
LNCS sublibrary. SL 7, Artificial intelligence. http://id.loc.gov/authorities/names/n2008077786
Subject Computer logic -- Congresses.
Deontic logic -- Congresses.
Alt Name Ågotnes, Thomas.
Broersen, Jan.
Elgesem, Dag.
Add Title DEON 2012
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Conference on Deontic Logic in Computer Science (11th : 2012 : Bergen, Norway)
Series Lecture notes in computer science, 1611-3349 ; 7393. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 7393. 1611-3349
Lecture notes in computer science. Lecture notes in artificial intelligence. http://id.loc.gov/authorities/names/n86736436
LNCS sublibrary. SL 7, Artificial intelligence. http://id.loc.gov/authorities/names/n2008077786
Subject Computer logic -- Congresses.
Deontic logic -- Congresses.
Alt Name Ågotnes, Thomas.
Broersen, Jan.
Elgesem, Dag.
Add Title DEON 2012
Description 1 online resource (xii, 214 pages) : illustrations.
polychrome rdacc http://rdaregistry.info/termList/RDAColourContent/1003
Contents Causality in the Context of Multiple Agents / Robert Demolombe -- Visualizing Normative Systems: An Abstract Approach / Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre and Serena Villata -- Agreements as Norms / Paolo Turrini -- Possible World Semantics for Defeasible Deontic Logic / Guido Governatori, Antonino Rotolo and Erica Calardo -- An Embedding of Input-Output Logic in Deontic Logic Programs / Ricardo Goncalves and Jose Julio Alferes -- Sanction Semantics and Contrary-to-Duty Obligations / Louwe B. Kuijer -- Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations / Dov Gabbay -- On the Logical Foundations of Moral Agency / Emiliano Lorini -- Norms and Learning in Probabilistic Logic-Based Agents / Regis Riveret, Antonino Rotolo and Giovanni Sartor -- The Logic of Obligation as Weakest Permission (Short Version) / Olivier Roy, Albert J.J. Anglberger and Norbert Gratzl -- An Andersonian Deontic Logic with Contextualized Sanctions / Christian Strasser and Mathieu Beirlaen -- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions / Andreas Herzig, Tiago de Lima, Emiliano Lorini and Nicolas Troquard -- A Deontic Action Logic with Sequential Composition of Actions / Piotr Kulicki and Robert Trypuz -- Discussion Paper: Changing Norms Is Changing Obligation Change / Jan Broersen, Dov Gabbay and Leendert van der Torre.
Bibliography Note Includes bibliographical references and author index.
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.
Note Online resource; title from PDF title page (SpringerLink, viewed Aug. 9, 2012).
ISBN 9783642315701 (electronic bk.)
3642315704 (electronic bk.)
3642315690
9783642315695
9783642315695
OCLC # 801063554
Additional Format Print version: International Conference on Deontic Logic in Computer Science (11th : 2012 : Bergen, Norway). Deontic logic in computer science. Berlin ; New York : Springer, 2012 (DLC) 2012941089


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