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    = {Fri, 09 Apr 2021 01:00:00 +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    = {Sun, 21 May 2017 01:00:00 +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    = {Sun, 21 May 2017 01:00:00 +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    = {Fri, 02 Jun 2017 01:00:00 +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    = {Wed, 14 Nov 2018 00:00:00 +0100},
  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    = {Sun, 21 May 2017 01:00:00 +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    = {Sun, 21 May 2017 01:00:00 +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    = {Sun, 21 May 2017 01:00:00 +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    = {Fri, 09 Apr 2021 01:00:00 +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    = {Sun, 21 May 2017 01:00:00 +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    = {Thu, 25 Apr 2024 19:33:55 +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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.