Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Osorio, Mauricio
and
Zacarías, Fernando
2004.
Foundations of Information and Knowledge Systems.
Vol. 2942,
Issue. ,
p.
231.
Osorio, Mauricio
and
Navarro, Juan Antonio
2004.
Advances in Artificial Intelligence – IBERAMIA 2004.
Vol. 3315,
Issue. ,
p.
353.
Osorio, Mauricio
Borja, Verónica
and
Arrazola, José
2004.
Advances in Artificial Intelligence – IBERAMIA 2004.
Vol. 3315,
Issue. ,
p.
343.
Osorio, Mauricio
Borja, Veronica
and
Arrazola, Jose
2004.
MICAI 2004: Advances in Artificial Intelligence.
Vol. 2972,
Issue. ,
p.
202.
Osorio, M.
Zepeda, C.
Nieves, J.C.
and
Cortes, U.
2005.
Inferring acceptable arguments with Answer Set Programming.
p.
198.
Zepeda, C.
Osorio, M.
and
Sol, D.
2005.
Modeling Evacuation Planning Using A-Prolog.
p.
292.
Osorio, Mauricio
Navarro Pérez, Juan Antonio
and
Arrazola, José
2005.
Safe beliefs for propositional theories.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 1,
p.
63.
Nieves, Juan Carlos
and
Cortés, Ulises
2006.
Modeling Decisions for Artificial Intelligence.
Vol. 3885,
Issue. ,
p.
295.
Osorio, Mauricio
and
Zepeda, Claudia
2006.
MICAI 2006: Advances in Artificial Intelligence.
Vol. 4293,
Issue. ,
p.
59.
OSORIO, MAURICIO
and
CUEVAS, VÍCTOR
2007.
Updates in answer set programming: An approach based on basic structural properties.
Theory and Practice of Logic Programming,
Vol. 7,
Issue. 4,
p.
451.
Guadarrama, J. C. Acosta
2007.
Maintaining Knowledge Bases at the Object Level.
p.
3.
Osorio, Mauricio
and
Zepeda, Claudia
2008.
Pstable Theories and Preferences.
p.
59.
Heymans, Stijn
Nieuwenborgh, Davy Van
and
Vermeir, Dirk
2008.
Open answer set programming with guarded programs.
ACM Transactions on Computational Logic,
Vol. 9,
Issue. 4,
p.
1.
Osorio Galindo, M.
Arrazola Ramirez, J. R.
and
Carballido, J. L.
2008.
Logical Weak Completions of Paraconsistent Logics.
Journal of Logic and Computation,
Vol. 18,
Issue. 6,
p.
913.
Osorio Galindo, Mauricio
and
Pascucci, Simone
2009.
Logic Programming and Nonmonotonic Reasoning.
Vol. 5753,
Issue. ,
p.
464.
Benhamou, B.
and
Siegel, P.
2012.
A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics.
p.
572.
Nieves, Juan Carlos
and
Lindgren, Helena
2015.
Possibilistic nested logic programs and strong equivalence.
International Journal of Approximate Reasoning,
Vol. 59,
Issue. ,
p.
1.
SCHUBERT, ALEKSY
and
URZYCZYN, PAWEŁ
2018.
First-order Answer Set Programming as Constructive Proof Search.
Theory and Practice of Logic Programming,
Vol. 18,
Issue. 3-4,
p.
673.
Schubert, Aleksy
and
Urzyczyn, Paweł
2018.
Answer set programming in intuitionistic logic.
Indagationes Mathematicae,
Vol. 29,
Issue. 1,
p.
276.
Everardo, Flavio
and
Osorio, Mauricio
2020.
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version.
Electronic Notes in Theoretical Computer Science,
Vol. 354,
Issue. ,
p.
29.