{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:29:34Z","timestamp":1792265374693,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642239533","type":"print"},{"value":"9783642239540","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23954-0_10","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T20:30:34Z","timestamp":1315686634000},"page":"80-91","source":"Crossref","is-referenced-by-count":8,"title":["Fuzzy Conformance Checking of Observed Behaviour with Expectations"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bragaglia","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Sottara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Logic\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"11","key":"10_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: fuzzydl: An expressive fuzzy description logic reasoner. In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2008 (IEEE World Congress on Computational Intelligence), pp. 923\u2013930 (2008)","DOI":"10.1109\/FUZZY.2008.4630480"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Fuzzy ontology representation using owl 2. International Journal of Approximate Reasoning (to appear, 2011)","DOI":"10.1016\/j.ijar.2011.05.003"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Sottara, D.: A rule-based implementation of fuzzy tableau reasoning. In: Dean, et al. (eds.) [8], pp. 35\u201349","DOI":"10.1007\/978-3-642-16289-3_5"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-13464-7_12","volume-title":"Formal Techniques for Distributed Systems","author":"F. Crespo","year":"2010","unstructured":"Crespo, F., de la Encina, A., Llana, L.: Fuzzy-timed automata. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol.\u00a06117, pp. 140\u2013154. Springer, Heidelberg (2010), doi:10.1007\/978-3-642-13464-712"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"De Capua, C., De Falco, S., Liccardo, A., Morello, R.: A technique based on uncertainty analysis to qualify the design of measurement systems. In: Proceedings of the 2005 IEEE International Workshop on Advanced Methods for Uncertainty Estimation in Measurement, pp. 97\u2013102 (May 2005)","DOI":"10.1109\/AMUEM.2005.1594614"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Semantic Web Rules","year":"2010","unstructured":"Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.): RuleML 2010. LNCS, vol.\u00a06403. Springer, Heidelberg (2010)"},{"key":"10_CR9","first-page":"1328","volume-title":"AAAI","author":"N. Desai","year":"2007","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI, pp. 1328\u20131333. AAAI Press, Menlo Park (2007)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-7908-1897-0_3","volume-title":"Fuzziness in Database Management Systems","author":"D. Dubois","year":"1995","unstructured":"Dubois, D., Prade, H.: Tolerant fuzzy pattern matching: An introduction. In: Bosc, P., Kacprzyk, J. (eds.) Fuzziness in Database Management Systems, pp. 42\u201358. Physica-Verlag, Heidelberg (1995)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0165-0114(88)90038-3","volume":"28","author":"D. Dubois","year":"1988","unstructured":"Dubois, D., Prade, H., Testemale, C.: Weighted fuzzy pattern matching. Fuzzy Sets Syst.\u00a028, 313\u2013331 (1988)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell.\u00a019(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"issue":"9-10","key":"10_CR13","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, et al. (eds.) [8], pp. 194\u2013209","DOI":"10.1007\/978-3-642-16289-3_17"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"HongKang, Z., XueLi, Y., GuangPing, Z., Kun, H.: Research on services matching and ranking based on fuzzy qos ontology. In: 2010 International Conference on Computational Aspects of Social Networks (CASoN), pp. 579\u2013582 (September 2010)","DOI":"10.1109\/CASoN.2010.134"},{"key":"10_CR16","unstructured":"JBossL. JBoss Drools 5.0 - Business Logic Integration Platform (2010)"},{"issue":"5","key":"10_CR17","first-page":"1305","volume":"25","author":"C.-H.L. Lee","year":"2009","unstructured":"Lee, C.-H.L., Liu, A., Hung, J.-S.: Service quality evaluation by personal ontology. J. Inf. Sci. Eng.\u00a025(5), 1305\u20131319 (2009)","journal-title":"J. Inf. Sci. Eng."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., Aalst, W.M.P.v.d., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. TWEB\u00a04(1) (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.fss.2008.07.002","volume":"160","author":"A. Ragone","year":"2009","unstructured":"Ragone, A., Straccia, U., Noia, T.D., Sciascio, E.D., Donini, F.M.: Fuzzy matchmaking in e-marketplaces of peer entities using datalog. Fuzzy Sets Syst.\u00a0160, 251\u2013268 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TSC.2008.17","volume":"1","author":"S. Rosario","year":"2008","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic qos and soft contracts for transaction-based web services orchestrations. IEEE Trans. Serv. Comput.\u00a01, 187\u2013200 (2008)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"11","key":"10_CR21","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MC.2009.347","volume":"42","author":"M.P. Singh","year":"2009","unstructured":"Singh, M.P., Chopra, A.K., Desai, N.: Commitment-based service-oriented architecture. IEEE Computer\u00a042(11), 72\u201379 (2009)","journal-title":"IEEE Computer"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Sora, I., Lazar, G., Lung, S.: Mapping a fuzzy logic approach for qos-aware service selection on current web service standards. In: 2010 International Joint Conference on Computational Cybernetics and Technical Informatics (ICCC-CONTI), pp. 553\u2013558 (May 2010)","DOI":"10.1109\/ICCCYB.2010.5491210"},{"issue":"11","key":"10_CR23","doi-asserted-by":"publisher","first-page":"1535","DOI":"10.1109\/TKDE.2010.125","volume":"22","author":"D. Sottara","year":"2010","unstructured":"Sottara, D., Mello, P., Proctor, M.: A configurable rete-oo engine for reasoning with different types of imperfect information. IEEE Trans. Knowl. Data Eng.\u00a022(11), 1535\u20131548 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: Satisfied or compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Torroni, P., Chesani, F., Yolum, P., Gavanelli, M., Singh, M.P., Lamma, E., Alberti, M., Mello, P.: Modelling Interactions via Commitments and Expectations. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 263\u2013284. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch011"},{"issue":"3","key":"10_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2011: Artificial Intelligence Around Man and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23954-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T05:21:54Z","timestamp":1560576114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23954-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239533","9783642239540"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23954-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}