Juan Antonio Navarro Pérez
Juan Antonio Navarro Pérez
E-mail confirmado em google.com - Página inicial
TítuloCitado porAno
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
822006
Equivalence in answer set programming
M Osorio, JA Navarro Pérez, J Arrazola
Logic Based Program Synthesis and Transformation, 767-767, 2002
782002
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
712004
Separation logic + Superposition calculus = Heap theorem prover
JA Navarro Pérez, A Rybalchenko
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
702011
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
642014
Separation logic modulo theories
JAN Pérez, A Rybalchenko
Asian Symposium on Programming Languages and Systems, 90-106, 2013
482013
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
462009
Operational semantics for declarative networking
JA Navarro, A Rybalchenko
International Symposium on Practical Aspects of Declarative Languages, 76-90, 2009
332009
The spread of media content through blogs
M Cha, JAN Pérez, H Haddadi
Social Network Analysis and Mining 2 (3), 249-264, 2012
322012
Encodings of bounded LTL model checking in effectively propositional logic
JA Navarro-Pérez, A Voronkov
International Conference on Automated Deduction, 346-361, 2007
322007
Safe beliefs for propositional theories
M Osorio, JAN Pérez, J Arrazola
Annals of Pure and Applied Logic 134 (1), 63-82, 2005
312005
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
292005
A logical approach to A-Prolog
M Osorio, JA Navarro, J Arrazola
Electronic notes in theoretical computer science 67, 284-295, 2002
242002
Generation of hard non-clausal random satisfiability problems
JA Navarro, A Voronkov
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 436, 2005
232005
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
162010
Proof systems for effectively propositional logic
JA Navarro, A Voronkov
International Joint Conference on Automated Reasoning, 426-440, 2008
162008
Modal logic S52 and FOUR
M Osorio, JA Navarro
Proceedings of Annual Meeting of the Association for Symbolic Logic, 2003
162003
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
112013
Encoding and Solving Problems in Effectively Propositional Logic
JAN Peréz
PhD thesis, The University of Manchester, 2007
11*2007
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20