( en | de | ru )

 

Disambiguation of "Pérez, Juan Antonio Navarro"

Author of the publication

copydeleteadd this publication to your clipboard
Planning with Effectively Propositional Logic.

, and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 302-316. Springer, (2013)

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

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)Debugging in A-Prolog: A Logical Approach., , and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 482-483. Springer, (2002)SL-COMP: Competition of Solvers for Separation Logic., , , , , , , , , and 14 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 116-132. Springer, (2019)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)Generation of Hard Non-Clausal Random Satisfiability Problems., and . AAAI, page 436-442. AAAI Press / The MIT Press, (2005)Planning with Effectively Propositional Logic., and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 302-316. Springer, (2013)Encodings of Problems in Effectively Propositional Logic., and . SAT, volume 4501 of Lecture Notes in Computer Science, page 3. Springer, (2007)A decision procedure for satisfiability in separation logic with inductive predicates., , , and . CSL-LICS, page 25:1-25:10. ACM, (2014)Answer Set Programming and S4., and . IBERAMIA, volume 3315 of Lecture Notes in Computer Science, page 353. Springer, (2004)