The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Emilio Muñoz-Velasco" ( http://dblp.L3S.de/Authors/Emilio_Muñoz-Velasco )

URL (Homepage):  http://www.matap.uma.es/profesor/emilio/emilioeng.html  Author page on DBLP  Author page in RDF  Community of Emilio Muñoz-Velasco in ASPL-2

Publication years (Num. hits)
2002-2011 (15) 2012-2016 (17) 2017-2019 (9)
Publication types (Num. hits)
article(20) inproceedings(21)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 42 publication records. Showing 41 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2019 DBLP  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan On coarser interval temporal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A Relational Extension of Galois Connections. Search on Bibsonomy ICFCA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco Extracting Interval Temporal Logic Rules: A First Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A multimodal logic for closeness. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan Implementation of a Tableau-based Satisfiability Checker for HS3. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Fast(er) Reasoning in Interval Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 Tableau reductions: Towards an optimal decision procedure for the modal necessity. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On the Complexity of Fragments of Horn Modal Logics. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. Search on Bibsonomy HAIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco A hybrid qualitative approach for relative movements. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco On Coarser Interval Temporal Logics and their Satisfiability Problem. Search on Bibsonomy CAEPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco Undecidability of Chop. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco A Movement Control System Based on Qualitative Reasoning. Search on Bibsonomy SOCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego A logic framework for reasoning with movement based on fuzzy qualitative representation. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco A First Study of the Horn Fragment of the Modal Logic of Time Intervals. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. Search on Bibsonomy SOCO-CISIS-ICEUTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla Relational dual tableau decision procedure for modal logic K. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco Reasoning with Qualitative Velocity: Towards a Hybrid Approach. Search on Bibsonomy HAIS (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angel Mora 0001, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek Implementing a relational theorem prover for modal logic. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A PDL Approach for Qualitative Velocity. Search on Bibsonomy International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora 0001 A new deduction system for deciding validity in modal logic K. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco Analyzing completeness of axiomatic functional systems for temporal × modal logics. Search on Bibsonomy Math. Log. Q. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco Functional systems in the context of temporal×modal logics with indexed flows. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Emilio Muñoz-Velasco Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. Search on Bibsonomy CAEPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco Generalization of some properties of relations in the context of functional temporal×modal logic. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Angel Mora 0001, Emilio Muñoz-Velasco An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. Search on Bibsonomy IBERAMIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. Search on Bibsonomy CAEPIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. Search on Bibsonomy CAEPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco Indexed Flows in Temporal x Modal Logic with Functional Semantics. Search on Bibsonomy TIME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #41 of 41 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license