dblp.uni-trier.dewww.uni-trier.de

José Arrazola Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
12 José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda: Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007 CEUR-WS.org 2007
11EEEduardo Ariza, José Arrazola: Analysis of the paraconsistency in some logics. LA-NMR 2007
10EEJosé Luis Carballido, José Arrazola, Mauricio Osorio: Equivalence for the G3'-stable models semantics. LA-NMR 2007
2005
9EEMauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
2004
8EEMauricio Osorio, Verónica Borja Macías, José Arrazola: Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA 2004: 343-352
7EEMauricio Osorio, Verónica Borja Macías, José Arrazola: Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI 2004: 202-211
6 Mauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004)
2003
5EEMauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
2002
4EEMauricio Osorio, Juan A. Navarro, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
3EEMauricio Osorio, Juan A. Navarro, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: (2002)
2001
2EEMauricio Osorio, Juan A. Navarro, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75
1999
1EEJosé Arrazola, Jürgen Dix, Mauricio Osorio: Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999)

Coauthor Index

1Eduardo Ariza [11]
2José Luis Carballido [10]
3Jürgen Dix [1]
4Verónica Borja Macías [7] [8]
5Juan A. Navarro [2] [3] [4] [5] [6]
6Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12]
7Pilar Pozos Parra [12]
8Juan Antonio Navarro Pérez [9]
9Claudia Zepeda [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)