Emilio Muñoz‐Velasco

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Davide Bresolin, Agi Kurucz, Emilio Muñoz‐Velasco et al. · BIROn (Birkbeck, University of London) · 2017 · 28 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +12

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance

Joanna Golińska‐Pilarek, Emilio Muñoz‐Velasco · Logic Journal of IGPL · 2009 · 15 citations

Engineering, Constructive Logic, Classical Logic +18

Implementing a relational theorem prover for modal logic

Ángel Mora, Emilio Muñoz‐Velasco, Joanna Golińska‐Pilarek · International Journal of Computer Mathematics · 2011 · 12 citations

Relational Theorem Prover, Relational Logic, Engineering +13

A logic framework for reasoning with movement based on fuzzy qualitative representation

Emilio Muñoz‐Velasco, Alfredo Burrieza, Manuel Ojeda‐Aciego · Fuzzy Sets and Systems · 2013 · 11 citations

Artificial Intelligence, Fuzzy Logic, Engineering +13

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

Joanna Golińska‐Pilarek, Taneli Huuskonen, Emilio Muñoz‐Velasco · Annals of Pure and Applied Logic · 2013 · 10 citations