×

Osorio, Mauricio A.

Author ID: osorio.mauricio-a Recent zbMATH articles by "Osorio, Mauricio A."
Published as: Osorio, Mauricio; Osorio, Mauricio A.
External Links: MGP · ORCID · dblp
Documents Indexed: 48 Publications since 1995
Co-Authors: 33 Co-Authors with 46 Joint Publications
316 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 102 times in 75 Documents Cited by Year
Mixed logical-linear programming. Zbl 0945.90031
Hooker, J. N.; Osorio, M. A.
27
1999
Equivalence in answer set programming. Zbl 1073.68586
Osorio, Mauricio; Navarro, Juan A.; Arrazola, José
12
2002
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
9
2008
Revisiting \(\mathbb Z\). Zbl 1326.03033
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
9
2014
Applications of intuitionistic logic in answer set programming. Zbl 1088.68028
Osorio, Mauricio; Navarro, Juan A.; Arrazola, José
8
2004
A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069
Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia
8
2001
Semantics for possibilistic disjunctive programs. Zbl 1149.68337
Nieves, Juan Carlos; Osorio, Mauricio; Cortés, Ulises
6
2007
An HDG method for Maxwell’s equations in heterogeneous media. Zbl 1506.74394
Camargo, Liliana; López-Rodríguez, Bibiana; Osorio, Mauricio; Solano, Manuel
5
2020
Semantics for possibilistic disjunctive programs. Zbl 1272.68081
Nieves, Juan Carlos; Osorio, Mauricio; Cortés, Ulises
4
2013
A schema for generating relevant logic programming semantics and its applications in argumentation theory. Zbl 1244.68073
Nieves, Juan Carlos; Osorio, Mauricio; Zepeda, Claudia
4
2011
Theory of partial-order programming. Zbl 0939.68073
Osorio, Mauricio; Jayaraman, Bharat; Plaisted, David A.
3
1999
Safe beliefs for propositional theories. Zbl 1074.03013
Osorio, Mauricio; Navarro Pérez, Juan Antonio; Arrazola, José
3
2005
Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
3
2015
Updates in answer set programming: An approach based on basic structural properties. Zbl 1120.68037
Osorio, Mauricio; Cuevas, Víctor
3
2007
Dealing with explicit preferences and uncertainty in answer set programming. Zbl 1258.68139
Confalonieri, Roberto; Nieves, Juan Carlos; Osorio, Mauricio; Vázquez-Salceda, Javier
3
2012
Error analysis of a modified discontinuous Galerkin recovery scheme for diffusion problems. Zbl 1245.65149
French, Donald A.; Galbraith, Marshall C.; Osorio, Mauricio
3
2012
Range-based argumentation semantics as two-valued models. Zbl 1379.68299
Osorio, Mauricio; Nieves, Juan Carlos
2
2017
Debugging in A-Prolog: A logical approach. Zbl 1045.68518
Osorio, Mauricio; Navarro, Juan Antonio; Arrazola, José
2
2002
An application of clasp in the study of logics. Zbl 1327.68069
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
2
2011
Strong negation and equivalence in the safe belief semantics. Zbl 1151.03018
Ortiz, Magdalena; Osorio, Mauricio
2
2007
A family of genuine and non-algebraisable C-systems. Zbl 1515.03127
Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel
2
2021
Equivalence among RC-type paraconsistent logics. Zbl 1405.03065
Osorio, Mauricio; Castellanos Joo, José Abel
1
2017
Defining stage argumentation semantics in terms of an abducible semantics. Zbl 1401.68175
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
1
2016
An a priori error analysis of an HDG method for an eddy current problem. Zbl 1448.65218
Bustinza, Rommel; Lopez-Rodriguez, Bibiana; Osorio, Mauricio
1
2018
On paraconsistent extensions of \(C_1\). Zbl 1352.03037
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
1
2014
Ideal extensions as logical programming models. Zbl 1354.68258
Nieves, Juan Carlos; Osorio, Mauricio
1
2016
Equivalence for the \(G_3^\prime\)-stable models semantics. Zbl 1192.68660
Carballido, José Luis; Osorio, Mauricio; Arrazola, José Ramón
1
2010
Aggregation in functional query languages. Zbl 1084.68529
Osorio, Mauricio; Nieves, Juan Carlos; Jayaraman, Bharat
1
2004
A Galerkin meshfree method with diffuse derivatives and stabilization. Zbl 1312.65125
French, Donald A.; Osorio, Mauricio
1
2012
Partial order programming (revisited). Zbl 1496.68111
Jayaraman, Bharat; Osorio, Mauricio; Moon, Kyonghee
1
1995
A family of genuine and non-algebraisable C-systems. Zbl 1515.03127
Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel
2
2021
An HDG method for Maxwell’s equations in heterogeneous media. Zbl 1506.74394
Camargo, Liliana; López-Rodríguez, Bibiana; Osorio, Mauricio; Solano, Manuel
5
2020
An a priori error analysis of an HDG method for an eddy current problem. Zbl 1448.65218
Bustinza, Rommel; Lopez-Rodriguez, Bibiana; Osorio, Mauricio
1
2018
Range-based argumentation semantics as two-valued models. Zbl 1379.68299
Osorio, Mauricio; Nieves, Juan Carlos
2
2017
Equivalence among RC-type paraconsistent logics. Zbl 1405.03065
Osorio, Mauricio; Castellanos Joo, José Abel
1
2017
Defining stage argumentation semantics in terms of an abducible semantics. Zbl 1401.68175
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
1
2016
Ideal extensions as logical programming models. Zbl 1354.68258
Nieves, Juan Carlos; Osorio, Mauricio
1
2016
Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
3
2015
Revisiting \(\mathbb Z\). Zbl 1326.03033
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
9
2014
On paraconsistent extensions of \(C_1\). Zbl 1352.03037
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
1
2014
Semantics for possibilistic disjunctive programs. Zbl 1272.68081
Nieves, Juan Carlos; Osorio, Mauricio; Cortés, Ulises
4
2013
Dealing with explicit preferences and uncertainty in answer set programming. Zbl 1258.68139
Confalonieri, Roberto; Nieves, Juan Carlos; Osorio, Mauricio; Vázquez-Salceda, Javier
3
2012
Error analysis of a modified discontinuous Galerkin recovery scheme for diffusion problems. Zbl 1245.65149
French, Donald A.; Galbraith, Marshall C.; Osorio, Mauricio
3
2012
A Galerkin meshfree method with diffuse derivatives and stabilization. Zbl 1312.65125
French, Donald A.; Osorio, Mauricio
1
2012
A schema for generating relevant logic programming semantics and its applications in argumentation theory. Zbl 1244.68073
Nieves, Juan Carlos; Osorio, Mauricio; Zepeda, Claudia
4
2011
An application of clasp in the study of logics. Zbl 1327.68069
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia
2
2011
Equivalence for the \(G_3^\prime\)-stable models semantics. Zbl 1192.68660
Carballido, José Luis; Osorio, Mauricio; Arrazola, José Ramón
1
2010
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
9
2008
Semantics for possibilistic disjunctive programs. Zbl 1149.68337
Nieves, Juan Carlos; Osorio, Mauricio; Cortés, Ulises
6
2007
Updates in answer set programming: An approach based on basic structural properties. Zbl 1120.68037
Osorio, Mauricio; Cuevas, Víctor
3
2007
Strong negation and equivalence in the safe belief semantics. Zbl 1151.03018
Ortiz, Magdalena; Osorio, Mauricio
2
2007
Safe beliefs for propositional theories. Zbl 1074.03013
Osorio, Mauricio; Navarro Pérez, Juan Antonio; Arrazola, José
3
2005
Applications of intuitionistic logic in answer set programming. Zbl 1088.68028
Osorio, Mauricio; Navarro, Juan A.; Arrazola, José
8
2004
Aggregation in functional query languages. Zbl 1084.68529
Osorio, Mauricio; Nieves, Juan Carlos; Jayaraman, Bharat
1
2004
Equivalence in answer set programming. Zbl 1073.68586
Osorio, Mauricio; Navarro, Juan A.; Arrazola, José
12
2002
Debugging in A-Prolog: A logical approach. Zbl 1045.68518
Osorio, Mauricio; Navarro, Juan Antonio; Arrazola, José
2
2002
A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069
Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia
8
2001
Mixed logical-linear programming. Zbl 0945.90031
Hooker, J. N.; Osorio, M. A.
27
1999
Theory of partial-order programming. Zbl 0939.68073
Osorio, Mauricio; Jayaraman, Bharat; Plaisted, David A.
3
1999
Partial order programming (revisited). Zbl 1496.68111
Jayaraman, Bharat; Osorio, Mauricio; Moon, Kyonghee
1
1995
all top 5

