default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/deon/deon2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/deon/Abadi08,
author = {Mart{\'{\i}}n Abadi},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Variations in Access Control Logic},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {96--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_9},
doi = {10.1007/978-3-540-70525-3\_9},
timestamp = {Thu, 14 Oct 2021 10:16:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Abadi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Anderson08,
author = {Ross J. Anderson},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Information Security Economics - and Beyond},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {49},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_5},
doi = {10.1007/978-3-540-70525-3\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Anderson08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Belnap08,
author = {Nuel Belnap},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Norms in Branching Space-Times},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_1},
doi = {10.1007/978-3-540-70525-3\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Belnap08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Broersen08,
author = {Jan M. Broersen},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Logical Analysis of the Interaction between 'Obligation-to-do' and
'Knowingly Doing'},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {140--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_12},
doi = {10.1007/978-3-540-70525-3\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Broersen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenMMT08,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Deontic Logic for Socially Optimal Norms},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_17},
doi = {10.1007/978-3-540-70525-3\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/BroersenMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Brown08,
author = {Mark A. Brown},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Acting, Events and Actions},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {19--33},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_3},
doi = {10.1007/978-3-540-70525-3\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Brown08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CastroM08,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Tableaux System for Deontic Action Logic},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {34--48},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_4},
doi = {10.1007/978-3-540-70525-3\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/CastroM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Cuppens-BoulahiaC08,
author = {Nora Cuppens{-}Boulahia and
Fr{\'{e}}d{\'{e}}ric Cuppens},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Specifying Intrusion Detection and Reaction Policies: An Application
of Deontic Logic},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {65--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_7},
doi = {10.1007/978-3-540-70525-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Cuppens-BoulahiaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DellundeG08,
author = {Pilar Dellunde and
Llu{\'{\i}}s Godo},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Introducing Grades in Deontic Logics},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {248--262},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_19},
doi = {10.1007/978-3-540-70525-3\_19},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/DellundeG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DineshJLS08,
author = {Nikhil Dinesh and
Aravind K. Joshi and
Insup Lee and
Oleg Sokolsky},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance
Checking},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {110--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_10},
doi = {10.1007/978-3-540-70525-3\_10},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/DineshJLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Gabbay08,
author = {Dov M. Gabbay},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Reactive Kripke Models and Contrary to Duty Obligations},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {155--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_13},
doi = {10.1007/978-3-540-70525-3\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Gabbay08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/GovernatoriR08,
author = {Guido Governatori and
Antonino Rotolo},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Changing Legal Systems: Abrogation and Annulment Part {I:} Revision
of Defeasible Theories},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {3--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_2},
doi = {10.1007/978-3-540-70525-3\_2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/GovernatoriR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Grossi08,
author = {Davide Grossi},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Pushing Anderson's Envelope: The Modal Logic of Ascription},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {263--277},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_20},
doi = {10.1007/978-3-540-70525-3\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Grossi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Hulstijn08,
author = {Joris Hulstijn},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Need to Know: Questions and the Paradox of Epistemic Obligation},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {125--139},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_11},
doi = {10.1007/978-3-540-70525-3\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Hulstijn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/HulstijnLT08,
author = {Joris Hulstijn and
Jianwei Liu and
Yao{-}Hua Tan},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Delegation of Control in Administrative Procedures},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {81--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_8},
doi = {10.1007/978-3-540-70525-3\_8},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/HulstijnLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/LindahlO08,
author = {Lars Lindahl and
Jan Odelstad},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Strata of Intervenient Concepts in Normative Systems},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_16},
doi = {10.1007/978-3-540-70525-3\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/LindahlO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/LoriniD08,
author = {Emiliano Lorini and
Robert Demolombe},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Trust and Norms in the Context of Computer Security: {A} Logical Formalization},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {50--64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_6},
doi = {10.1007/978-3-540-70525-3\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/LoriniD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/McNamara08,
author = {Paul McNamara},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical
Supererogation and Kin},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {233--247},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_18},
doi = {10.1007/978-3-540-70525-3\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/McNamara08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Parent08,
author = {Xavier Parent},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {On the Strong Completeness of {\AA}qvist's Dyadic Deontic Logic {G}},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {189--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_15},
doi = {10.1007/978-3-540-70525-3\_15},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Parent08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Stolpe08,
author = {Audun Stolpe},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Normative Consequence: The Problem of Keeping It Whilst Giving It
up},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {174--188},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_14},
doi = {10.1007/978-3-540-70525-3\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Stolpe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2008,
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3},
doi = {10.1007/978-3-540-70525-3},
isbn = {978-3-540-70524-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-03-02 01:24 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
