Search dblp for Publications

export results for "toc:db/conf/deon/deon2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/deon/BroersenGT12,
  author    = {Jan M. Broersen and
               Dov M. Gabbay and
               Leendert W. N. van der Torre},
  title     = {Discussion Paper: Changing Norms Is Changing Obligation Change},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {199--214},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_14},
  doi       = {10.1007/978-3-642-31570-1\_14},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/BroersenGT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Demolombe12,
  author    = {Robert Demolombe},
  title     = {Causality in the Context of Multiple Agents},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {1--15},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_1},
  doi       = {10.1007/978-3-642-31570-1\_1},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/Demolombe12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Gabbay12,
  author    = {Dov M. Gabbay},
  title     = {Temporal Deontic Logic for the Generalised Chisholm Set of Contrary
               to Duty Obligations},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {91--107},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_7},
  doi       = {10.1007/978-3-642-31570-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/Gabbay12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/GoncalvesA12,
  author    = {Ricardo Gon{\c{c}}alves and
               Jos{\'{e}} J{\'{u}}lio Alferes},
  title     = {An Embedding of Input-Output Logic in Deontic Logic Programs},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {61--75},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_5},
  doi       = {10.1007/978-3-642-31570-1\_5},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/GoncalvesA12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/GovernatoriRC12,
  author    = {Guido Governatori and
               Antonino Rotolo and
               Erica Calardo},
  title     = {Possible World Semantics for Defeasible Deontic Logic},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {46--60},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_4},
  doi       = {10.1007/978-3-642-31570-1\_4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/GovernatoriRC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/HerzigLLT12,
  author    = {Andreas Herzig and
               Tiago de Lima and
               Emiliano Lorini and
               Nicolas Troquard},
  title     = {A Computationally Grounded Dynamic Logic of Agency, with an Application
               to Legal Actions},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {170--183},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_12},
  doi       = {10.1007/978-3-642-31570-1\_12},
  timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/deon/HerzigLLT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Kuijer12,
  author    = {Louwe B. Kuijer},
  title     = {Sanction Semantics and Contrary-to-Duty Obligations},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {76--90},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_6},
  doi       = {10.1007/978-3-642-31570-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/Kuijer12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/KulickiT12,
  author    = {Piotr Kulicki and
               Robert Trypuz},
  title     = {A Deontic Action Logic with Sequential Composition of Actions},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {184--198},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_13},
  doi       = {10.1007/978-3-642-31570-1\_13},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/KulickiT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Lorini12,
  author    = {Emiliano Lorini},
  title     = {On the Logical Foundations of Moral Agency},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {108--122},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_8},
  doi       = {10.1007/978-3-642-31570-1\_8},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/Lorini12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/RiveretRS12,
  author    = {R{\'{e}}gis Riveret and
               Antonino Rotolo and
               Giovanni Sartor},
  title     = {Norms and Learning in Probabilistic Logic-Based Agents},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {123--138},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_9},
  doi       = {10.1007/978-3-642-31570-1\_9},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/deon/RiveretRS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/RoyAG12,
  author    = {Olivier Roy and
               Albert J. J. Anglberger and
               Norbert Gratzl},
  title     = {The Logic of Obligation as Weakest Permission - (Short Version)},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {139--150},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_10},
  doi       = {10.1007/978-3-642-31570-1\_10},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/RoyAG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/StrasserB12,
  author    = {Christian Stra{\ss}er and
               Mathieu Beirlaen},
  title     = {An Andersonian Deontic Logic with Contextualized Sanctions},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {151--169},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_11},
  doi       = {10.1007/978-3-642-31570-1\_11},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/StrasserB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TosattoBTV12,
  author    = {Silvano Colombo Tosatto and
               Guido Boella and
               Leendert W. N. van der Torre and
               Serena Villata},
  title     = {Visualizing Normative Systems: An Abstract Approach},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {16--30},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_2},
  doi       = {10.1007/978-3-642-31570-1\_2},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/TosattoBTV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Turrini12,
  author    = {Paolo Turrini},
  title     = {Agreements as Norms},
  booktitle = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  pages     = {31--45},
  year      = {2012},
  crossref  = {DBLP:conf/deon/2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1\_3},
  doi       = {10.1007/978-3-642-31570-1\_3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/Turrini12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2012,
  editor    = {Thomas {\AA}gotnes and
               Jan M. Broersen and
               Dag Elgesem},
  title     = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7393},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1},
  doi       = {10.1007/978-3-642-31570-1},
  isbn      = {978-3-642-31569-5},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2012,
  editor    = {Thomas {\AA}gotnes and
               Jan M. Broersen and
               Dag Elgesem},
  title     = {Deontic Logic in Computer Science - 11th International Conference,
               {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7393},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31570-1},
  doi       = {10.1007/978-3-642-31570-1},
  isbn      = {978-3-642-31569-5},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/deon/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics