`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:

### Wrote 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.