Juan Antonio Navarro Pérez

Journal

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]

Conference

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.

Workshop

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.

Thesis

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.