J. A. Navarro Pérez and A. Voronkov. Planning with Effectively
Propositional Logic. In A. Voronkov and C. Weidenbach,
editors, *Programming Logics - Essays in Memory of Harald Ganzinger*,
volume 7797 of Lecture Notes in Computer Science, pages 302–316, 2013.
Springer. [doi]

M. Cha, J. A. Navarro Pérez, and H. Haddadi. The Spread of Media
Content Through Blogs. *Social Network Analysis and
Mining*, 2(3):249–264, 2012. Springer. [doi]

M. Osorio, J. A. Navarro Pérez, J. Arrazola, and V. Borja Macías.
Logics with Common Weak Completions. *Journal of Logic and
Computation*, 16(6):867–890, December 2006. Oxford University Press.
[doi]

M. Osorio, J. A. Navarro Pérez, J. Arrazola, and V. Borja Macías.
Ground Nonmonotonic Modal Logic S5: New Results. *Journal
of Logic and Computation*, 15(5):787–813, October 2005. Oxford
University Press. [doi]

J. Brotherston, C. Fuhs, N. Gorogiannis, and J. A. Navarro Pérez. A
Decision Procedure for Satisfiability in Separation Logic with Inductive
Predicates. *CSL-LICS: Joint meeting of the
twenty-third EACSL annual conference on Computer Science Logic (CSL) and
the twenty-ninth annual ACM/IEEE symposium on Logic In Computer Science
(LICS)*, 2014.

J. A. Navarro Pérez and A. Rybalchenko. Separation Logic Modulo
Theories. In *APLAS’13: 11th Asian Symposium on
Programming Languages and Systems*, Melbourne, Australia, 2013.
[tool]

J. A. Navarro Pérez and A. Rybalchenko. Separation Logic +
Superposition Calculus = Heap Theorem Prover. In *PLDI’11:
Proceedings of the 32nd ACM SIGPLAN conference on Programming language
design and implementation*, San Jose, CA, USA, 2011. ACM Press.
[doi] [slides]
[benchmarks]

N. P. Lopes, J. A. Navarro Pérez, A. Rybalchenko, and A. Singh.
Applying Prolog to Develop Distributed Systems. *Theory
and Practice of Logic Programming, 26th Int’l. Conference on Logic
Programming (ICLP’10) Special Issue*, 10(4–6):681–696, July 2010.
Cambridge University Press. [doi] [tool]

J. A. Navarro Pérez, A. Rybalchenko, and A. Singh. Cardinality
Abstraction for Declarative Networking Applications. In
*CAV’09: Proceedings of the 21st International Conference on Computer
Aided Verification*, volume 5643 of Lecture Notes In Computer Science,
pages 584–598, Grenoble, France, June 2009. Springer. [doi]

J. A. Navarro Pérez and A. Rybalchenko. Operational Semantics for
Declarative Networking. In *PADL’09: Proceedings of the
Eleventh International Symposium on Practical Aspects of Declarative
Languages*, number 5418 in Lecture Notes in Computer Science, pages
76–90, Savannah, GA, USA, January 2009. Springer. [doi]

J. A. Navarro Pérez and A. Voronkov. Proof Systems for Effectively
Propositional Logic. In *IJCAR’08: Proceedings of the 4th
International Joint Conference on Automated Reasoning*, number 5195 in
Lecture Notes in Computer Science, pages 426–440, Sydney, Australia,
August 2008. Springer. [doi]

J. A. Navarro Pérez and A. Voronkov. Encodings of Bounded LTL Model
Checking in Effectively Propositional Logic. In *CADE-21:
Proceedings of the 21st International Conference on Automated
Deduction*, number 4603 in Lecture Notes in Artificial Intelligence,
pages 346–361, Bremen, Germany, 2007. Springer. [doi]
[benchmarks]

J. A. Navarro Pérez and A. Voronkov. Generation of Hard Non-Clausal
Random Satisfiability Problems. In *AAAI’05/IAAI’05:
Proceedings of the Twentieth National Conference on Artificial
Intelligence and the Seventeenth Conference on Innovative Applications
of Artificial Intelligence*, Pittsburgh, PA, USA, July 2005. AAAI Press.
[benchmarks] [ref]

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Safe Beliefs for
Propositional Theories. *Annals of Pure and Applied Logic*,
134(1):63–82, June 2005. Elsevier. [doi]

