Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 
   Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. [Citation Graph (, )][DBLP]
   
   
6. 
   A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. [Citation Graph (, )][DBLP]
   
   
7. 
   An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. [Citation Graph (, )][DBLP]