( en | de | ru )

 

Disambiguation of "Pérez, Juan Antonio Navarro"

Author of the publication

copydeleteadd this publication to your clipboard
Debugging in A-Prolog: A Logical Approach.

, , and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 482-483. Springer, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jorge Navarro-Pérez

Juan Puerta-Pérez

Marco Antonio Arteaga Pérez

Jorge Antonio Pérez Donato

Juan Perez Ponce

 

Other publications of authors with the same name

Ground Nonmonotonic Modal Logic S5: New Results., , , and . J. Log. Comput., 15 (5): 787-813 (2005)Computing Preferred Safe Beliefs., and . LA-NMR, volume 92 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)Planning with Effectively Propositional Logic., and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 302-316. Springer, (2013)Applications of Intuitionistic Logic in Answer Set Programming., , and . Theory Pract. Log. Program., 4 (3): 325-354 (2004)Encodings of Problems in Effectively Propositional Logic., and . SAT, volume 4501 of Lecture Notes in Computer Science, page 3. Springer, (2007)A logical approach to A-Prolog., , and . WoLLIC, volume 67 of Electronic Notes in Theoretical Computer Science, page 284-295. Elsevier, (2002)Generation of Hard Non-Clausal Random Satisfiability Problems., and . AAAI, page 436-442. AAAI Press / The MIT Press, (2005)Debugging in A-Prolog: A Logical Approach., , and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 482-483. Springer, (2002)Encodings of Bounded LTL Model Checking in Effectively Propositional Logic., and . CADE, volume 4603 of Lecture Notes in Computer Science, page 346-361. Springer, (2007)The spread of media content through blogs., , and . Soc. Netw. Anal. Min., 2 (3): 249-264 (2012)