( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Derivation Procedures for Extended Stable Models.

, , и . IJCAI, стр. 863-869. Morgan Kaufmann, (1991)

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.

Julio José Puerta

Julio José Kulemeyer

Julio José Llerena-Teruel

Júlio Araújo

Júlio Salcedas

 

Другие публикации лиц с тем же именем

Adding Closed World Assumptions to Well Founded Semantics., , и . FGCS, стр. 562-569. IOS Press, (1992)Non-Atomic Actions in the Situation Calculus., , и . EPIA, том 990 из Lecture Notes in Computer Science, стр. 273-284. Springer, (1995)Derivation Procedures for Extended Stable Models., , и . IJCAI, стр. 863-869. Morgan Kaufmann, (1991)Partial Models of Extended Generalized Logic Programs., , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 149-163. Springer, (2000)Deductive Diagnosis of Digital Circuits., , , , и . AIAI, том 154 из IFIP, стр. 155-165. Kluwer/Springer, (2004)From Logic Programs Updates to Action Description Updates., , и . CLIMA, том 3487 из Lecture Notes in Computer Science, стр. 52-77. Springer, (2004)Default Theory for Well Founded Semantics with Explicit Negation., , и . JELIA, том 633 из Lecture Notes in Computer Science, стр. 339-356. Springer, (1992)Diagnosis and Debugging as Contradiction Removal., , и . LPNMR, стр. 316-330. MIT Press, (1993)Equivalence of defeasible normative systems., , и . J. Appl. Non Class. Logics, 23 (1-2): 25-48 (2013)Preface: Logics for Artificial Intelligence., и . J. Autom. Reason., 20 (1): 1-3 (1998)