2008 |
7 | EE | Alfredo Burrieza,
Emilio Muñoz-Velasco,
Manuel Ojeda-Aciego:
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.
IBERAMIA 2008: 11-20 |
6 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alfredo Burrieza,
Emilio Muñoz-Velasco,
Manuel Ojeda-Aciego:
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
CAEPIA 2005: 370-378 |
2002 |
1 | EE | Alfredo Burrieza,
Inman P. de Guzmán,
Emilio Muñoz-Velasco:
Indexed Flows in Temporal x Modal Logic with Functional Semantics.
TIME 2002: 146- |