{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:53:01Z","timestamp":1757623981059,"version":"3.44.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031947476"},{"type":"electronic","value":"9783031947483"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-94748-3_9","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:35Z","timestamp":1754939675000},"page":"105-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Paraconsistent Reactive Graphs"],"prefix":"10.1007","author":[{"given":"Juliana","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"key":"9_CR1","unstructured":"Borceux, F.: Locales, Encyclopedia of Mathematics and its Applications, p. 1\u201386. Cambridge University Press, Cambridge (1994). https:\/\/www.cambridge.org\/core\/books\/handbook-of-categorical-algebra\/A0B8285BBA900AFE85EED8C971E0DE14"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.O.: On the minimum many-valued modal logic over a finite residuated lattice. J. Logic Comput.21(5), 739\u2013790 (2009). https:\/\/doi.org\/10.1093\/logcom\/exp062","DOI":"10.1093\/logcom\/exp062"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s00012-014-0265-4","volume":"71","author":"M Busaniche","year":"2014","unstructured":"Busaniche, M., Cignoli, R.: The subvariety of commutative residuated lattices represented by twist-products. Algebra Univers. 71(1), 5\u201322 (2014). https:\/\/doi.org\/10.1007\/s00012-014-0265-4","journal-title":"Algebra Univers."},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102776","volume":"216","author":"S Campos","year":"2022","unstructured":"Campos, S., Santiago, R., Martins, M.A., Figueiredo, D.: Introduction to reversal fuzzy switch graph. Sci. Comput. Program. 216, 102776 (2022)","journal-title":"Sci. Comput. Program."},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2022.03.015","volume":"466","author":"S Campos","year":"2023","unstructured":"Campos, S., Santiago, R., Martins, M.A., Figueiredo, D.: Aggregation-based operations for reversal fuzzy switch graphs. Fuzzy Sets Syst. 466, 108273 (2023)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2023.100870","volume":"133","author":"D Costa","year":"2023","unstructured":"Costa, D., Figueiredo, D., Martins, M.A.: Relation-changing models meet paraconsistency. J. Logical Algebraic Methods Program. 133, 100870 (2023)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Costa, D., Martins, M.A.: Paraconsistency in hybrid logic. J. Logic Comput. 27(6), 1825\u20131852 (10 2016). https:\/\/doi.org\/10.1093\/logcom\/exw027","DOI":"10.1093\/logcom\/exw027"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Costa, D., Martins, M.A.: Measuring inconsistent diagnoses. In: 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom), pp.\u00a01\u20134 (2018). https:\/\/doi.org\/10.1109\/HealthCom.2018.8531146","DOI":"10.1109\/HealthCom.2018.8531146"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Cruz, A., Madeira, A., Barbosa, L.S.: Paraconsistent transition systems. In: Nantes-Sobrinho, D., Fontaine, P. (eds.) Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. EPTCS, vol.\u00a0376. pp. 3\u201315 (2022). https:\/\/doi.org\/10.4204\/EPTCS.376.3","DOI":"10.4204\/EPTCS.376.3"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Paraconsistent relations as a variant of kleene algebras. -- (2024)","DOI":"10.4204\/EPTCS.421.8"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-031-35257-7_20","volume-title":"Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol","author":"J Cunha","year":"2023","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Stepwise development of paraconsistent processes. In: David, C., Sun, M. (eds.) TASE 2023. LNCS, vol. 13931, pp. 327\u2013343. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_20"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-031-42441-0_1","volume-title":"Fundamentals of Software Engineering - 10th International Conference, FSEN 2023","author":"J Cunha","year":"2023","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Structured specification of paraconsistent transition systems. In: Hojjat, H., \u00c1brah\u00e1m, E. (eds.) FSEN 2023. LNCS, vol. 14155, pp. 1\u201317. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42441-0_1"},{"key":"9_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2024.103196","volume":"240","author":"J Cunha","year":"2025","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Specification of paraconsistent transition systems, revisited. Sci. Comput. Program. 240, 103196 (2025)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10472-012-9316-8","volume":"66","author":"D Gabbay","year":"2012","unstructured":"Gabbay, D., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1), 131\u2013162 (2012). https:\/\/doi.org\/10.1007\/s10472-012-9316-8","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR15","doi-asserted-by":"publisher","unstructured":"Gabbay, D.M.: Introducing reactive kripke semantics and arc accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 292\u2013341. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78127-1_17","DOI":"10.1007\/978-3-540-78127-1_17"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Mousavi, M.R., Varshosaz, M.: Telling lies in process algebra. In: Pang, J., Zhang, C., He, J., Weng, J. (eds.) 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, pp. 116\u2013123. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/TASE.2018.00023","DOI":"10.1109\/TASE.2018.00023"},{"issue":"9","key":"9_CR17","doi-asserted-by":"publisher","first-page":"6759","DOI":"10.1007\/s00500-020-05353-1","volume":"25","author":"R Santiago","year":"2021","unstructured":"Santiago, R., Martins, M.A., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on biology. Soft. Comput. 25(9), 6759\u20136774 (2021). https:\/\/doi.org\/10.1007\/s00500-020-05353-1","journal-title":"Soft. Comput."},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-031-71261-6_6","volume-title":"Formal Aspects of Component Software - 20th International Conference, FACS 2024","author":"D Tinoco","year":"2024","unstructured":"Tinoco, D., Martins, M.A., Proen\u00e7a, J.: Reactive graphs in action. In: Marmsoler, D., Sun, M. (eds.) FACS 2024. LNCS, vol. 15189, pp. 97\u2013105. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71261-6_6"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T10:31:01Z","timestamp":1757413861000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}