Search the dblp DataBase

Publications of Author

1. Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska
   Relational Approach to Order-of-Magnitude Reasoning. [Citation Graph (0, 0)][DBLP]
   Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:105-124 [Conf]
   
2. Alfredo Burrieza, Emilio Muñoz, Manuel Ojeda-Aciego
   Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. [Citation Graph (0, 0)][DBLP]
   CAEPIA, 2005, pp:370-378 [Conf]
   
3. Alfredo Burrieza, Manuel Ojeda-Aciego
   A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. [Citation Graph (0, 0)][DBLP]
   CAEPIA, 2003, pp:66-75 [Conf]
   
4. Alfredo Burrieza, Inman P. de Guzmán
   A Temporal × Modal Approach to the Definability of Properties of Functions. [Citation Graph (0, 0)][DBLP]
   FroCos, 2002, pp:239-254 [Conf]
   
5. Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz
   MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. [Citation Graph (0, 0)][DBLP]
   IBERAMIA-SBIA, 2006, pp:602-611 [Conf]
   
6. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz
   Indexed Flows in Temporal x Modal Logic with Functional Semantics. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:146-0 [Conf]
   
7. Alfredo Burrieza, Inman P. de Guzmán
   A functional approach for temporal × modal logics. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 2003, v:39, n:2, pp:71-96 [Journal]
   
8. Alfredo Burrieza, Manuel Ojeda-Aciego
   A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:68, n:1-2, pp:21-46 [Journal]
   
9. Alfredo Burrieza, Inman P. de Guzmán
   A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]
   
10. Alfredo Burrieza, E. Muñoz-Velasco, Manuel Ojeda-Aciego
    A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2007, pp:210-219 [Conf]
    
11. 
    Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. [Citation Graph (, )][DBLP]
    
    
12. 
    A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. [Citation Graph (, )][DBLP]