Osorio Mauricio

Universidad de las Américas Puebla - San Andrés Cholula / Mexico

Engineering & Technology / Computer Science

AD Scientific Index ID: 812042

University of the Americas Puebla

Registration, Add Profile,
Premium Membership

Print Your Certificate

Osorio Mauricio's MOST POPULAR ARTICLES

1-) Equivalence in answer set programmingM Osorio, JA Navarro, J ArrazolaLogic Based Program Synthesis and Transformation: 11th International …, 2002942002

2-) Logics with common weak completionsMO Galindo, JAN Pérez, JRA Ramírez, VB MacíasJournal of Logic and Computation 16 (6), 867-890, 2006922006

3-) Applications of intuitionistic logic in answer set programmingM Osorio, JA Navarro, J ArrazolaTheory and Practice of Logic Programming 4 (3), 325-354, 2004802004

4-) Preferred extensions as stable modelsJC Nieves, U Cortés, M OsorioTheory and Practice of Logic Programming 8 (4), 527-543, 2008772008

5-) Brief study of G\'3 logicM Osorio Galindo, JL Carballido CarranzaJournal of Applied Non-Classical Logics 18 (4), 475-499, 2008552008

ARTICLES

Add your articles