Emilio Muñoz-Velasco

	2012
16		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco: Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) 2012: 635-646
	2011
15		Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek: Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011)
14		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A PDL Approach for Qualitative Velocity. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19(1): 11-26 (2011)
13		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora: A new deduction system for deciding validity in modal logic K. Logic Journal of the IGPL 19(2): 425-434 (2011)
	2010
12		Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. 56(1): 89-102 (2010)
	2009
11		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80
10		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. 86(10&11): 1696-1706 (2009)
9		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco: Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math. 86(10&11): 1707-1718 (2009)
8		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco: Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Logic Journal of the IGPL 17(4): 375-394 (2009)
	2008
7		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
6		Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139
5		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. 85(3&4): 371-383 (2008)
	2007
4		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219
	2006
3		Gabriel 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. IBERAMIA-SBIA 2006: 602-611
	2005
2		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
	2002
1		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-

Coauthor Index

1	Gabriel Aguilera	[3]
2	Alfredo Burrieza	[1] [2] [3] [4] [5] [7] [10] [11] [12] [14]
3	Pablo Cordero	[3]
4	Joanna Golinska-Pilarek	[6] [8] [9] [13] [15] [16]
5	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [3] [5] [10] [12]
6	Angel Mora (Angel Mora Bonilla)	[6] [13] [15]
7	Manuel Ojeda-Aciego	[2] [4] [7] [11] [14]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page