Juan Antonio Navarro Pérez

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 1

Top Topics

Modulo Theories

Deductive Reasoning

Propositional Logic

Top Venues

Soc. Netw. Anal. Min.

Programming Logics

Publications

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis
A decision procedure for satisfiability in separation logic with inductive predicates. CSL-LICS (2014)
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Separation Logic Modulo Theories CoRR (2013)
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Separation Logic Modulo Theories. APLAS (2013)
Juan Antonio Navarro Pérez, Andrei Voronkov
Planning with Effectively Propositional Logic. Programming Logics (2013)
Meeyoung Cha, Juan Antonio Navarro Pérez, Hamed Haddadi
The spread of media content through blogs. Soc. Netw. Anal. Min. 2 (3) (2012)
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Separation logic + superposition calculus = heap theorem prover. PLDI (2011)
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
Applying Prolog to develop distributed systems. Theory Pract. Log. Program. 10 (4-6) (2010)
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
Applying Prolog to Develop Distributed Systems CoRR (2010)
Juan Antonio Navarro Pérez, Andrey Rybalchenko
Operational Semantics for Declarative Networking. PADL (2009)
Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
Cardinality Abstraction for Declarative Networking Applications. CAV (2009)
Juan Antonio Navarro Pérez, Andrei Voronkov
Proof Systems for Effectively Propositional Logic. IJCAR (2008)
Juan Antonio Navarro Pérez, Andrei Voronkov
Encodings of Problems in Effectively Propositional Logic. SAT (2007)
Juan Antonio Navarro Pérez, Andrei Voronkov
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. CADE (2007)
Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Logics with Common Weak Completions. J. Log. Comput. 16 (6) (2006)
Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15 (5) (2005)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Safe beliefs for propositional theories. Ann. Pure Appl. Log. 134 (1) (2005)
Juan Antonio Navarro Pérez, Andrei Voronkov
Generation of Hard Non-Clausal Random Satisfiability Problems. AAAI (2005)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Applications of Intuitionistic Logic in Answer Set Programming. Theory Pract. Log. Program. 4 (3) (2004)
Luis A. Montiel, Juan Antonio Navarro Pérez
Computing Preferred Safe Beliefs. LA-NMR (2004)
Mauricio Osorio, Juan Antonio Navarro Pérez
Answer Set Programming and S4. IBERAMIA (2004)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Applications of Intuitionistic Logic in Answer Set Programming CoRR (2003)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Debugging in A-Prolog: A Logical Approach. ICLP (2002)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
A logical approach to A-Prolog. Electron. Notes Theor. Comput. Sci. 67 (2002)
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Equivalence in Answer Set Programming. LOPSTR (2001)