{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T05:26:24Z","timestamp":1767849984830,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,7,26]],"date-time":"2013-07-26T00:00:00Z","timestamp":1374796800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s12652-013-0186-7","type":"journal-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T15:35:01Z","timestamp":1374766501000},"page":"215-247","source":"Crossref","is-referenced-by-count":5,"title":["Tableau systems for reasoning about risk"],"prefix":"10.1007","volume":"5","author":[{"given":"Matteo","family":"Cristani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erisa","family":"Karafili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,26]]},"reference":[{"key":"186_CR1","unstructured":"AVANTSSAR (2008) Deliverable 5.1: problem cases and their trust and security requirements. http:\/\/www.avantssar.eu"},{"issue":"1","key":"186_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218539304001300","volume":"11","author":"T Aven","year":"2004","unstructured":"Aven T (2004) Risk analysis and science. Int J Reliab Qual Safety Eng 11(1):1\u201315","journal-title":"Int J Reliab Qual Safety Eng"},{"key":"186_CR3","doi-asserted-by":"crossref","unstructured":"Bartsch S (2010) A calculus for the qualitative risk assessment of policy override authorization. In: Makarevich OB, El\u00e7i A, Orgun MA, Huss S A, Babenko LK, Chefranov AG, Varadharajan V (eds) Proceedings of the 3rd international conference on security of information and networks, SIN 2010, ACM, pp 62\u201370","DOI":"10.1145\/1854099.1854115"},{"key":"186_CR4","doi-asserted-by":"crossref","unstructured":"Basin D, D\u2019Agostino M, Gabbay DM, Matthews S, Vigan\u00f2 L (eds) (2000) Labelled deduction. Kluwer, Dordrecht","DOI":"10.1007\/978-94-011-4040-9"},{"issue":"6","key":"186_CR5","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1093\/logcom\/exp022","volume":"19","author":"DA Basin","year":"2009","unstructured":"Basin DA, Caleiro C, Ramos J, Vigan\u00f2 L (2009) Labelled tableaux for distributed temporal logic. J Logic Comput 19(6):1245\u20131279","journal-title":"J Logic Comput"},{"key":"186_CR6","doi-asserted-by":"crossref","unstructured":"Bell J (2003) A common sense theory of causation. In: Blackburn P, Ghidini C, Turner RM, Giunchiglia F (eds) Modeling and using context, LNCS, vol 2680. Springer, pp 40\u201353","DOI":"10.1007\/3-540-44958-2_4"},{"key":"186_CR7","doi-asserted-by":"crossref","unstructured":"Chapin PC, Skalka C, Wang XS (2005) Risk assessment in distributed authorization. In: Atluri V, Samarati P, K\u00fcsters R, Mitchell JC (eds) Proceedings of the 2005 ACM workshop on formal methods in security engineering, FMSE 2005, ACM, pp 33\u201342","DOI":"10.1145\/1103576.1103581"},{"key":"186_CR8","doi-asserted-by":"crossref","unstructured":"Cristani M, Karafili E, Vigan\u00f2 L (2012) Towards a logical framework for reasoning about risk. In: Quirchmayr G, Basl J, You I, Xu L, Weippl E (eds) CD-ARES 2012, Proceedings of the 2nd IFIP international workshop on security and cognitive informatics for Homeland Defense (SeCIHD\u201912), in conjunction with ARES 2012, LNCS, vol 7465. Springer, pp 609\u2013623","DOI":"10.1007\/978-3-642-32498-7_46"},{"issue":"3","key":"186_CR19","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0167-4048(96)00008-9","volume":"15","author":"W.G. Ru de","year":"1996","unstructured":"de Ru WG, Eloff JHP (1996) Risk analysis modelling with the use of fuzzy logic. Comput Secur 15(3):239\u2013248","journal-title":"Comput Secur"},{"key":"186_CR9","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino M, Gabbay DM, H\u00e4hnle R, Posegga J (eds) (1999) Handbook of tableau methods. Kluwer, Dordrecht","DOI":"10.1007\/978-94-017-1754-0"},{"key":"186_CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"J.M. Dunn","year":"1995","unstructured":"Dunn JM (1995) Positive modal logic. Studia Logica 55:301\u2013317","journal-title":"Studia Logica"},{"key":"186_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay DM (1996) Labelled deductive systems. Clarendon Press, Oxford","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"issue":"1-2","key":"186_CR12","doi-asserted-by":"crossref","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 (2004) Nonmonotonic causal theories. Artif Intell 153(1\u20132):49\u2013104","journal-title":"Artificial Intelligence"},{"key":"186_CR13","doi-asserted-by":"crossref","unstructured":"Gor\u00e9 R (1999) Tableau methods for modal and temporal logics. In: D\u2019Agostino M, Gabbay DM, H\u00e4hnle R, Posegga J (eds) The handbook of tableau methods. Kluwer, Dordrecht","DOI":"10.1007\/978-94-017-1754-0_6"},{"issue":"4","key":"186_CR14","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1142\/S0218488502001521","volume":"10","author":"C. Huang","year":"2002","unstructured":"Huang C, Moraga C (2002) A fuzzy risk model and its matrix algorithm. Int J Uncertaint Fuzziness Knowl Based Syst 10(4):347\u2013362","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"issue":"17","key":"186_CR15","doi-asserted-by":"crossref","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D. Lewis","year":"1973","unstructured":"Lewis D (1973) Causation. J Philos 70(17):556\u2013567","journal-title":"J Philos"},{"issue":"4","key":"186_CR16","doi-asserted-by":"crossref","first-page":"182","DOI":"10.2307\/2678389","volume":"97","author":"D. Lewis","year":"2000","unstructured":"Lewis D (2000) Causation as influence. J Philos 97(4):182\u2013197","journal-title":"J Philos"},{"key":"186_CR17","unstructured":"Li N, Mitchell JC (2003) A role-based trust-management framework. In: 3rd DARPA information survivability conference and exposition (DISCEX-III 2003). IEEE Computer Society, pp 201\u2013212"},{"key":"186_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.entcs.2010.04.014","volume":"262","author":"A. Masini","year":"2010","unstructured":"Masini A, Vigan\u00f2 L, Volpe M (2010) A history of until. Electron Notes Theor Comput Sci 262:189\u2013204","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"2","key":"186_CR20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1142\/S0218539309003320","volume":"16","author":"N. Schneidewind","year":"2009","unstructured":"Schneidewind N (2009) Software risk analysis. Int J Reliab Quality Safety Eng 16(2):117\u2013136","journal-title":"Int J Reliab Quality Safety Eng"},{"issue":"1\u20134","key":"186_CR21","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1023\/A:1018964524717","volume":"28","author":"G. Shafer","year":"2000","unstructured":"Shafer G, Gillett PR, Scherl RB (2000) The logic of events. Ann Math Artif Intell 28(1\u20134):315\u2013389","journal-title":"Ann Math Artif Intell"},{"key":"186_CR22","doi-asserted-by":"crossref","unstructured":"Singh A, Lilja DJ (2009) Improving risk assessment methodology: a statistical design of experiments approach. In: El\u00e7i A, Makarevich OB, Orgun MA, Chefranov AG, Pieprzyk J, Bryukhomitsky YA, \u00d6rs SB (eds) Proceedings of the 2nd international conference on security of information and networks, SIN 2009, ACM, pp 21\u201329","DOI":"10.1145\/1626195.1626205"},{"issue":"3","key":"186_CR23","doi-asserted-by":"crossref","first-page":"243","DOI":"10.3233\/ICA-2009-0318","volume":"16","author":"L. Tan","year":"2009","unstructured":"Tan L, Xu S (2009) A model-checking-based approach to risk analysis in supply chain consolidations. Integr Comput Aided Eng 16(3):243\u2013257","journal-title":"Integrated Computer-Aided Engineering"},{"key":"186_CR24","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1111\/j.1467-8640.1995.tb00047.x","volume":"11","author":"P. Terenziani","year":"1995","unstructured":"Terenziani P, Torasso P (1995) Time, action-types, causation: an integrated analysis. Comput Intell 11:529\u2013552","journal-title":"Computational Intelligence"},{"issue":"1-2","key":"186_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(99)00058-2","volume":"113","author":"H. Turner","year":"1999","unstructured":"Turner H (1999) A logic of universal causation. Artif Intell 113(1\u20132):87\u2013123","journal-title":"Artificial Intelligence"},{"key":"186_CR26","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2 L (2000) Labelled non-classical logics. Kluwer, Dordrecht","DOI":"10.1007\/978-1-4757-3208-5"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-013-0186-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-013-0186-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-013-0186-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T09:23:17Z","timestamp":1715764997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-013-0186-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,26]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["186"],"URL":"https:\/\/doi.org\/10.1007\/s12652-013-0186-7","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,26]]}}}