( en | de | ru )

 

Disambiguierung von "Muñoz-Velasco, Emilio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Time Series Checking with Fuzzy Interval Temporal Logics.

, , , , und . ICTCS, Volume 2756 von CEUR Workshop Proceedings, Seite 250-262. CEUR-WS.org, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manuel Muñoz-Expósito

Juan Muñoz

Pedro Pablo Muñoz Pradas

Katherine Andrea Muñoz Sepúlveda

Manuel Muñoz-Expósito

 

Weitere Publikationen von Autoren mit dem selben Namen

On Sub-Propositional Fragments of Modal Logic., , und . CoRR, (2016)A flexible logic-based approach to closeness using order of magnitude qualitative reasoning., , und . Logic Journal of the IGPL, 28 (1): 121-133 (2020)A logic framework for reasoning with movement based on fuzzy qualitative representation., , und . Fuzzy Sets Syst., (2014)Fuzzy closure systems: Motivation, definition and properties., , , und . Int. J. Approx. Reason., (2022)A multimodal logic for closeness., , und . J. Appl. Non Class. Logics, 27 (3-4): 225-237 (2017)Tableau reductions: Towards an optimal decision procedure for the modal necessity., , und . J. Appl. Log., (2016)Functional systems in the context of temporal×modal logics with indexed flows., , und . Int. J. Comput. Math., 86 (10&11): 1696-1706 (2009)Time Series Checking with Fuzzy Interval Temporal Logics., , , , und . ICTCS, Volume 2756 von CEUR Workshop Proceedings, Seite 250-262. CEUR-WS.org, (2020)On Modal Logic Association Rule Mining., , , , , und . ICTCS, Volume 3284 von CEUR Workshop Proceedings, Seite 53-65. CEUR-WS.org, (2022)Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K., , und . SOCO-CISIS-ICEUTE, Volume 239 von Advances in Intelligent Systems and Computing, Seite 429-438. Springer, (2013)