{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T22:48:34Z","timestamp":1785278914099,"version":"3.55.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T00:00:00Z","timestamp":1519344000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000943","name":"Commonwealth Scientific and Industrial Research Organisation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000943","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s10506-018-9218-0","type":"journal-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T19:15:45Z","timestamp":1519413345000},"page":"315-344","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["RuleRS: a rule-based architecture for decision support systems"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9110-2365","authenticated-orcid":false,"given":"Mohammad Badiul","family":"Islam","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,23]]},"reference":[{"key":"9218_CR1","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ (1999) On the modeling and analysis of regulations. In: Australian conference on information systems"},{"issue":"2","key":"9218_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Trans Comput Logic 2(2):255\u2013287","journal-title":"ACM Trans Comput Logic"},{"key":"9218_CR3","doi-asserted-by":"crossref","unstructured":"Basili VR (1996) The role of experimentation in software engineering: past, current, and future. In: Proceedings of the 18th ICSE, IEEE Computer Society, pp 442\u2013449","DOI":"10.1109\/ICSE.1996.493439"},{"issue":"1","key":"9218_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1838552.1838558","volume":"12","author":"D Billington","year":"2010","unstructured":"Billington D, Antoniou G, Governatori G, Maher MJ (2010) An inclusion theorem for Defeasible Logics. ACM Trans Comput Logic 12(1):1\u201327","journal-title":"ACM Trans Comput Logic"},{"key":"9218_CR5","doi-asserted-by":"crossref","unstructured":"Currim S, Snodgrass RT, Suh YK, Zhang R, Johnson MW, Yi C (2013) DBMS metrology: measuring query time. In: Proceedings of the 2013 ACM SIGMOD, ACM, pp 421\u2013432","DOI":"10.1145\/2463676.2465331"},{"issue":"2\u20133","key":"9218_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori G (2005) Representing business contracts in RuleML. Int J Coop Inf Syst 14(2\u20133):181\u2013216","journal-title":"Int J Coop Inf Syst"},{"key":"9218_CR7","doi-asserted-by":"crossref","unstructured":"Governatori G (2011) On the relationship between Carneades and Defeasible Logic. In: Proceedings of the ICAIL 2011, ACM, pp 31\u201340","DOI":"10.1145\/2018358.2018362"},{"issue":"6","key":"9218_CR8","first-page":"231","volume":"55","author":"G Governatori","year":"2013","unstructured":"Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231\u2013238","journal-title":"Inf Technol"},{"key":"9218_CR9","doi-asserted-by":"crossref","unstructured":"Governatori G (2015a) The Regorous approach to process compliance. In: 2015 IEEE 19th international enterprise distributed object computing workshop, IEEE Press, pp 33\u201340","DOI":"10.1109\/EDOCW.2015.28"},{"key":"9218_CR10","first-page":"63","volume-title":"Proceedings of the fifteenth international conference on artificial intelligence and law","author":"G Governatori","year":"2015","unstructured":"Governatori G (2015) Thou shalt is not you will. In: Atkinson K (ed) Proceedings of the fifteenth international conference on artificial intelligence and law. ACM, New York, pp 63\u201368"},{"key":"9218_CR11","doi-asserted-by":"crossref","unstructured":"Governatori G, Hashmi M (2015) No time for compliance. In: Enterprise distributed object computing conference (EDOC), 2015 IEEE 19th international, IEEE, pp 9\u201318","DOI":"10.1109\/EDOC.2015.12"},{"key":"9218_CR12","doi-asserted-by":"crossref","unstructured":"Governatori G, Rotolo A (2004) Defeasible logic: agency, intention and obligation. In: Proceedings of the DEON 2004, Springer, vol 3065 in LNCS, pp 114\u2013128","DOI":"10.1007\/978-3-540-25927-5_8"},{"key":"9218_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G Governatori","year":"2006","unstructured":"Governatori G, Rotolo A (2006) Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Australas J Logic 4:193\u2013215","journal-title":"Australas J Logic"},{"issue":"1","key":"9218_CR14","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori G, Rotolo A (2008) BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton Agent Multi-Agent Syst 17(1):36\u201369","journal-title":"Auton Agent Multi-Agent Syst"},{"key":"9218_CR15","unstructured":"Governatori G, Rotolo A (2010) A conceptually rich model of business process compliance. In: Proceedings of the APCCM 2010, ACS, vol 110 in CRPIT, pp 3\u201312"},{"key":"9218_CR16","doi-asserted-by":"crossref","unstructured":"Governatori G, Shek S (2013) Regorous: a business process compliance checker. In: Proceedings of the fourteenth international conference on artificial intelligence and law, pp 245\u2013246","DOI":"10.1145\/2514601.2514638"},{"issue":"3","key":"9218_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G Governatori","year":"2009","unstructured":"Governatori G, Padmanabhan V, Rotolo A, Sattar A (2009) A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic J IGPL 17(3):227\u2013265","journal-title":"Logic J IGPL"},{"issue":"6","key":"9218_CR18","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G Governatori","year":"2013","unstructured":"Governatori G, Olivieri F, Rotolo A, Scannapieco S (2013) Computing strong and weak permission in Defeasible Logic. J Philos Logic 42(6):799\u2013829","journal-title":"J Philos Logic"},{"issue":"1","key":"9218_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"BN Grosof","year":"2004","unstructured":"Grosof BN (2004) Representing e-commerce rules via situated courteous logic programs in RuleML. Electron Commer Res Appl 3(1):2\u201320","journal-title":"Electron Commer Res Appl"},{"key":"9218_CR20","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2015","unstructured":"Hashmi M, Governatori G, Wynn MT (2015) Normative requirements for regulatory compliance: an abstract formal framework. Inf Syst Front 18:429","journal-title":"Inf Syst Front"},{"key":"9218_CR21","doi-asserted-by":"crossref","unstructured":"Herrestad H (1991) Norms and formalization. In: Proceedings of the 3rd international conference on artificial intellilgence and law, ACM, pp 175\u2013184","DOI":"10.1145\/112646.112667"},{"key":"9218_CR22","first-page":"4","volume-title":"Lecture Notes in Computer Science","author":"Yuh-Jong Hu","year":"2009","unstructured":"Hu YJ, Yeh CL, Laun W (2009) Challenges for rule systems on the web. In: Governatori G, Hall J, Paschke A (eds) Rule interchange and applications. Springer Berlin\u00a0Heidelberg, Berlin, Heidelberg, pp 4\u201316"},{"key":"9218_CR23","unstructured":"International Business Machines Corporation (1993, 2001) Ibm db2 universal database sql reference version 8. http:\/\/bit.ly\/IBMdb2s1e80 , http:\/\/bit.ly\/IBMdb2s2e80 . Accessed 4 Apr 2016"},{"key":"9218_CR24","doi-asserted-by":"crossref","unstructured":"Islam MB, Governatori G (2015) Ruleoms: a rule-based online management system. In: Proceedings of the ICAIL 2015, ACM, New York, NY, USA, pp 187\u2013191","DOI":"10.1145\/2746090.2746120"},{"issue":"1","key":"9218_CR25","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/381790.381795","volume":"21","author":"BA Kitchenham","year":"1996","unstructured":"Kitchenham BA (1996) Evaluating software engineering methods and tool part 1: the evaluation context and evaluation methods. ACM SIGSOFT Notes 21(1):11\u201314","journal-title":"ACM SIGSOFT Notes"},{"key":"9218_CR26","unstructured":"Koz\u00e1k J (2011) Rules in database systems. In: Proceedings of contributed papers WDS\u201911, pp 131\u2013136"},{"key":"9218_CR27","first-page":"315","volume-title":"Lecture Notes in Computer Science","author":"Ho-Pun Lam","year":"2009","unstructured":"Lam HP, Governatori G (2009) The making of spindle. In: Governatori G, Hall J, Paschke A (eds) Rule interchange and applications. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 315\u2013322\u00a0"},{"key":"9218_CR28","doi-asserted-by":"crossref","unstructured":"Liang S, Fodor P, Wan H, Kifer M (2009) Openrulebench: an analysis of the performance of rule engines. In: Proceedings of the 18th international conference on World wide web, ACM, pp 601\u2013610","DOI":"10.1145\/1526709.1526790"},{"issue":"06","key":"9218_CR29","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"MJ Maher","year":"2001","unstructured":"Maher MJ (2001) Propositional defeasible logic has linear complexity. Theory Pract Logic Program 1(06):691\u2013711","journal-title":"Theory Pract Logic Program"},{"key":"9218_CR30","unstructured":"NSW Government (2013) Online mandatory reporter guide. http:\/\/sdm.community.nsw.gov.au\/mrg\/screen\/DoCS\/en-GB\/summary?user=guest . Accessed 30 Sept 2014"},{"key":"9218_CR31","unstructured":"NSW Government (2016) The nsw mandatory reporter guide. http:\/\/www.keepthemsafe.nsw.gov.au\/reporting_concerns\/mandatory_reporter_guide . Accessed 15 June 2016"},{"key":"9218_CR32","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"D Nute","year":"1994","unstructured":"Nute D (1994) Defeasible logic. In: Gabbay DM, Hogger CH, Robinson J (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, Oxford, pp 353\u2013395"},{"key":"9218_CR33","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/j.peva.2012.05.006","volume":"69","author":"R Osman","year":"2012","unstructured":"Osman R, Knottenbelt W (2012) Database system performance evaluation models: a survey. Perform Eval 69:471\u2013493","journal-title":"Perform Eval"},{"issue":"1","key":"9218_CR34","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/311531.311623","volume":"31","author":"NW Paton","year":"1999","unstructured":"Paton NW, D\u00edaz O (1999) Active database systems. ACM Comput Surv CSUR 31(1):63\u2013103","journal-title":"ACM Comput Surv CSUR"},{"key":"9218_CR35","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-45103-4_11","volume-title":"Handbook of business process management","author":"S Sadiq","year":"2015","unstructured":"Sadiq S, Governatori G (2015) Managing regulatory compliance in business processes. In: vom Brocke J, Rosemann M (eds) Handbook of business process management, vol 2, 2nd edn. Springer, Berlin, pp 265\u2013288","edition":"2"},{"key":"9218_CR36","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/j.datak.2007.03.004","volume":"63","author":"T Skylogiannis","year":"2007","unstructured":"Skylogiannis T, Antoniou G, Bassiliades N, Governatori G, Bikakis A (2007) Dr-negotiate\u2014a system for automated agent negotiation with defeasible logic-based strategies. Data Knowl Eng 63:362\u2013380","journal-title":"Data Knowl Eng"},{"key":"9218_CR37","unstructured":"The PostgreSQL Global Development Group (1996\u20132015) Postgresql 9.4.4 documentation. http:\/\/www.postgresql.org\/files\/documentation\/pdf\/9.4\/postgresql-9.4-A4.pdf . Accessed 15 Nov 2015"},{"key":"9218_CR38","unstructured":"US Food and Drug Administration (2015) FDA adverse event reporting system (FAERS): latest quarterly data files. http:\/\/www.fda.gov\/Drugs\/GuidanceComplianceRegulatoryInformation\/Surveillance\/AdverseDrugEffects\/ucm082193.htm . Accessed 15 Mar 2016"},{"key":"9218_CR39","unstructured":"US Food and Drug Administration (2016) FDA adverse event reporting system (FAERS). https:\/\/www.fda.gov\/Drugs\/GuidanceComplianceRegulatoryInformation\/Surveillance\/AdverseDrugEffects\/ . Accessed 16 Feb 2018"},{"key":"9218_CR40","unstructured":"US Government (2014) Records and reports concerning adverse drug experiences on marketed prescription drugs for human use without approved new drug applications. http:\/\/bit.ly\/eCFR310_305 . Accessed 7 Mar 2016"},{"key":"9218_CR41","unstructured":"Viktoratos I, Tsadiras A, Bassiliades N (2012) Plis+: a rule-based personalized location information system. In: Proceedings of the RuleML2012@ECAI challenge, vol 874 in CEUR workshop proceedings"},{"key":"9218_CR42","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/32.129222","volume":"18","author":"P Yu","year":"1992","unstructured":"Yu P, Chen M, Heiss H (1992) On workload characterization of relational database environments. IEEE Trans Softw Eng 18:347\u2013355","journal-title":"IEEE Trans Softw Eng"},{"issue":"5","key":"9218_CR43","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/2.675630","volume":"31","author":"MV Zelkowitz","year":"1998","unstructured":"Zelkowitz MV, Wallace DR (1998) Experimental models for validating technology. Computer 31(5):23\u201331","journal-title":"Computer"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-018-9218-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9218-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9218-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T14:21:52Z","timestamp":1719843712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-018-9218-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,23]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9218"],"URL":"https:\/\/doi.org\/10.1007\/s10506-018-9218-0","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,23]]},"assertion":[{"value":"23 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}