Juan Antonio Navarro Pérez
Juan Antonio Navarro Pérez
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Logics with common weak completions
MO Galindo, JAN Pérez, JRA Ramírez, VB Macías
Journal of Logic and Computation 16 (6), 867-890, 2006
892006
Logics with common weak completions
MO Galindo, JAN Pérez, JRA Ramírez, VB Macías
Journal of Logic and Computation 16 (6), 867-890, 2006
892006
Equivalence in answer set programming
M Osorio, JA Navarro Pérez, J Arrazola
Logic Based Program Synthesis and Transformation, 767-767, 2002
892002
Applications of intuitionistic logic in answer set programming
M Osorio, JA Navarro, J Arrazola
Theory and Practice of Logic Programming 4 (3), 325-354, 2004
772004
A decision procedure for satisfiability in separation logic with inductive predicates
J Brotherston, C Fuhs, JAN Pérez, N Gorogiannis
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
762014
Separation logic + Superposition calculus = Heap theorem prover
JA Navarro Pérez, A Rybalchenko
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
732011
Separation logic modulo theories
JAN Pérez, A Rybalchenko
Asian Symposium on Programming Languages and Systems, 90-106, 2013
562013
Flash floods and ripples: The spread of media content through the blogosphere
M Cha, J Pérez, H Haddadi
Proceedings of the Annual Conference on Weblogs and Social Media (ICWSM 2009), 2009
512009
The spread of media content through blogs
M Cha, JAN Pérez, H Haddadi
Social Network Analysis and Mining 2 (3), 249-264, 2012
342012
Operational semantics for declarative networking
JA Navarro, A Rybalchenko
International Symposium on Practical Aspects of Declarative Languages, 76-90, 2009
342009
Encodings of bounded LTL model checking in effectively propositional logic
JA Navarro-Pérez, A Voronkov
International Conference on Automated Deduction, 346-361, 2007
342007
Ground nonmonotonic modal logic S5: New results
MO Galindo, JAN Pérez, JRA Ramírez, VB Macías
Journal of Logic and Computation 15 (5), 787-813, 2005
322005
Safe beliefs for propositional theories
M Osorio, JAN Pérez, J Arrazola
Annals of Pure and Applied Logic 134 (1), 63-82, 2005
322005
Generation of hard non-clausal random satisfiability problems
JA Navarro, A Voronkov
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 436, 2005
252005
A logical approach to A-Prolog
M Osorio, JA Navarro, J Arrazola
Electronic notes in theoretical computer science 67, 284-295, 2002
242002
Proof systems for effectively propositional logic
JA Navarro, A Voronkov
International Joint Conference on Automated Reasoning, 426-440, 2008
202008
Applying Prolog to develop distributed systems
NP Lopes, JA Navarro, A Rybalchenko, A Singh
Theory and Practice of Logic Programming 10 (4-6), 691-707, 2010
172010
Modal logic S52 and FOUR
M Osorio, JA Navarro
Proceedings of Annual Meeting of the Association for Symbolic Logic, 2003
172003
Cardinality abstraction for declarative networking applications
JAN Pérez, A Rybalchenko, A Singh
International Conference on Computer Aided Verification, 584-598, 2009
152009
Planning with Effectively Propositional Logic
JA Navarro-Pérez, A Voronkov
Programming Logics, 302-316, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20