{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:17:38Z","timestamp":1649161058882},"reference-count":17,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0950-5849(98)00082-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"555-565","source":"Crossref","is-referenced-by-count":1,"title":["A computational tool that supports formal diagnosis of process design"],"prefix":"10.1016","volume":"40","author":[{"given":"Pedro","family":"Ramos","sequence":"first","affiliation":[]},{"given":"Jose Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00082-2_BIB1","doi-asserted-by":"crossref","unstructured":"G. Lyons, Application of information technology in the redesign and implementation of business processes, in: Proceedings of the IFIP TC5\/WG5.7 Working Conference on Re-engineering the Enterprise, Galway, Ireland, 1995.","DOI":"10.1007\/978-0-387-34876-6_5"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0950-5849(96)01126-3","article-title":"Combining process modelling methods","volume":"39","author":"Abeysinghe","year":"1997","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB3","unstructured":"D. Berkeley, P. Humphreys, F. Quek, Dynamic process modelling for organisational systems supported by SASOS, in: Proceedings of the Third International Working Conference on Dynamic Modelling of Information Systems, Noodrwijkerhout, The Netherlands, June 1992."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB4","doi-asserted-by":"crossref","unstructured":"M. Earl, B. Khan, How new is business process redesign? European Management Journal 12 (1) (1994).","DOI":"10.1016\/0263-2373(94)90043-4"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB5","unstructured":"K.-T. Chen, R. Lee, Schematic evaluation of internal accounting control systems, Research Monograph No. RM-1992-08-01, Euridis, Erasmus University Research Institute for Decision and Information Systems, 1992."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB6","doi-asserted-by":"crossref","unstructured":"R. Davis, W. Hamscher, Model based reasoning: troubleshooting, in: H.E. Shrobe (Ed.), Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, 1988, pp. 297\u2013346.","DOI":"10.21236\/ADA201614"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB8","unstructured":"P. Ramos, J.L. Fiadeiro, Organisational process aided design, in: Conference on Systemics, Cybernetics and Informatics (SCI), Focus Symposium on BPR, May 1997."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB9","unstructured":"P. Ramos, J.L. Fiadeiro, A deontic logic for diagnosis of organisational process design, in: Fourth International Workshop on Deontic Logic in Computer Science (DEON'98), Bologna, Italy, 1998."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB10","unstructured":"L. Van der Torre, P. Ramos, Y.-H. Tan, J.L. Fiadeiro, The Role of diagnosis and decision theory in normative reasoning, in: ModelAge, 4th Workshop on Formal Models of Agents, Italy, 1997."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB11","doi-asserted-by":"crossref","unstructured":"F. Santos, J. Carmo, Indirect action, influence and responsibility, in: M. Brown, J. Carmo (Eds.), Deontic Logic, Agency and Normative Systems, Springer, 1996, pp. 194\u2013215.","DOI":"10.1007\/978-1-4471-1488-8_11"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB12","doi-asserted-by":"crossref","unstructured":"F. Cuppens, R. Demolombe, A deontic logic for reasoning about confidentiality, in: M. Brown, J. Carmo (Eds.), Deontic Logic, Agency and Normative Systems, Springer, 1996, pp. 66\u201380.","DOI":"10.1007\/978-1-4471-1488-8_4"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB13","unstructured":"A. Jones, M. Sergot, On the characterisation of law and computer systems: the normative systems perspective, in: J.-J.Ch. Meyer, R.J. Wieringa (Eds.), Deontic Logic in Computer Science, John Wiley and Sons, 1993, pp. 275\u2013305."},{"key":"10.1016\/S0950-5849(98)00082-2_BIB14","doi-asserted-by":"crossref","unstructured":"G.H. Von Wright, Deontic logic and the theory of conditions, in: Deontic Logic: Introductory and Systematic Readings, Hilpinen, 1971, pp. 159\u2013177.","DOI":"10.1007\/978-94-010-3146-2_7"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB15","doi-asserted-by":"crossref","unstructured":"J. Carmo, A. Jones, A new approach to contrary-to-duty obligations, in: D. Dute (Ed.), Defeasible Deontic Logic, vol. I, Synthese Library, 1996 (in press).","DOI":"10.1007\/978-94-015-8851-5_13"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB16","doi-asserted-by":"crossref","unstructured":"H.-N. Casta\u00f1eda, The paradoxes in deontic logic: the simplest solution to all of them in one fell swoop, in: New Studies in Deontic Logic, Hilpinem, 1981.","DOI":"10.1007\/978-94-009-8484-4_2"},{"key":"10.1016\/S0950-5849(98)00082-2_BIB17","doi-asserted-by":"crossref","unstructured":"M. Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, New York, 1990, Ch. 3.","DOI":"10.1007\/978-1-4684-0357-2"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000822?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000822?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T20:37:36Z","timestamp":1579034256000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":17,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0950584998000822"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00082-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}