Research

Accepted

O. Hovardovska, M. Tarman, G. De Marco, J. del Alamo, J. M. Blanco, J. Nyirenda, I. Rodiah, T. Heinsohn, C. Nam, L. Bouwer, B. Lange, Preparedness of European critical infrastructure operators to vector-borne outbreak, ESCAIDE 2024

M. Ge, B. Rossi, S. Chren, J. M. Blanco, Petri Nets for Smart Grids: The Story So Far, SAC2024

M. Recio, J. M. Blanco, S. López, Exploring the building blocks of 2 set-up Routley-Meyer semantics, Bulletin of Symbolic Logic

J. M. Blanco, F. Cuadrado, Formal modelling of distributed temporal graphs algorithms: the case of Raphtory, Bulletin of Symbolic Logic 

2024

J. M. Blanco, J. M. Del Álamo, J. C. Dueñas, F. Cuadrado, A Formal Model for Reliable Data Acquisition and Control in Legacy Critical Infrastructures, 2024, Electronics; doi:10.3390/electronics13071219. 

2023

J. M. Blanco, M. Ge, J. M. del Álamo, J. C. Dueñas, F. Cuadrado, A formal model for reliable digital transformation of water distribution networks, 2023, Procedia Computer Science; https://doi.org/10.1016/j.procs.2023.10.198

J. M. Blanco, S. López, M. Recio, The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras, 2023, Australasian Journal of Logic; doi: https://doi.org/10.26686/ajl.v29i2.8285

J. M. Blanco, B. Rossi, Multi-step Reasoning for IoT Devices, 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering; doi: 10.5220/0011772700003464    

J. M. Blanco, S. López, M. Recio, On how the 2 Set-up Routley-Meyer semantics are a case of the Reduced General Routley-Meyer semantics in the context of some 4-valued logics, 2023, Journal of Applied Logics; ISBN: 978-1-84890-422-4 

J. M. Blanco, M. Ge, T. Pitner, An Adaptive Filter for Preference Fine-tuning in Recommender Systems, 2023, Lecture Notes in Business Information Processing; doi: 10.1007/978-3-031-24197-0_7 

J. M. Blanco, B. Rossi, T. Pitner, A Comparative Study of Energy Domain Ontologies, 2023, Lecture Notes in Business Information Processing; doi: 10.1007/978-3-031-24197-0_3 

2022

J. M. Blanco, M. Ge, T. Pitner, Human-Generated Web Data Disentanglement for Complex Event Processing, 2022, Procedia Computer Science; doi: 10.1016/j.procs.2022.09.190 

J. M. Blanco, B. Rossi, T. Pitner, Tools for the Confluence of Semantic Web and IoT: A Survey, 2022, Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering; doi: 10.5220/0011064100003176

E. Cioroaica, J. M. Blanco, B. Rossi, Timing Model for Predictive Simulation, 2022, Proceedings of the 17th International Conference on Software Technologies; doi: 10.5220/0011317000003266 

G. Robles, S. López, J. M. Blanco, Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4, 2022, Logic and Logical Philosophy; doi: 10.12775/LLP.2022.016 

2021

J. M. Blanco, EF4, EF4-M and EF4-Ł – A companion to BN4 and two modal four-value systems without strong Łukasiewicz-type modal paradoxes, 2021, Logic and Logical Philosophy; doi: 10.12775/LLP.2021.010 

J. M. Blanco, B. Rossi, T. Pitner, A Comparison of Smart Grids Ontologies, 2021, Proceedings of the 17th International Conference on Web Information Systems and Technologies; doi: 10.5220/0010710000003058 

J. M. Blanco, B. Rossi, T. Pitner, A Time-sensitive Model for Data Tampering Detection for the Advanced Metering Infrastructure, 2021, Proceedings of the 16th Conference on Computer Science and Intelligence Systems; doi: 10.15439/2021f106

J. M. Blanco, M. Ge, T. Pitner, Modeling Inconsistent Data for Reasoners in Web of Things, 2021, Procedia Computer Science; doi: 10.1016/j.procs.2021.08.130 

J. M. Blanco, M. Ge, T. Pitner, Recommendation Recovery with Adaptive Filter for Recommender Systems, 2021, Proceedings of the 17th International Conference on Web Information Systems and Technologies; doi: 10.5220/0010653600003058 

2020

J. M. Blanco, An implicative expansion of Belnap’s four-valued matrix: A modal fourvalued logic without strong Łukasiewicz-type modal paradoxes, 2020, Bulletin of Symbolic Logic; doi: 10.1017/bsl.2020.27 

2018

J. M. Blanco, An implicative expansion of Belnap’s four-valued matrix: A modal fourvalued logic without strong Łukasiewicz-type modal paradoxes (In Spanish), 2018, Digital repository of Gredos, University of Salamanca, Salamanca; doi: 10.14201/gredos.139440 

G. Robles, F. Salto, J. M. Blanco, Routley-Meyer semantics for natural implicative expansions of Kleene’s strong three-valued matrix, 2018, Bulletin of Symbolic Logic, 24(2), 263; doi:10.1017/bsl.2019.56 

2016

G. Robles, S. M. López, J. M. Blanco, M. M. Recio, J. R. Paradela, A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4, 2016, Bulletin of the Section of Logic, 45(2), 93-109, doi: 10.18778/0138-0680.45.2.03 

G. Robles, J. M. Blanco, S. M. López, J. R. Paradela, M. M. Recio, Relational semantics for the 4-valued relevant logics BN4 and E4, 2016, Logic and Logical Philosophy, 25, 173-201, doi: 10.12775/LLP.2016.006 

2015

J. M. Blanco, Two axiomatizations for the logical matrix EF4 (In Spanish), 2015, I.N.I.C.E., España, ISBN: 978-84-937854-9-9, 2015 

J. M. Blanco, Corresponding semantic postulates for Modus Ponens axiom, Modus Tollens axiom and similar theses in context of relevance logic DW (In Spanish), 2015, Digital repository of Gredos, University of Salamanca, Salamanca;