Journal papers and special issues

[hgm07] J. A. Navarro Pérez, and A. Voronkov. Planning with Effectively Propositional Logic. 2008. Collection of Papers Dedicated to Harald Ganzinger’s Memory. To appear..

[jlc06] 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]

[jlc05] 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]

[apal05] 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]

[tplp04] 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]

Conference papers

[cav09] 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]

[padl09] 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]

[ijcar08] 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]

[cade07] 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] [link]

[aaai05] 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. [link] [ref]

[iberamia04] 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]

[wollic02] 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]

[lopstr01] 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]

[cic01] 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 papers

[icwsm09] 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.

[arw07] 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]

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

[arw05] 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]

[lanmr04] 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]

[esslli03] 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.

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

[micai02] 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.

Abstracts and short papers

[sat07] 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, pages 3, Lisbon, Portugal, 2007. Springer. Invited talk given by second author. [doi]

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

[lc02] 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.

[iclp02] 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]

Theses

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

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

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