 | 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- |
