The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Mauricio Osorio 0001 Mauricio Javier Osorio Galindo ( http://dblp.L3S.de/Authors/Mauricio_Osorio_0001 )

Publication years (Num. hits)
1993-2001 (17) 2002-2004 (16) 2005-2006 (24) 2007-2008 (21) 2009-2010 (21) 2011-2012 (15) 2013-2015 (16) 2016-2018 (15)
Publication types (Num. hits)
article(47) inproceedings(87) proceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 14 keywords

Results
Found 146 publication records. Showing 145 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra (eds.) Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001 Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs. Search on Bibsonomy Scientific Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jaime Díaz, José Luis Carballido, Mauricio Osorio 0001, Claudia Zepeda Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo The Pursuit of an Implication for the Logics L3A and L3B. Search on Bibsonomy Logica Universalis The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Abducible Semantics and Argumentation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Díaz, Alejandro Santoyo 0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. Search on Bibsonomy Computación y Sistemas The full citation details ... 2017 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves Range-based argumentation semantics as two-valued models. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Abel Castellanos Joo Equivalence among RC-type paraconsistent logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez Revisiting da Costa logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda (eds.) Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves Range-based argumentation semantics as 2-valued models. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001 Ideal extensions as logical programming models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Characterizing stage argumentation semantics based on stable abducible semantics. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Abel Castellanos A Single Proof of Classical Behaviour in da Costa's Cn Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda On Paraconsistent Extensions of C1. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda, José Abel Castellanos Weakening and Extending ℤ. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Díaz, Alejandro Santoyo Computing stable semantics of AF by 0-1 integer programming. Search on Bibsonomy CONIELECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Revisiting ℤ. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, José Luis Carballido Preferences for Argumentation Semantics. Search on Bibsonomy MICAI (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Juan Carlos Acosta Guadarrama, Rogelio Dávila-Pérez, Mauricio Osorio 0001, Victor Hugo Zaldivar Modeling Natural Language Metaphors with an Answer Set Programming Framework. Search on Bibsonomy MICAI (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Díaz, Alejandro Santoyo Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. Search on Bibsonomy MICAI (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Díaz, Alejandro Santoyo Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Abel Castellanos Joo A Single Proof of Classical Behaviour in Da Costa's Cn Systems. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Revisiting C1. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Alejandro Santoyo Preferred Extensions as Minimal Models of Clark's Completion Semantics. Search on Bibsonomy Research in Computing Science The full citation details ... 2013 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés Semantics for Possibilistic Disjunctive Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Some Properties of Logic N-GLukG. Search on Bibsonomy MICAI (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves, Alejandro Santoyo Complete Extensions as Clark's Completion Semantics. Search on Bibsonomy ENC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda N'5 as an Extension of G'3. Search on Bibsonomy AMW The full citation details ... 2013 DBLP  BibTeX  RDF
1Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo Possibilistic intermediate logic. Search on Bibsonomy IJAIP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro Bañuelos Sánchez, Roberto Rosas-Romero, Mauricio Javier Osorio Galindo (eds.) 22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27-29, 2012 Search on Bibsonomy CONIELECOMP The full citation details ... 2012 DBLP  BibTeX  RDF
1Roberto Rosas-Romero, Mauricio Javier Osorio Galindo, Pedro Bañuelos Sánchez Foreword. Search on Bibsonomy CONIELECOMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Confalonieri 0001, Juan Carlos Nieves, Mauricio Osorio 0001, Javier Vázquez-Salceda Dealing with explicit preferences and uncertainty in answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Alejandro Santoyo Decision Analysis with Logic and Mathematical Programming. Search on Bibsonomy LA-NMR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, José Luis Carballido, R. Carolina Medina Ramírez (eds.) Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012 Search on Bibsonomy LA-NMR The full citation details ... 2012 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Claudia Zepeda A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Victor W. Marek Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés Semantics for Possibilistic Disjunctive Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés Extending the Grounded Semantics by Logic Programming Semantics. Search on Bibsonomy CCIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda, Zenaida Cruz Characterization of Argumentation Semantics in Terms of the MM r Semantics. Search on Bibsonomy MICAI (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda An Application of Clasp in the Study of Logics. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Claudia Zepeda, José Luis Carballido, J. Manuel Amezcua, Oscar De Leon, Javier A. Martinez, Mauricio Osorio 0001 Modeling production of resources using Answer Set Planning. Search on Bibsonomy CONIELECOMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina (eds.) Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011 Search on Bibsonomy LA-NMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves, José Luis Carballido The Stable Abducible Argumentation Semantics. Search on Bibsonomy LA-NMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09). Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2010 DBLP  BibTeX  RDF
1Claudia Zepeda, José Raymundo Marcial-Romero, Mauricio Javier Osorio Galindo, Hilda Castillo, Daniel Quintos, Sergio Arzola Digital design vercation based on P-stable semantics. Search on Bibsonomy CONIELECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Javier Osorio Galindo, Claudia Zepeda, José Luis Carballido, David López 0005 Yet another application of fuzzy logic. Search on Bibsonomy CONIELECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Javier Osorio Galindo, José Luis Carballido, Claudia Zepeda Expressing p-stable semantics based on stable semantics. Search on Bibsonomy CONIELECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yazmín Magallanes-Velázquez, Iván Olmos, Mauricio Javier Osorio Galindo, Luis Oscar Peredo-Cholula, Christian Sarmiento-Vera Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach. Search on Bibsonomy CONIELECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Luis Carballido, Mauricio Osorio 0001, José Arrazola Equivalence for the G'3-stable models semantics. Search on Bibsonomy J. Applied Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claudia Zepeda, José Luis Carballido, Mario Rossainz, Mauricio Osorio 0001 Updates Based on ASP. Search on Bibsonomy MICAI (Special Sessions) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Oscar Estrada, José Arrazola, Mauricio Osorio 0001 A Possibilistic Intuitionistic Logic. Search on Bibsonomy MICAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves, Ignasi Gómez-Sebastià CF2-extensions as Answer-set Models. Search on Bibsonomy COMMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Confalonieri 0001, Juan Carlos Nieves, Mauricio Osorio 0001, Javier Vázquez-Salceda Possibilistic Semantics for Logic Programs with Ordered Disjunction. Search on Bibsonomy FoIKS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio 0001 Inferring Preferred Extensions by Pstable Semantics. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2009 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Guest Editorial: Workshops by the Logic and Computation Mexican Group. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2009 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Juan Carlos Nieves, José Luis Carballido G'3-Stable Semantics and Inconsistency. Search on Bibsonomy Computación y Sistemas The full citation details ... 2009 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Iván Olmos Preface. Search on Bibsonomy J. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Claudia Zepeda Expressing Extension-Based Semantics Based on Stratified Minimal Models. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF extension-based argumentation semantics and logic programming, Non-monotonic reasoning
1Mauricio Osorio 0001, Juan Carlos Nieves Possibilistic Well-Founded Semantics. Search on Bibsonomy MICAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Simone Pascucci The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Hilda Castillo A Formal Design Model for Mechatronic Systems. Search on Bibsonomy CONIELECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001 Possibilistic Stratified Minimal Model Semantics. Search on Bibsonomy ENC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Angel Marín George, Juan Carlos Nieves Computing the Stratified Minimal Models Semantic. Search on Bibsonomy LA-NMR The full citation details ... 2009 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola (eds.) Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. Search on Bibsonomy LA-NMR The full citation details ... 2009 DBLP  BibTeX  RDF
1Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido Logical Weak Completions of Paraconsistent Logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés An Overview of Argumentation Semantics. Search on Bibsonomy Computación y Sistemas The full citation details ... 2008 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés Preferred extensions as stable models Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio 0001 Preferred extensions as stable models. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Pstable Theories and Preferences. Search on Bibsonomy CONIELECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio 0001 Possibilistic-Based Argumentation: An Answer Set Programming Approach. Search on Bibsonomy ENC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Iván Olmos (eds.) Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008 Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
1Fernando Zacarías Flores, Mauricio Javier Osorio Galindo, Edgar Fernandez Plascencia Updates Under Pstable. Search on Bibsonomy Engineering Letters The full citation details ... 2007 DBLP  BibTeX  RDF
1Magdalena Ortiz, Mauricio Osorio 0001 Strong Negation and Equivalence in the Safe Belief Semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Víctor Cuevas Updates in answer set programming: An approach based on basic structural properties. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés, Francisco Caballero, Antonio López-Navidad Reasoning about actions under uncertainty: A possibilistic approach. Search on Bibsonomy CCIA The full citation details ... 2007 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Update Sequences Based on Minimal Generalized Pstable Models. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Update sequences, Logic Programming
1Mauricio Osorio 0001, Juan Carlos Nieves PStable Semantics for Possibilistic Logic Programs. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés Semantics for Possibilistic Disjunctive Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda A semantics for updates consisting of a sequence of programs. Search on Bibsonomy CONIELECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Iván Olmos, Jesús A. González, Mauricio Osorio 0001 Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems. Search on Bibsonomy CONIELECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001 Generating maximal models using the stable model semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
1Juan Carlos Nieves, Mauricio Osorio 0001 Inferring preferred extensions by Pstable semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
1José Arrazola, Pilar Pozos Parra, Mauricio Osorio 0001, Claudia Zepeda (eds.) 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 Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
1José Luis Carballido, José Arrazola, Mauricio Osorio 0001 Equivalence for the G3'-stable models semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
1Mauricio Osorio 0001 GLukG logic and its application for non-monotonic reasoning. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Víctor Cuevas Updates in Answer Set Programming: An Approach Based on Basic Structural Properties Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías Logics with Common Weak Completions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rogelio Dávila, Mauricio Osorio 0001, Claudia Zepeda (eds.) Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006 Search on Bibsonomy LoLaCOM The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Alejandra López Expressing the Stable Semantics in Terms of the Pstable Semantics. Search on Bibsonomy LoLaCOM The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. Search on Bibsonomy LoLaCOM The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada An Axiomatization of G'3. Search on Bibsonomy LoLaCOM The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Minimal Generalized Answer-Sets and their Applications. Search on Bibsonomy LoLaCOM The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Answer Set General Theories and Preferences. Search on Bibsonomy MICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Logic Programming, Preferences, Answer Set Programming
1Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio 0001, Iván Olmos, Jesus A. Gonzalez Defining new argumentation-based semantics by minimal models. Search on Bibsonomy ENC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio 0001 Supporting decision making in organ transplanting using argumentation theory. Search on Bibsonomy LA-NMR The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (eds.) Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, Mexico, September 18, 2006 Search on Bibsonomy LA-NMR The full citation details ... 2006 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Preferences using Answer Sets. Search on Bibsonomy LA-NMR The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 145 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license