Travelled to:1 × Australia
1 × Cyprus
1 × Denmark
1 × France
1 × Germany
1 × Portugal
2 × USA
Collaborated with:A.Rybalchenko A.Voronkov M.Osorio J.Arrazola A.Singh N.P.Lopes
Talks about:logic (5) proposit (3) effect (3) network (2) system (2) prolog (2) declar (2) encod (2) superposit (1) distribut (1)
Person: Juan Antonio Navarro Pérez
DBLP: P=eacute=rez:Juan_Antonio_Navarro
Contributed to:
2011
2010
2009
2009
2008
2007
20072002
2001Wrote 9 papers:
- PLDI-2011-PerezR #calculus #logic #proving #theorem proving
- Separation logic + superposition calculus = heap theorem prover (JANP, AR), pp. 556–566.
- ICLP-J-2010-LopesNRS #distributed #prolog
- Applying Prolog to develop distributed systems (NPL, JANP, AR, AS), pp. 691–707.
- CAV-2009-PerezRS #abstraction #declarative #network
- Cardinality Abstraction for Declarative Networking Applications (JANP, AR, AS), pp. 584–598.
- PADL-2009-NavarroR #declarative #network #semantics
- Operational Semantics for Declarative Networking (JANP, AR), pp. 76–90.
- IJCAR-2008-PerezV #effectiveness #logic #proving
- Proof Systems for Effectively Propositional Logic (JANP, AV), pp. 426–440.
- CADE-2007-PerezV #bound #effectiveness #encoding #logic #ltl #model checking
- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic (JANP, AV), pp. 346–361.
- SAT-2007-PerezV #effectiveness #encoding #logic #problem
- Encodings of Problems in Effectively Propositional Logic (JANP, AV), p. 3.
- ICLP-2002-OsorioNA #approach #debugging #logic #prolog
- Debugging in A-Prolog: A Logical Approach (MO, JANP, JA), pp. 482–483.
- LOPSTR-2001-OsorioNA #equivalence #programming #set
- Equivalence in Answer Set Programming (MO, JANP, JA), pp. 57–75.