The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mauricio Osorio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mauricio Osorio, Juan Carlos Nieves
    Stratified Partial-Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2001, pp:225-235 [Conf]
  2. Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
    Partial Order Programming (Revisited). [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:561-575 [Conf]
  3. Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol
    Applications of Preferences using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  4. Mauricio Osorio, Juan Carlos Nieves, Chris Giannella
    Useful Transformations in Answer set programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  5. Mauricio Osorio, Claudia Zepeda
    Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  6. Mauricio Osorio, Fernando Zacarias
    New properties on the update operator\oplus. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  7. Magdalena Ortiz, Mauricio Osorio
    Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  8. Mauricio Osorio, Enrique Corona
    The A-Pol System. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  9. Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio
    Mining Common Patterns on Graphs. [Citation Graph (0, 0)][DBLP]
    CIS (1), 2005, pp:41-48 [Conf]
  10. Claudia Zepeda, Mauricio Osorio, David Sol
    Modeling Evacuation Planning Using A-Prolog. [Citation Graph (0, 0)][DBLP]
    CONIELECOMP, 2005, pp:292-297 [Conf]
  11. Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
    Agent Modelling for CSCL Environments using Answer Sets Programming. [Citation Graph (0, 0)][DBLP]
    ENC, 2005, pp:214-221 [Conf]
  12. Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio
    Formalizing the Learner Model for CSCL Environments. [Citation Graph (0, 0)][DBLP]
    ENC, 2003, pp:151-158 [Conf]
  13. Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves, Ulises Cortés
    Inferring acceptable arguments with Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ENC, 2005, pp:198-205 [Conf]
  14. Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio
    Subgraph Isomorphism Detection Using a Code Based Representation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2005, pp:474-479 [Conf]
  15. Ivan Olmos, Jesus A. Gonzalez, Mauricio Osorio
    Inexact Graph Matching: A Case of Study. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2006, pp:586-591 [Conf]
  16. Mauricio Osorio, Fernando Zacarias
    High-Level Logic Programming. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2000, pp:226-240 [Conf]
  17. Mauricio Osorio, Fernando Zacarias
    On Updates of Logic Programs: A Properties-Based Approach. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2004, pp:231-241 [Conf]
  18. Mauricio Osorio, Verónica Borja Macías, José Arrazola
    Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:343-352 [Conf]
  19. Mauricio Osorio, Bharat Jayaraman
    Integrating the Completion and the Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 1998, pp:230-241 [Conf]
  20. Mauricio Osorio, Juan A. Navarro
    Answer Set Programming and S4. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:353- [Conf]
  21. Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
    Declarative Pruning in a Functional Query Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:588-604 [Conf]
  22. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Debugging in A-Prolog: A Logical Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:482-483 [Conf]
  23. Mauricio Osorio
    Semantics of Partial-Order Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:47-61 [Conf]
  24. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Equivalence in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:57-75 [Conf]
  25. Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
    Semantics for Possibilistic Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:315-320 [Conf]
  26. Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
    Application of ASP for Agent Modelling in CSCL Environments. [Citation Graph (0, 0)][DBLP]
    MICAI, 2005, pp:109-118 [Conf]
  27. Mauricio Osorio, Verónica Borja Macías, José Arrazola
    Closing the Gap between the Stable Semantics and Extensions of WFS. [Citation Graph (0, 0)][DBLP]
    MICAI, 2004, pp:202-211 [Conf]
  28. Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo
    Knowledge Representation Using High-Level Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    MICAI, 2000, pp:13-24 [Conf]
  29. Mauricio Osorio, Claudia Zepeda
    Answer Set General Theories and Preferences. [Citation Graph (0, 0)][DBLP]
    MICAI, 2006, pp:59-69 [Conf]
  30. Mauricio Osorio, Bharat Jayaraman
    Aggregation and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:71-90 [Conf]
  31. Jürgen Dix, Mauricio Osorio
    On Well-Behaved Semantics Suitable for Aggregation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:405- [Conf]
  32. Mauricio Osorio, Bharat Jayaraman
    Subset Assertions and Negation As Failure. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:637- [Conf]
  33. Jürgen Dix, Mauricio Osorio, Claudia Zepeda
    A general theory of confluent rewriting systems for logic programming and its applications. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:153-188 [Journal]
  34. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
    Safe beliefs for propositional theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:63-82 [Journal]
  35. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Applications of Intuitionistic Logic in Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  36. José Arrazola, Jürgen Dix, Mauricio Osorio
    Confluent Rewriting systems in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Computación y Sistemas, 1999, v:2, n:2-3, pp:104-123 [Journal]
  37. Mauricio Osorio, Juan A. Navarro, José Arrazola
    A logical approach to A-Prolog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  38. Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
    Logics with Common Weak Completions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:6, pp:867-890 [Journal]
  39. Mauricio Osorio, Bharat Jayaraman
    Aggregation and Negation-As-Failure. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:3, pp:255-284 [Journal]
  40. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
    Theory of Partial-Order Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:3, pp:207-238 [Journal]
  41. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Applications of Intuitionistic Logic in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:3, pp:325-354 [Journal]
  42. Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio
    Supporting decision making in organ transplanting using argumentation theory. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2006, pp:- [Conf]
  43. Mauricio Osorio, Claudia Zepeda
    Preferences using Answer Sets. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2006, pp:- [Conf]
  44. José Luis Carballido, José Arrazola, Mauricio Osorio
    Equivalence for the G3'-stable models semantics. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]
  45. Juan Carlos Nieves, Mauricio Osorio
    Generating maximal models using the stable model semantics. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]
  46. Juan Carlos Nieves, Mauricio Osorio
    Inferring preferred extensions by Pstable semantics. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]
  47. Mauricio Osorio
    GLukG logic and its application for non-monotonic reasoning. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2007, pp:- [Conf]
  48. Mauricio Osorio, Claudia Zepeda
    Update Sequences Based on Minimal Generalized Pstable Models. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:283-293 [Conf]
  49. Mauricio Osorio, Juan Carlos Nieves
    PStable Semantics for Possibilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:294-304 [Conf]
  50. Mauricio Osorio, Víctor Cuevas
    Updates in Answer Set Programming: An Approach Based on Basic Structural Properties [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  51. Magdalena Ortiz, Mauricio Osorio
    Strong Negation and Equivalence in the Safe Belief Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:499-515 [Journal]

  52. Reasoning about actions under uncertainty: A possibilistic approach. [Citation Graph (, )][DBLP]


  53. A Formal Design Model for Mechatronic Systems. [Citation Graph (, )][DBLP]


  54. Defining new argumentation-based semantics by minimal models. [Citation Graph (, )][DBLP]


  55. Possibilistic-Based Argumentation: An Answer Set Programming Approach. [Citation Graph (, )][DBLP]


  56. Possibilistic Semantics for Logic Programs with Ordered Disjunction. [Citation Graph (, )][DBLP]


  57. The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. [Citation Graph (, )][DBLP]


  58. Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. [Citation Graph (, )][DBLP]


  59. Expressing the Stable Semantics in Terms of the Pstable Semantics. [Citation Graph (, )][DBLP]


  60. Minimal Generalized Answer-Sets and their Applications. [Citation Graph (, )][DBLP]


  61. An Axiomatization of G'3. [Citation Graph (, )][DBLP]


  62. Possibilistic Well-Founded Semantics. [Citation Graph (, )][DBLP]


  63. Expressing Extension-Based Semantics Based on Stratified Minimal Models. [Citation Graph (, )][DBLP]


  64. Preferred extensions as stable models [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.423secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002