M. Osorio and J. A. Navarro Pérez. Answer Set Programming and
S4. In *IBERAMIA’04: Proceedings of the IX
Ibero-American Conference on Artificial Intelligence*, number 3315 in
Lecture Notes in Computer Science, Puebla, México, November 2004.
Springer. [doi]

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Applications of
Intuitionistic Logic in Answer Set Programming. *Theory and
Practice of Logic Programming*, 4(3):325–354, May 2004. Cambridge
University Press. [doi]

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. A Logical Approach for
A-Prolog. In R. de Queiroz, L. C. Pereira, and E. H.
Haeusler, editors, *WoLLIC’02: Proceedings of the 9th Workshop on Logic,
Language, Information and Computation*, volume 67 of Electronic Notes in
Theoretical Computer Science, pages 265–275, Rio de Janeiro, Brazil,
2002. Elsevier. [doi]

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Equivalence in Answer
Set Programming. In A. Pettorossi, editor, *LOPSTR’01:
Proceedings of the 11th International Workshop on Logic Based Program
Synthesis and Transformation*, number 2372 in Lecture Notes in Computer
Science, pages 57–75, Paphos, Cyprus, November 2001. Springer.
[doi]

M. Osorio and J. A. Navarro Pérez. Decision Problem of Substrings in
Context Free Languages. In J. H. Sossa Azuela, H. Freeman,
and C. Vizcaíno, editors, *CIC-X: Memorias del X Congreso Internacional
de Computación*, pages 239–249, 2001. CIC-IPN.

M. Cha, J. A. Navarro Pérez, and H. Haddadi. Flash Floods and Ripples:
The Spread of Media Content through the Blogoshpere. In
*Proceedings of the ICWSM 2009 Data Challenge Workshop*, 2009. **Best
paper award**.

J. A. Navarro Pérez. Encodings of Bounded LTL Model Checking in
Effectively Propositional Logic. In *ARW’07: Proceedings of
the Workshop on Automated Reasoning*, London, U.K., April 2007.
[ref]

J. A. Navarro Pérez and A. Voronkov. Encodings of Problems in
Effectively Propositional Logic. In *SAT’07: Proceedings of
the 10th International Conference on Theory and Applications of
Satisfiability Testing*, number 4501 in Lecture Notes in Computer
Science, page 3, Lisbon, Portugal, 2007. Springer. Invited talk given by
second author. [doi]

J. A. Navarro Pérez. Translations to Propositional
Satisfiability. In *ARW’06: Proceedings of the Workshop on
Automated Reasoning*, Bristol, U.K., April 2006.

J. A. Navarro Pérez. Generation of Hard Non-Clausal Random
Satisfiability Problems. In *ARW’05: Proceedings of the
Workshop on Automated Reasoning*, Edinburgh, Scotland, July 2005.
[ref]

L. A. Montiel and J. A. Navarro Pérez. Computing Preferred Safe
Beliefs. In M. Osorio and A. Provetti, editors,
*LA-NMR’04: Proceedings of the First Latin America Workshop on
Non-Monotonic Reasoning*, number 92 in CEUR Workshop Proceedings,
México, D.F., México, April 2004. [ref]

J. A. Navarro Pérez. Properties of Translations for Logic
Programs. In B. ten Cate, editor, *ESSLLI’03: Student
Session of the Eighth European Summer School in Logic, Language and
Information*, Vienna, Austria, August 2003.

M. Osorio and J. A. Navarro Pérez. Modal Logic S5₂ and FOUR
(abstract). In *ASL’03: Proceedings of the 2003 Annual
Meeting of the Association for Symbolic Logic*, Chicago, IL, USA, June
2003. [ref]

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Consistent
neg-extensions of Superintuitionistic Theories (abstract). In
*LC’02: Proceedings of the 2002 Logic Colloquium*, Münster, Germany,
August 2002.

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Debugging in A-Prolog:
A Logical Approach (abstract). In P. J. Stuckey, editor,
*ICLP’02: Proceedings of the 18th International Conference on Logic
Programming*, number 2401 in Lecture Notes in Computer Science, pages
482–483, Copenhagen, Denmark, August 2002. Springer. [doi]

J. A. Navarro Pérez. Answer Set Programming through G₃
Logic. In M. Nissim, editor, *ESSLLI’02: Student Session
of the Seventh European Summer School in Logic, Language and
Information*, Trento, Italy, August 2002.

M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Si-logics for
Non-Monotonic Reasoning. In *Proceedings of the Workshop
on Logic and Computation, held at the Mexican International Conference
on Artificial Intelligence (MICAI’02)*, Mérida, México, April 2002.

J. A. Navarro Pérez. Encoding and Solving Problems in Effectively Propositional Logic. PhD thesis. The University of Manchester. 2007.

J. A. Navarro Pérez. Semantics for Nonmonotonic Reasoning: A Logical Approach. Master’s thesis. Universidad de las Américas, Puebla. 2006.

J. A. Navarro Pérez. Lógica Aplicada a Answer Sets. Bachelor’s Thesis. Universidad de las Américas, Puebla. 2003.