{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:41:55Z","timestamp":1725676915181},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294136"},{"type":"electronic","value":"9783642294143"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29414-3_2","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:45:41Z","timestamp":1335303941000},"page":"4-11","source":"Crossref","is-referenced-by-count":0,"title":["The Scientific Contribution of Marek Sergot"],"prefix":"10.1007","author":[{"given":"Steve","family":"Barker","sequence":"first","affiliation":[]},{"given":"Andrew J. I.","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Antonis","family":"Kakas","sequence":"additional","affiliation":[]},{"given":"Robert A.","family":"Kowalski","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[]},{"given":"Rob","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Muggleton","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"349","volume-title":"Deontic Logic, Computational Linguistics and Legal Information Systems","author":"L.E. Allen","year":"1982","unstructured":"Allen, L.E.: Towards a normalized language to clarify the structure of legal discourse. In: Deontic Logic, Computational Linguistics and Legal Information Systems, vol.\u00a0II, pp. 349\u2013407. North Holland, Amsterdam (1982)"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1093\/jigpal\/jzp071","volume":"18","author":"A. Artikis","year":"2010","unstructured":"Artikis, A., Sergot, M.J.: Executable specification of open multi-agent systems. Logic Journal of the IGPL\u00a018(1), 31\u201365 (2010)","journal-title":"Logic Journal of the IGPL"},{"issue":"10-15","key":"2_CR3","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1016\/j.artint.2007.04.008","volume":"171","author":"A. Artikis","year":"2007","unstructured":"Artikis, A., Sergot, M.J., Pitt, J.: An executable specification of a formal argumentation protocol. Artificial Intelligence\u00a0171(10-15), 776\u2013804 (2007)","journal-title":"Artificial Intelligence"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M.J., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic\u00a010(1) (2009)","DOI":"10.1145\/1459010.1459011"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1877937.1877941","volume-title":"Proceedings of the 2nd ACM International Workshop on Events in Multimedia, EiMM 2010","author":"A. Artikis","year":"2010","unstructured":"Artikis, A., Sergot, M.J., Paliouras, G.: A logic programming approach to activity recognition. In: Proceedings of the 2nd ACM International Workshop on Events in Multimedia, EiMM 2010, pp. 3\u20138. ACM, New York (2010)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Barker, S., Sergot, M.J., Wijesekera, D.: Status-based access control. ACM Trans. Inf. Syst. Secur.\u00a012(1) (2008)","DOI":"10.1145\/1410234.1410235"},{"key":"2_CR7","unstructured":"Bench-Capon, T.J.M., Sergot, M.J.: Towards a rule-based representation of open texture in law. In: Walter, C. (ed.) Computing Power and Legal Language, pp. 39\u201360. Greenwood\/Quorum Press (1988)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M., Robinson, G.O., Routen, T., Sergot, M.J.: Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In: ICAIL, pp. 190\u2013198 (1987)","DOI":"10.1145\/41735.41757"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R. Craven","year":"2008","unstructured":"Craven, R., Sergot, M.J.: Agent strands in the action language nC\u2009+. Journal of Applied Logic\u00a06(2), 172\u2013191 (2008)","journal-title":"Journal of Applied Logic"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E.C., Bandara, A.K.: Expressive policy analysis with enhanced system dynamicity. In: ASIACCS, pp. 239\u2013250 (2009)","DOI":"10.1145\/1533057.1533091"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Daskalopulu, A., Sergot, M.J.: A constraint-driven system for contract assembly. In: ICAIL, pp. 62\u201370 (1995)","DOI":"10.1145\/222092.222130"},{"key":"2_CR12","unstructured":"Dayal, S., Johnson, P.: A web-based revolution in australian public administration. Journal of Information, Law and Technology\u00a01 (2000)"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(86)90002-6","volume":"3","author":"D.M. Gabbay","year":"1986","unstructured":"Gabbay, D.M., Sergot, M.J.: Negation as inconsistency i. J. Log. Program.\u00a03(1), 1\u201335 (1986)","journal-title":"J. Log. Program."},{"issue":"1-2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"2_CR15","unstructured":"Hammond, P., Sergot, M.J.: A PROLOG shell for logic based expert systems. In: Proc. BCS Conference on Expert Systems 1983, pp. 95\u2013104. British Computer Society (1983)"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1093\/bioinformatics\/btk006","volume":"22","author":"D. Huntley","year":"2006","unstructured":"Huntley, D., Baldo, A., Johri, S., Sergot, M.J.: Sean: Snp prediction and display program utilizing est sequence clusters. Bioinformatics\u00a022(4), 495\u2013496 (2006)","journal-title":"Bioinformatics"},{"issue":"8","key":"2_CR17","doi-asserted-by":"publisher","first-page":"924","DOI":"10.1093\/bioinformatics\/btl018","volume":"22","author":"B.R. Jefferys","year":"2006","unstructured":"Jefferys, B.R., Kelley, L.A., Sergot, M.J., Fox, J., Sternberg, M.J.E.: Capturing expert knowledge with argumentation: a case study in bioinformatics. Bioinformatics\u00a022(8), 924\u2013933 (2006)","journal-title":"Bioinformatics"},{"key":"2_CR18","unstructured":"Jones, A., Sergot, M.J.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275\u2013307. J. Wiley and Sons (1993)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"A.J.I. Jones","year":"1992","unstructured":"Jones, A.J.I., Sergot, M.J.: Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law\u00a01, 45\u201364 (1992), doi:10.1007\/BF00118478","journal-title":"Artificial Intelligence and Law"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Jones, A.J.I., Sergot, M.J.: Formal Specification of Security Requirements using the Theory of Normative Positions. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol.\u00a0648, pp. 103\u2013121. Springer, Heidelberg (1992)","DOI":"10.1007\/BFb0013894"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A.J.I. Jones","year":"1996","unstructured":"Jones, A.J.I., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL\u00a04(3), 427\u2013443 (1996)","journal-title":"Logic Journal of the IGPL"},{"issue":"5","key":"2_CR22","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/69.542026","volume":"8","author":"F. Nihan Kesim","year":"1996","unstructured":"Nihan Kesim, F., Sergot, M.J.: A logic programming framework for modeling temporal objects. IEEE Trans. Knowl. Data Eng.\u00a08(5), 724\u2013741 (1996)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201396 (1986)","journal-title":"New Generation Computing"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1111\/j.1467-9337.1990.tb00058.x","volume":"3","author":"R. Kowalski","year":"1990","unstructured":"Kowalski, R., Sergot, M.J.: The use of logical models in legal problem solving. Ratio Juris\u00a03, 201\u2013218 (1990)","journal-title":"Ratio Juris"},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica\u00a075(1), 63\u201392 (2003)","journal-title":"Studia Logica"},{"issue":"1","key":"2_CR26","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jal.2004.01.005","volume":"2","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M.J.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic\u00a02(1), 93\u2013116 (2003)","journal-title":"Journal of Applied Logic"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D. Makinson","year":"1986","unstructured":"Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/11546207_33","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Papatheodorou","year":"2005","unstructured":"Papatheodorou, I., Kakas, A.C., Sergot, M.J.: Inference of Gene Relations from Microarray Data by Abduction. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 389\u2013393. Springer, Heidelberg (2005)"},{"issue":"1","key":"2_CR29","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica\u00a057(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sergot, M.J.: Dyadic deontic logics and contrary-to-duty obligations. In: Defeasible Deontic Logic. Kluwer Academic Publishers (1997)","DOI":"10.1007\/978-94-015-8851-5_10"},{"key":"2_CR31","volume-title":"New Horizons in Educational Computing","author":"M.J. Sergot","year":"1984","unstructured":"Sergot, M.J.: A query-the-user facility for logic programs. In: Yazdani, M. (ed.) New Horizons in Educational Computing. Ellis Horwood, Chichester (1984)"},{"issue":"4","key":"2_CR32","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1145\/383779.383786","volume":"2","author":"M.J. Sergot","year":"2001","unstructured":"Sergot, M.J.: A computational theory of normative positions. ACM Transactions on Computational Logic\u00a02(4), 522\u2013581 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"2_CR33","volume-title":"Technical Report 2004\/8","author":"M.J. Sergot","year":"2004","unstructured":"Sergot, M.J.: \n                    \n                      \n                    \n                    $(\\mathcal{C}+)^{++}$\n                  : An action language for modelling norms and institutions. In: Technical Report 2004\/8, Department of Computing, Imperial College London (2004)"},{"key":"2_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87654-0_1","volume-title":"Engineering Societies in the Agents World VIII","author":"M.J. Sergot","year":"2008","unstructured":"Sergot, M.J.: Action and Agency in Norm-Governed Multi-Agent Systems. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol.\u00a04995, pp. 1\u201354. Springer, Heidelberg (2008)"},{"key":"2_CR35","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Normative Systems","author":"M.J. Sergot","year":"2006","unstructured":"Sergot, M.J., Craven, R.: The Deontic Component of Action Language nC\u2009+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)"},{"issue":"5","key":"2_CR36","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1988","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The British Nationality Act as a logic program. Communications of the ACM\u00a029(5), 370\u2013386 (1988)","journal-title":"Communications of the ACM"},{"key":"2_CR37","unstructured":"Sergot, M.J.: Prospects for representing the law as logic programs. In: Clark, K.L., Tarnlund, S.\u00c2. (eds.) Logic Programming, pp. 33\u201342 (1982)"},{"key":"2_CR38","first-page":"289","volume-title":"Norms, Logics and Information Systems","author":"M.J. Sergot","year":"1999","unstructured":"Sergot, M.J.: Sergot. Normative positions. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 289\u2013308. IOS, Amsterdam (1999)"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Sergot, M.J., Kamble, A.S., Bajaj, K.K.: Indian central civil service pension rules: A case study in logic programming applied to regulations. In: ICAIL, pp. 118\u2013127 (1991)","DOI":"10.1145\/112646.112661"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Stathis, K., Sergot, M.J.: Games as a metaphor for interactive systems. In: Sasse, M.A., Cunningham, J., Winder, R.L. (eds.) People and Computers XI, Proceedings of HCI 1996, London, UK, pp. 19\u201333. Springer (1996)","DOI":"10.1007\/978-1-4471-3588-3_2"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-20832-4_11","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"F. Toni","year":"2011","unstructured":"Toni, F., Sergot, M.J.: Argumentation and Answer Set Programming. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 164\u2013180. Springer, Heidelberg (2011)"},{"key":"2_CR42","unstructured":"Wolstenholme, D.E., O\u2019Brien, C.M.: Glimpse - a statistical adventure. In: IJCAI, pp. 596\u2013601 (1987)"}],"container-title":["Lecture Notes in Computer Science","Logic Programs, Norms and Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29414-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:00:47Z","timestamp":1620126047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29414-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294136","9783642294143"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29414-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}