 | 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 |
| 11 |  | Eduardo Ariza,
José Arrazola:
Analysis of the paraconsistency in some logics.
LA-NMR 2007 |
| 10 | | José Luis Carballido,
José Arrazola,
Mauricio Osorio:
Equivalence for the G3'-stable models semantics.
LA-NMR 2007 |
| 2005 |
|---|
| 9 | | Mauricio Osorio,
Juan Antonio Navarro Pérez,
José Arrazola:
Safe beliefs for propositional theories.
Ann. Pure Appl. Logic 134(1): 63-82 (2005) |
| 2004 |
|---|
| 8 | | Mauricio Osorio,
Verónica Borja Macías,
José Arrazola:
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.
IBERAMIA 2004: 343-352 |
| 7 | | Mauricio 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 |
|---|
| 5 | | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming
CoRR cs.LO/0305046: (2003) |
| 2002 |
|---|
| 4 | | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Debugging in A-Prolog: A Logical Approach.
ICLP 2002: 482-483 |
| 3 | | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
A logical approach to A-Prolog.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 2001 |
|---|
| 2 | | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Equivalence in Answer Set Programming.
LOPSTR 2001: 57-75 |
| 1999 |
|---|
| 1 | | José Arrazola,
Jürgen Dix,
Mauricio Osorio:
Confluent Rewriting systems in Non-Monotonic Reasoning.
Computación y Sistemas 2(2-3): 104-123 (1999) |
