From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Possibilistic Semantics for Logic Programs with Ordered Disjunction.

R. Confalonieri, J. Nieves, M. Osorio, и J. Vázquez-Salceda. FoIKS, том 5956 из Lecture Notes in Computer Science, стр. 133-152. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Revisiting ℤ.M. Osorio, J. Carballido, и C. Zepeda. Notre Dame J. Formal Log., 55 (1): 129-155 (2014)Updates in Answer Set Programming: An Approach Based on Basic Structural PropertiesM. Osorio, и V. Cuevas. CoRR, (2006)A Possibilistic Intuitionistic Logic.O. Estrada, J. Arrazola, и M. Osorio. MICAI (1), том 6437 из Lecture Notes in Computer Science, стр. 362-373. Springer, (2010)Preferences for Argumentation Semantics.M. Osorio, C. Zepeda, и J. Carballido. MICAI (1), том 8856 из Lecture Notes in Computer Science, стр. 407-418. Springer, (2014)Answer Set General Theories and Preferences.M. Osorio, и C. Zepeda. MICAI, том 4293 из Lecture Notes in Computer Science, стр. 59-69. Springer, (2006)Semantics of Partial-Order Programs.M. Osorio. JELIA, том 1489 из Lecture Notes in Computer Science, стр. 47-61. Springer, (1998)Debugging in A-Prolog: A Logical Approach.M. Osorio, J. Pérez, и J. Arrazola. ICLP, том 2401 из Lecture Notes in Computer Science, стр. 482-483. Springer, (2002)Preface.M. Osorio, и I. Olmos. J. Algorithms, 64 (1): 1-2 (2009)Weakening and Extending ℤ.M. Osorio, J. Carballido, C. Zepeda, и J. Castellanos. Logica Universalis, 9 (3): 383-409 (2015)Ideal extensions as logical programming models.J. Nieves, и M. Osorio. J. Log. Comput., 26 (5): 1361-1393 (2016)