Edit Profile (opens in new tab) Osorio, Mauricio A. Co-Author Distance Author ID: 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 all top 5 Co-Authors 1 single-authored 10 Nieves, Juan Carlos 10 Zepeda, Claudia 7 Arrazola Ramírez, José Ramón Enrique 7 Carballido, José Luis 4 Navarro, Juan Antonio 3 Cortés, Ulises 3 French, Donald A. 3 Jayaraman, Bharat 3 López-Rodríguez, Bibiana 2 Camargo, Liliana 2 Castellanos, José Abel 2 Solano, Manuel E. 2 Tabares-Ospina, Héctor A. 2 Zacarias, Fernando 1 Borja, Veronica 1 Bustinza, Rommel A. 1 Carballido Carranza, José Luis 1 Castellanos Joo, José Abel 1 Clack, Jhules 1 Confalonieri, Roberto 1 Cuevas, Víctor 1 Dix, Jurgen 1 Everardo, Flavio 1 Figallo Orellano, Aldo 1 Galbraith, Marshall C. 1 Hooker, John N. jun. 1 Imbachí, Wilmar 1 Moon, Kyonghee 1 Morales, Fernando A. 1 Ortiz, Magdalena 1 Pérez-Gaspar, Miguel 1 Pérez, Juan Antonio Navarro 1 Plaisted, David Alan 1 Vázquez-Salceda, Javier all top 5 Serials 5 Theory and Practice of Logic Programming 2 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 Fundamenta Informaticae 1 Computer Methods in Applied Mechanics and Engineering 1 Discrete Applied Mathematics 1 Mathematical Methods in the Applied Sciences 1 Applied Mathematics and Computation 1 Calcolo 1 Notre Dame Journal of Formal Logic 1 Science of Computer Programming 1 Computational Mechanics 1 Journal of Scientific Computing 1 Journal of Applied Non-Classical Logics 1 Fractals 1 Annals of Mathematics and Artificial Intelligence 1 Logic Journal of the IGPL 1 The Journal of Functional and Logic Programming 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Applied Logic 1 Proyecciones 1 Logica Universalis 1 Applicable Analysis and Discrete Mathematics all top 5 Fields 31 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 9 Numerical analysis (65-XX) 4 Partial differential equations (35-XX) 3 Optics, electromagnetic theory (78-XX) 2 Measure and integration (28-XX) 1 Combinatorics (05-XX) 1 Potential theory (31-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Serials 9 International Journal of Approximate Reasoning 9 Theory and Practice of Logic Programming 7 Artificial Intelligence 5 Annals of Mathematics and Artificial Intelligence 2 Computer Methods in Applied Mechanics and Engineering 2 Annals of Pure and Applied Logic 2 Journal of Applied Non-Classical Logics 2 Journal of Applied Logic 2 Logica Universalis 1 Computers & Mathematics with Applications 1 Journal of Computational Physics 1 Rocky Mountain Journal of Mathematics 1 Mathematics of Computation 1 Applied Mathematics and Computation 1 Calcolo 1 Fuzzy Sets and Systems 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Theoretical Computer Science 1 Bulletin of the Section of Logic 1 Journal of Scientific Computing 1 AI Communications 1 Machine Learning 1 Indagationes Mathematicae. New Series 1 Journal of Logic, Language and Information 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis 1 Proyecciones 1 Arnold Mathematical Journal all top 5 Cited in 15 Fields 50 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 10 Numerical analysis (65-XX) 7 Partial differential equations (35-XX) 5 Optics, electromagnetic theory (78-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 2 Biology and other natural sciences (92-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Potential theory (31-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) Citations by Year