BibTeX records: Andrew J. I. Jones

download as .bib file

@article{DBLP:journals/logcom/CarmoJ22,
  author       = {Jos{\'{e}} Carmo and
                  Andrew J. I. Jones},
  title        = {Carmo and Jones' logic for contrary-to-duty obligations revised},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {7},
  pages        = {1352--1364},
  year         = {2022},
  url          = {https://doi.org/10.1093/logcom/exac026},
  doi          = {10.1093/LOGCOM/EXAC026},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/CarmoJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/WeitzenboeckMJ15,
  author       = {Emily M. Weitzenboeck and
                  Tobias Mahler and
                  Andrew J. I. Jones},
  title        = {Introduction},
  journal      = {Artif. Intell. Law},
  volume       = {23},
  number       = {3},
  pages        = {197--199},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10506-015-9171-0},
  doi          = {10.1007/S10506-015-9171-0},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ail/WeitzenboeckMJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Jones14,
  author       = {Andrew J. I. Jones},
  editor       = {Fabrizio Cariani and
                  Davide Grossi and
                  Joke Meheus and
                  Xavier Parent},
  title        = {Ingmar P{\"{o}}rn - In Memoriam},
  booktitle    = {Deontic Logic and Normative Systems - 12th International Conference,
                  {DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8554},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08615-6\_1},
  doi          = {10.1007/978-3-319-08615-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Jones14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/JonesAP13,
  author       = {Andrew J. I. Jones and
                  Alexander Artikis and
                  Jeremy Pitt},
  title        = {The design of intelligent socio-technical systems},
  journal      = {Artif. Intell. Rev.},
  volume       = {39},
  number       = {1},
  pages        = {5--20},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10462-012-9387-2},
  doi          = {10.1007/S10462-012-9387-2},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/air/JonesAP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarmoJ13,
  author       = {Jos{\'{e}} Carmo and
                  Andrew J. I. Jones},
  title        = {Completeness and decidability results for a logic of contrary-to-duty
                  conditionals},
  journal      = {J. Log. Comput.},
  volume       = {23},
  number       = {3},
  pages        = {585--626},
  year         = {2013},
  url          = {https://doi.org/10.1093/logcom/exs009},
  doi          = {10.1093/LOGCOM/EXS009},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/CarmoJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/ChopraABCDFJSY13,
  author       = {Amit K. Chopra and
                  Alexander Artikis and
                  Jamal Bentahar and
                  Marco Colombetti and
                  Frank Dignum and
                  Nicoletta Fornara and
                  Andrew J. I. Jones and
                  Munindar P. Singh and
                  Pinar Yolum},
  title        = {Research directions in agent communication},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {4},
  number       = {2},
  pages        = {20:1--20:23},
  year         = {2013},
  url          = {https://doi.org/10.1145/2438653.2438655},
  doi          = {10.1145/2438653.2438655},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tist/ChopraABCDFJSY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/SasidharanHLKJB13,
  author       = {Padmaja Sasidharan and
                  Claire Henderson and
                  Graeme Lockwood and
                  Jeroen Keppens and
                  Andrew J. I. Jones and
                  Elaine Brohan},
  editor       = {Kevin D. Ashley},
  title        = {User Centered Evaluation of EQUALS, a Rule-based Legal Decision-aid},
  booktitle    = {Legal Knowledge and Information Systems - {JURIX} 2013: The Twenty-Sixth
                  Annual Conference, December 11-13, 2013, University of Bologna, Italy},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {259},
  pages        = {131--134},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-359-9-131},
  doi          = {10.3233/978-1-61499-359-9-131},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jurix/SasidharanHLKJB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/at/JonesAP12,
  author       = {Andrew J. I. Jones and
                  Alexander Artikis and
                  Jeremy Pitt},
  editor       = {Sascha Ossowski and
                  Francesca Toni and
                  George A. Vouros},
  title        = {The Design of Intelligent Socio-Technical Systems},
  booktitle    = {Proceedings of the First International Conference on Agreement Technologies,
                  {AT} 2012, Dubrovnik, Croatia, October 15-16, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {918},
  pages        = {4--11},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-918/panel4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/at/JonesAP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarkerJKKLMMS12,
  author       = {Steve Barker and
                  Andrew J. I. Jones and
                  Antonis C. Kakas and
                  Robert A. Kowalski and
                  Alessio Lomuscio and
                  Rob Miller and
                  Stephen H. Muggleton and
                  Giovanni Sartor},
  editor       = {Alexander Artikis and
                  Robert Craven and
                  Nihan Kesim Cicekli and
                  Babak Sadighi and
                  Kostas Stathis},
  title        = {The Scientific Contribution of Marek Sergot},
  booktitle    = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7360},
  pages        = {4--11},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29414-3\_2},
  doi          = {10.1007/978-3-642-29414-3\_2},
  timestamp    = {Sat, 30 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BarkerJKKLMMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JonesK12,
  author       = {Andrew J. I. Jones and
                  Steven O. Kimbrough},
  editor       = {Alexander Artikis and
                  Robert Craven and
                  Nihan Kesim Cicekli and
                  Babak Sadighi and
                  Kostas Stathis},
  title        = {On the Representation of Normative Sentences in {FOL}},
  booktitle    = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7360},
  pages        = {273--294},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29414-3\_15},
  doi          = {10.1007/978-3-642-29414-3\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JonesK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/KimbroughAJEB09,
  author       = {Steven O. Kimbrough and
                  Alan S. Abrahams and
                  Andrew J. I. Jones and
                  David M. Eyers and
                  Jean Bacon},
  title        = {Introducing the fair and logical trade project},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {4},
  number       = {3},
  pages        = {174--186},
  year         = {2009},
  url          = {https://doi.org/10.1504/IJBPIM.2009.030984},
  doi          = {10.1504/IJBPIM.2009.030984},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/KimbroughAJEB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/JonesP08,
  author       = {Andrew J. I. Jones and
                  Xavier Parent},
  title        = {Normative-informational positions: a modal-logical approach},
  journal      = {Artif. Intell. Law},
  volume       = {16},
  number       = {1},
  pages        = {7--23},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10506-007-9045-1},
  doi          = {10.1007/S10506-007-9045-1},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ail/JonesP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/JonesK08,
  author       = {Andrew J. I. Jones and
                  Steven Orla Kimbrough},
  title        = {The normative aspect of signalling and the distinction between performative
                  and constative},
  journal      = {J. Appl. Log.},
  volume       = {6},
  number       = {2},
  pages        = {218--228},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jal.2007.06.009},
  doi          = {10.1016/J.JAL.2007.06.009},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/JonesK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/web/EyersJK08,
  author       = {David M. Eyers and
                  Andrew J. I. Jones and
                  Steven O. Kimbrough},
  editor       = {Christof Weinhardt and
                  Stefan Luckner and
                  Jochen St{\"{o}}{\ss}er},
  title        = {On Logic and Standards for Structuring Documents},
  booktitle    = {Designing E-Business Systems. Markets, Services, and Networks - 7th
                  Workshop on E-Business, {WEB} 2008, Paris, France, December 13, 2008,
                  Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {22},
  pages        = {172--186},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01256-3\_15},
  doi          = {10.1007/978-3-642-01256-3\_15},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/web/EyersJK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/JonesK06,
  author       = {Andrew J. I. Jones and
                  Steven O. Kimbrough},
  editor       = {Lou Goble and
                  John{-}Jules Ch. Meyer},
  title        = {On the Normative Aspect of Signalling Conventions},
  booktitle    = {Deontic Logic and Artificial Normative Systems, 8th International
                  Workshop on Deontic Logic in Computer Science, {DEON} 2006, Utrecht,
                  The Netherlands, July 12-14, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4048},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11786849\_13},
  doi          = {10.1007/11786849\_13},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/JonesK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Jones04,
  author       = {Andrew J. I. Jones},
  title        = {Editorial note},
  journal      = {J. Appl. Log.},
  volume       = {2},
  number       = {1},
  pages        = {1},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jal.2003.12.001},
  doi          = {10.1016/J.JAL.2003.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Jones04.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    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/Jones04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agentCL/JonesP03,
  author       = {Andrew J. I. Jones and
                  Xavier Parent},
  editor       = {Frank Dignum},
  title        = {Conventional Signalling Acts and Conversation},
  booktitle    = {Advances in Agent Communication, International Workshop on Agent Communication
                  Languages, {ACL} 2003, Melbourne, Australia, July 14, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2922},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24608-4\_1},
  doi          = {10.1007/978-3-540-24608-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/agentCL/JonesP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/Jones02,
  author       = {Andrew J. I. Jones},
  title        = {On the concept of trust},
  journal      = {Decis. Support Syst.},
  volume       = {33},
  number       = {3},
  pages        = {225--232},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0167-9236(02)00013-1},
  doi          = {10.1016/S0167-9236(02)00013-1},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dss/Jones02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CarmoDJ01,
  author       = {Jos{\'{e}} Carmo and
                  Robert Demolombe and
                  Andrew J. I. Jones},
  title        = {An Application of Deontic Logic to Information System Constraints},
  journal      = {Fundam. Informaticae},
  volume       = {48},
  number       = {2-3},
  pages        = {165--181},
  year         = {2001},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-2-3-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CarmoDJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icail/1999,
  editor       = {Jon Bing and
                  Andrew J. I. Jones and
                  Thomas F. Gordon},
  title        = {Proceedings of the Seventh International Conference on Artificial
                  Intelligence and Law, {ICAIL} '99, Oslo, Norway, June 14-17, 1999},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/323706},
  doi          = {10.1145/323706},
  isbn         = {1-58113-165-8},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icail/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/DemolombeJC97,
  author       = {Robert Demolombe and
                  Andrew J. I. Jones and
                  Jos{\'{e}} Carmo},
  editor       = {Dov M. Gabbay and
                  Rudolf Kruse and
                  Andreas Nonnengart and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Toward a Uniform Logical Representation of Different Kinds of Integrity
                  Constraints},
  booktitle    = {Qualitative and Quantitative Practical Reasoning, First International
                  Joint Conference on Qualitative and Quantitative Practical Reasoning
                  ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1244},
  pages        = {614--620},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0035653},
  doi          = {10.1007/BFB0035653},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/DemolombeJC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SantosJC97,
  author       = {Filipe A. A. Santos and
                  Andrew J. I. Jones and
                  Jos{\'{e}} Carmo},
  title        = {Action Concepts for Describing Organised Interaction},
  booktitle    = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
                  7-10 January 1997, Maui, Hawaii, {USA}},
  pages        = {373--382},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.10062},
  doi          = {10.1109/HICSS.1997.10062},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/SantosJC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DemolombeJ96,
  author       = {Robert Demolombe and
                  Andrew J. I. Jones},
  title        = {Integrity Constraints Revisited},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {369--383},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.369},
  doi          = {10.1093/JIGPAL/4.3.369},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DemolombeJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JonesS96,
  author       = {Andrew J. I. Jones and
                  Marek J. Sergot},
  title        = {A Formal Characterisation of Institutionalised Power},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {427--443},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.427},
  doi          = {10.1093/JIGPAL/4.3.427},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/JonesS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/JonesS96,
  author       = {Andrew J. I. Jones and
                  Marek J. Sergot},
  title        = {Foreword},
  journal      = {Stud Logica},
  volume       = {57},
  number       = {1},
  pages        = {3--4},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00370666},
  doi          = {10.1007/BF00370666},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/JonesS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CarmoJ96,
  author       = {Jos{\'{e}} Carmo and
                  Andrew J. I. Jones},
  title        = {Deontic Database Constraints, Violation and Recovery},
  journal      = {Stud Logica},
  volume       = {57},
  number       = {1},
  pages        = {139--165},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00370673},
  doi          = {10.1007/BF00370673},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CarmoJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/DemolombeJC96,
  author       = {Robert Demolombe and
                  Andrew J. I. Jones and
                  Jos{\'{e}} Carmo},
  editor       = {Stefan Conrad and
                  Hans{-}Joachim Klein and
                  Klaus{-}Dieter Schewe},
  title        = {Towards a Uniform Logical Representation of Different Kinds of Integrity
                  Constraints},
  booktitle    = {Integrity in Databases - 6th International Workshop on Foundations
                  of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany,
                  September 16-20, 1996, Proceedings},
  pages        = {157--164},
  publisher    = {University of Magedeburg, Faculty of Computer Science},
  year         = {1996},
  timestamp    = {Thu, 20 Jul 2017 13:26:26 +0200},
  biburl       = {https://dblp.org/rec/conf/fmldo/DemolombeJC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/CholvyDJ94,
  author       = {Laurence Cholvy and
                  Robert Demolombe and
                  Andrew J. I. Jones},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Reasoning about the Safety of Information: From Logical Formalization
                  to Operational Definition},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {345--373},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 12:08:51 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/CholvyDJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CholvyDJ94,
  author       = {Laurence Cholvy and
                  Robert Demolombe and
                  Andrew J. I. Jones},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {Reasoning About the Safety of Information: From Logical Formalization
                  to Operational Definition},
  booktitle    = {Methodologies for Intelligent Systems, 8th International Symposium,
                  {ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {869},
  pages        = {488--499},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58495-1\_49},
  doi          = {10.1007/3-540-58495-1\_49},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/CholvyDJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Jones93,
  author       = {Andrew J. I. Jones},
  title        = {Towards a Formal Theory of Defeasible Deontic Conditionals},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {9},
  number       = {1-2},
  pages        = {151--166},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01531265},
  doi          = {10.1007/BF01531265},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Jones93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/DemolombeJ93,
  author       = {Robert Demolombe and
                  Andrew J. I. Jones},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Integrity Constraints Revisited (Preliminary version)},
  booktitle    = {Fourth International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1993, September 20-22, 1993, Lloret
                  de Mar, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/93-25-R}},
  pages        = {309--333},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1993},
  timestamp    = {Fri, 26 Jul 2019 12:08:52 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/DemolombeJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/JonesS92,
  author       = {Andrew J. I. Jones and
                  Marek J. Sergot},
  title        = {Deontic logic in the representation of law: Towards a methodology},
  journal      = {Artif. Intell. Law},
  volume       = {1},
  number       = {1},
  pages        = {45--64},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00118478},
  doi          = {10.1007/BF00118478},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ail/JonesS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/JonesS92,
  author       = {Andrew J. I. Jones and
                  Marek J. Sergot},
  editor       = {Yves Deswarte and
                  G{\'{e}}rard Eizenberg and
                  Jean{-}Jacques Quisquater},
  title        = {Formal Specification of Security Requirements using the Theory of
                  Normative Positions},
  booktitle    = {Computer Security - {ESORICS} 92, Second European Symposium on Research
                  in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {648},
  pages        = {103--121},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013894},
  doi          = {10.1007/BFB0013894},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/JonesS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics