Search the dblp DataBase

Publications of Author

1. Juan A. Navarro, Luis F. Hernandez, J. Manuel Ramirez
   A PC-Based System for Visualization of the Electrical Axis and Vectocardiogram. [Citation Graph (0, 0)][DBLP]
   CBMS, 1998, pp:8-12 [Conf]
   
2. Mauricio Osorio, Juan A. Navarro
   Answer Set Programming and S4. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2004, pp:353- [Conf]
   
3. Mauricio Osorio, Juan A. Navarro, José Arrazola
   Debugging in A-Prolog: A Logical Approach. [Citation Graph (0, 0)][DBLP]
   ICLP, 2002, pp:482-483 [Conf]
   
4. Luis A. Montiel, Juan A. Navarro
   Computing Preferred Safe Beliefs. [Citation Graph (0, 0)][DBLP]
   LA-NMR, 2004, pp:- [Conf]
   
5. Mauricio Osorio, Juan A. Navarro, José Arrazola
   Equivalence in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:57-75 [Conf]
   
6. Richard J. Miara, Joyce A. Musselman, Juan A. Navarro, Ben Shneiderman
   Program Indentation and Comprehensibility. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1983, v:26, n:11, pp:861-867 [Journal]
   
7. Mauricio Osorio, Juan A. Navarro, José Arrazola
   Applications of Intuitionistic Logic in Answer Set Programming [Citation Graph (0, 0)][DBLP]
   CoRR, 2003, v:0, n:, pp:- [Journal]
   
8. Mauricio Osorio, Juan A. Navarro, José Arrazola
   A logical approach to A-Prolog. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
   
9. Mauricio Osorio, Juan A. Navarro, José Arrazola
   Applications of Intuitionistic Logic in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   TPLP, 2004, v:4, n:3, pp:325-354 [Journal]
   
10. 
    Operational Semantics for Declarative Networking. [Citation Graph (, )][DBLP]
    
    
11. 
    Applying Prolog to Develop Distributed Systems [Citation Graph (, )][DBLP]