Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/deon/Aqvist04,
  author       = {Lennart {\AA}qvist},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Combinations of Tense and Deontic Modality},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {3--28},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_3},
  doi          = {10.1007/978-3-540-25927-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Aqvist04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BoellaT04,
  author       = {Guido Boella and
                  Leendert W. N. van der Torre},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Delta: The Social Delegation Cycle},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {29--42},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_4},
  doi          = {10.1007/978-3-540-25927-5\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/BoellaT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenDDM04,
  author       = {Jan M. Broersen and
                  Frank Dignum and
                  Virginia Dignum and
                  John{-}Jules Ch. Meyer},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Designing a Deontic Logic of Deadlines},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {43--56},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_5},
  doi          = {10.1007/978-3-540-25927-5\_5},
  timestamp    = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/BroersenDDM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Brown04,
  author       = {Mark A. Brown},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Obligation, Contracts, and Negotiation},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {1},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_1},
  doi          = {10.1007/978-3-540-25927-5\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Brown04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DemolombeH04,
  author       = {Robert Demolombe and
                  Andreas Herzig},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Obligation Change in Dependence Logic and Situation Calculus},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {57--73},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_6},
  doi          = {10.1007/978-3-540-25927-5\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/DemolombeH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Goble04,
  author       = {Lou Goble},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {A Proposal for Dealing with Deontic Dilemmas},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {74--113},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_7},
  doi          = {10.1007/978-3-540-25927-5\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Goble04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/GovernatoriR04,
  author       = {Guido Governatori and
                  Antonino Rotolo},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Defeasible Logic: Agency, Intention and Obligation},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_8},
  doi          = {10.1007/978-3-540-25927-5\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/GovernatoriR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/GrossiDRM04,
  author       = {Davide Grossi and
                  Frank Dignum and
                  Lamb{\`{e}}r M. M. Royakkers and
                  John{-}Jules Ch. Meyer},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Collective Obligations and Agents: Who Gets the Blame?},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {129--145},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_9},
  doi          = {10.1007/978-3-540-25927-5\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/GrossiDRM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Hansen04,
  author       = {J{\"{o}}rg Hansen},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Conflicting Imperatives and Dyadic Deontic Logic},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {146--164},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_10},
  doi          = {10.1007/978-3-540-25927-5\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Hansen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/JamrogaHW04,
  author       = {Wojciech Jamroga and
                  Wiebe van der Hoek and
                  Michael J. Wooldridge},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {On Obligations and Abilities},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {165--181},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_11},
  doi          = {10.1007/978-3-540-25927-5\_11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/JamrogaHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Jones04,
  author       = {Andrew J. I. Jones},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {On Normative-Informational Positions},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {182--190},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_12},
  doi          = {10.1007/978-3-540-25927-5\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Jones04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Kouznetsov04,
  author       = {Andrei Kouznetsov},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Quasi-matrix Deontic Logic},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {191--208},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_13},
  doi          = {10.1007/978-3-540-25927-5\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Kouznetsov04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/PachecoS04,
  author       = {Olga Pacheco and
                  Filipe Santos},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Delegation in a Role-Based Organization},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {209--227},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_14},
  doi          = {10.1007/978-3-540-25927-5\_14},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/PachecoS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/RaimondiL04,
  author       = {Franco Raimondi and
                  Alessio Lomuscio},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Automatic Verification of Deontic Properties of Multi-agent Systems},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_15},
  doi          = {10.1007/978-3-540-25927-5\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/RaimondiL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TorreHDB04,
  author       = {Leendert W. N. van der Torre and
                  Joris Hulstijn and
                  Mehdi Dastani and
                  Jan M. Broersen},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Specifying Multiagent Organizations},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {243--257},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_16},
  doi          = {10.1007/978-3-540-25927-5\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/TorreHDB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Wooldridge04,
  author       = {Michael J. Wooldridge},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Social Laws in Alternating Time},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {2},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_2},
  doi          = {10.1007/978-3-540-25927-5\_2},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Wooldridge04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Wyner04,
  author       = {Adam Zachary Wyner},
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Maintaining Obligations on Stative Expressions in a Deontic Action
                  Logic},
  booktitle    = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  pages        = {258--274},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25927-5\_17},
  doi          = {10.1007/978-3-540-25927-5\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Wyner04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2004,
  editor       = {Alessio Lomuscio and
                  Donald Nute},
  title        = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
                  Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
                  2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3065},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b98159},
  doi          = {10.1007/B98159},
  isbn         = {3-540-22111-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics