Description |
1 online resource (xii, 214 pages) : illustrations |
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 ; 7393. 1611-3349
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
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 Gonçalves and José Júlio 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 / Régis 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 |
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 |
Analysis |
Computer science |
|
Logic design |
|
Computational complexity |
|
Artificial intelligence |
|
Information systems |
|
Mathematical Logic and Formal Languages |
|
Logics and Meanings of Programs |
|
Computer Appl. in Administrative Data Processing |
|
Programming Techniques |
|
Discrete Mathematics in Computer Science |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 9, 2012) |
In |
Springer eBooks |
Subject |
Computer logic -- Congresses
|
|
Deontic logic -- Congresses
|
|
Informatique.
|
|
Computer logic
|
|
Deontic logic
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Ågotnes, Thomas.
|
|
Broersen, Jan.
|
|
Elgesem, Dag.
|
ISBN |
9783642315701 |
|
3642315704 |
|
3642315690 |
|
9783642315695 |
|