Cited by 125 Authors

20 Osorio, Mauricio A.
10 Nieves, Juan Carlos
6 Zepeda, Claudia
5 Arrazola Ramírez, José Ramón Enrique
4 Carballido, José Luis
4 Pérez-Gaspar, Miguel
3 De Cock, Martine
3 Figallo Orellano, Aldo
3 Schockaert, Steven
2 Bauters, Kim
2 Borja Macías, Verónica
2 Cabalar, Pedro
2 Camargo, Liliana
2 Castellanos, José Abel
2 Confalonieri, Roberto
2 Cortés, Ulises
2 Dix, Jurgen
2 Eiter, Thomas
2 Leite, João
2 Lindgren, Helena
2 López-Rodríguez, Bibiana
2 Osorio Galindo, Mauricio
2 Sakama, Chiaki
2 Saribatur, Zeynep Gozen
2 Schubert, Aleksy
2 Slota, Martin
2 Solano, Manuel E.
2 Urzyczyn, Paweł
2 Vermeir, Dirk
2 Woltran, Stefan
1 Aguado, Felicidad
1 Alcântara, João
1 Angiulli, Fabrizio
1 Areces, Carlos
1 Atkinson, Katie
1 Baccouch, Mahboub
1 Bárcenas, Everardo
1 Barucq, Hélène
1 Ben-Eliyahu-Zohary, Rachel
1 Carballido Carranza, José Luis
1 Cassano, Valentín
1 Castro, Pablo F.
1 Charwat, Günther
1 Chesñevar, Carlos Iván
1 Clack, Jhules
1 Cockburn, Bernardo
1 Cornejo, Maria Eugenia
1 Demir, İzzettin
1 Du, Shukai
1 Dunne, Paul E.
1 Dvořák, Wolfgang
1 Everardo, Flavio
1 Faber, Wolfgang
1 Fandinno, Jorge
1 Fassetti, Fabio
1 Fervari, Raul
1 French, Donald A.
1 Gabbay, Dov M.
1 Gaggl, Sarah Alice
1 Ginzburg, Viktor L’vovich
1 Guerrero, Esteban
1 Guo, Haifeng
1 Gürel, Basak Zehra
1 Hernández-Tello, Alejandro
1 Hoffmann, Guillaume
1 Imaz, Gonzalo E.
1 Imbachí, Wilmar
1 Inoue, Katsumi
1 Jayaraman, Bharat
1 Johnsen, Eric
1 Johnson, Philip E.
1 Kampik, Timotheus
1 Kern-Isberner, Gabriele
1 Konczak, Kathrin
1 Krümpelmann, Patrick
1 Liang, Dong
1 Liao, Beishui
1 Lobo, David
1 Lyon, Tim S.
1 Ma, Heping
1 Medina, Jesús
1 Méndez, José M.
1 Merhej, Elie
1 Morveli-Espinoza, Mariela
1 Navarro, Juan Antonio
1 Niki, Satoru
1 Niu, Cuixia
1 Nofal, Samer
1 Odintsov, Sergei P.
1 Okurer, Merve
1 Palopoli, Luigi
1 Passarotto, Mauro
1 Pérez, Gilberto
1 Pérez, Juan Antonio Navarro
1 Pitassi, Silvano
1 Possebom, Ayslan Trevizan
1 Prade, Henri M.
1 Puyol-Gruart, Josep
1 Ramírez-Contreras, Juan Manuel
1 Riguzzi, Fabrizio
...and 25 more Authors

Citations by Year