{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T21:21:51Z","timestamp":1768771311727,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030054526","type":"print"},{"value":"9783030054533","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T00:00:00Z","timestamp":1546128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-05453-3_7","type":"book-chapter","created":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T02:02:29Z","timestamp":1546135349000},"page":"130-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Conditional Uncertainty in Constraint Networks"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Zavatteri","sequence":"first","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":[[2018,12,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49, 61\u201395 (1991)","journal-title":"Artif. Intell."},{"key":"7_CR2","unstructured":"Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: IJCAI 2001 (2001)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Hunsberger, L., Posenato, R., Combi, C.: A sound-and-complete propagation-based algorithm for checking the dynamic consistency of conditional simple temporal networks. In: TIME 2015 (2015)","DOI":"10.1109\/TIME.2015.26"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/A:1025894003623","volume":"8","author":"I Tsamardinos","year":"2003","unstructured":"Tsamardinos, I., Vidal, T., Pollack, M.E.: CTP: a new constraint-based formalism for conditional, temporal planning. Constraints 8, 365\u2013388 (2003)","journal-title":"Constraints"},{"key":"7_CR5","unstructured":"Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNs with uncertainty. In: PlanEx 2012 (2012)"},{"key":"7_CR6","unstructured":"Zavatteri, M.: Conditional simple temporal networks with uncertainty and decisions. In: TIME 2017. LIPIcs (2017)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s00236-016-0257-2","volume":"53","author":"A Cimatti","year":"2016","unstructured":"Cimatti, A., Hunsberger, L., Micheli, A., Posenato, R., Roveri, M.: Dynamic controllability via timed game automata. Acta Inf. 53, 681\u2013722 (2016)","journal-title":"Acta Inf."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.03.002","volume":"224","author":"A Cimatti","year":"2015","unstructured":"Cimatti, A., Micheli, A., Roveri, M.: An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell. 224, 1\u201327 (2015)","journal-title":"Artif. Intell."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10601-014-9167-5","volume":"20","author":"A Cimatti","year":"2015","unstructured":"Cimatti, A., Micheli, A., Roveri, M.: Solving strong controllability of temporal problems with uncertainty using SMT. Constraints 20, 1\u201329 (2015)","journal-title":"Constraints"},{"key":"7_CR10","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Elsevier, Amsterdam (2003)"},{"key":"7_CR11","unstructured":"Fargier, H., Lang, J., Schiex, T.: Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge. In: IAAI 1996 (1996)"},{"key":"7_CR12","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: AAAI 1990 (1990)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0028188","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"H Fargier","year":"1993","unstructured":"Fargier, H., Lang, J.: Uncertainty in constraint satisfaction problems: a probabilistic approach. In: Clarke, M., Kruse, R., Moral, S. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 97\u2013104. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0028188"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-65000-5_14","volume-title":"Business Process Management","author":"M Zavatteri","year":"2017","unstructured":"Zavatteri, M., Combi, C., Posenato, R., Vigan\u00f2, L.: Weak, strong and dynamic controllability of access-controlled workflows under conditional uncertainty. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 235\u2013251. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65000-5_14"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Constraint networks under conditional uncertainty. In: 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), vol. 2, pp. 41\u201352. INSTICC, SciTePress (2018)","DOI":"10.5220\/0006553400410052"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: fundamental properties and applications to picture processing. Inf. Sci. 7, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2012.07.006","volume":"191\u2013192","author":"G Gottlob","year":"2012","unstructured":"Gottlob, G.: On minimal constraint networks. Artif. Intell. 191\u2013192, 42\u201360 (2012)","journal-title":"Artif. Intell."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8, 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"EC Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. J. ACM 29, 24\u201332 (1982)","journal-title":"J. ACM"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R Dechter","year":"1987","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint-satisfaction problems. Artif. Int. 34, 1\u201338 (1987)","journal-title":"Artif. Int."},{"key":"7_CR21","volume-title":"The Art of Computer Programming, Volume I: Fundamental Algorithms","author":"DE Knuth","year":"1968","unstructured":"Knuth, D.E.: The Art of Computer Programming, Volume I: Fundamental Algorithms. Addison-Wesley, Boston (1968)"},{"key":"7_CR22","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)","edition":"3"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0165-0114(02)00385-8","volume":"136","author":"X Luo","year":"2003","unstructured":"Luo, X., Lee, J.H.M., Leung, H.F., Jennings, N.R.: Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets Syst. 136, 155\u2013188 (2003)","journal-title":"Fuzzy Sets Syst."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Combi, C., Vigan\u00f2, L., Zavatteri, M.: Security constraints in temporal role-based access-controlled workflows. In: Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy, CODASPY 2016. ACM (2016)","DOI":"10.1145\/2857705.2857716"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Combi, C., Posenato, R., Vigan\u00f2, L., Zavatteri, M.: Access controlled temporal networks. In: ICAART 2017. INSTICC, ScitePress (2017)","DOI":"10.5220\/0006185701180131"},{"key":"7_CR26","first-page":"40:1","volume":"13","author":"Q Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur. 13, 40:1\u201340:35 (2010). https:\/\/dl.acm.org\/citation.cfm?id=1880034","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.is.2015.03.002","volume":"52","author":"C Cabanillas","year":"2015","unstructured":"Cabanillas, C., Resinas, M., del-R\u00edo-Ortega, A., Cort\u00e9s, A.R.: Specification and automated design-time analysis of the business process human resource perspective. Inf. Syst. 52, 55\u201382 (2015)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Agents and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-05453-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,9]],"date-time":"2022-09-09T08:53:55Z","timestamp":1662713635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-05453-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,30]]},"ISBN":["9783030054526","9783030054533"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-05453-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,30]]},"assertion":[{"value":"ICAART","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Agents and Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 January 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaart2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icaart.org\/?y=2018","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Primoris","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"161","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"45","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"42","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"26 Posters","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}