The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
José Arrazola: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mauricio Osorio, Verónica Borja Macías, José Arrazola
    Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:343-352 [Conf]
  2. 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]
  3. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Equivalence in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:57-75 [Conf]
  4. Mauricio Osorio, Verónica Borja Macías, José Arrazola
    Closing the Gap between the Stable Semantics and Extensions of WFS. [Citation Graph (0, 0)][DBLP]
    MICAI, 2004, pp:202-211 [Conf]
  5. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
    Safe beliefs for propositional theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:63-82 [Journal]
  6. 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]
  7. José Arrazola, Jürgen Dix, Mauricio Osorio
    Confluent Rewriting systems in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Computación y Sistemas, 1999, v:2, n:2-3, pp:104-123 [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. Eduardo Ariza, José Arrazola
    Analysis of the paraconsistency in some logics. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]
  11. José Luis Carballido, José Arrazola, Mauricio Osorio
    Equivalence for the G3'-stable models semantics. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002