Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Andrew J. I. Jones
@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} }
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.