Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
José Arrazola
Observed names:
J. Arrazola,
JOSÉ ARRAZOLA,
Jose Arrazola,
José Ramón Arrazola,
José Ramón Enrique Arrazola
Institution:
Benemérita Universidad Autónoma de Puebla
Observed institutions:
Universidad de las Américas,
Universidad de las Américas Puebla,
Benemérita Universidad Autónoma de Puebla
OpenAlex ID:
A5005961983
Equivalence in Answer Set Programming
2002
·
Mauricio Osorio
, Juan A. Navarro
, et al.
·
Lecture notes in computer science
·
57
Applications of intuitionistic logic in Answer Set Programming
2004
·
MAURICIO OSORIO
, JUAN A. NAVARRO
, et al.
·
Theory and Practice of Logic Programming
·
50
PDF
Safe beliefs for propositional theories
2004
·
Mauricio Osorio
, Juan Antonio Navarro Pérez
, et al.
·
Annals of Pure and Applied Logic
·
28
Equivalence for the G 3 ′ -stable models semantics
2009
·
José Luis Carballido
, Mauricio Osorio
, et al.
·
Journal of Applied Logic
·
8
Three Valued Logic of Łukasiewicz for Modeling Semantics of Logic Programs
2004
·
Mauricio Osorio
, Verónica Borja
, et al.
·
Lecture notes in computer science
·
5
Closing the Gap between the Stable Semantics and Extensions of WFS
2004
·
Mauricio Osorio
, Veronica Borja
, et al.
·
Lecture notes in computer science
·
5
Equivalence for the G3'-stable models semantics.
2007
·
José Luis Carballido
, José Arrazola
, et al.
·
4
A logical approach to A-Prolog
2002
·
Mauricio Osorio
, Juan Antonio Navarro
, et al.
·
Electronic Notes in Theoretical Computer Science
·
4
PDF
Debugging in A-Prolog: A Logical Approach
2002
·
Mauricio Osorio
, Juan Antonio Navarro
, et al.
·
Lecture notes in computer science
·
4
Confluent Rewriting Systems in Non-Monotonic Reasoning
1998
·
José Arrazola
, Jürgen Dix
, et al.
·
4
Counfluent Rewriting Systems in Non-Monotonic Reasoning
2009
·
José Arrazola
, Jürgen Dix
, et al.
·
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)
·
3
(Hyper)sequent Calculi for the ALC(S4) Description Logics
2016
·
Juan Pablo Muñoz
, Everardo Bárcenas
, et al.
·
Computación y Sistemas
·
2
PDF
A Possibilistic Intuitionistic Logic
2010
·
Oscar Estrada
, José Arrazola
, et al.
·
Lecture notes in computer science
·
1
The Pac Logic in the properties of C(w) and C(min).
2008
·
José Arrazola
, Eduardo Ariza
, et al.
Analysis of the paraconsistency in some logics.
2007
·
Eduard Ariza
, José Arrazola
Formulación del modelo de concertación, negociación y consenso
1991
·
José Arrazola
·
Ciudades
Show more works
View as search
Works count:
25
Citation count:
175
H-index:
5
I10-index:
3
Year
Topic
Type
