- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 19 |      | Juan Antonio Navarro Pérez, Andrey Rybalchenko: Separation logic + superposition calculus = heap theorem prover. PLDI 2011: 556-566 |
| 2010 | ||
| 18 | | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010) |
| 17 | | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to develop distributed systems. TPLP 10(4-6): 691-707 (2010) |
| 2009 | ||
| 16 | | Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598 |
| 15 | | Juan Antonio Navarro Pérez, Andrey Rybalchenko: Operational Semantics for Declarative Networking. PADL 2009: 76-90 |
| 2008 | ||
| 14 | | Juan Antonio Navarro Pérez, Andrei Voronkov: Proof Systems for Effectively Propositional Logic. IJCAR 2008: 426-440 |
| 2007 | ||
| 13 | | Juan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. CADE 2007: 346-361 |
| 12 | | Juan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Problems in Effectively Propositional Logic. SAT 2007: 3 |
| 2006 | ||
| 11 | | 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): 867-890 (2006) |
| 2005 | ||
| 10 |  | Juan Antonio Navarro Pérez, Andrei Voronkov: Generation of Hard Non-Clausal Random Satisfiability Problems. AAAI 2005: 436-442 |
| 9 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005) |
| 8 | | 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): 787-813 (2005) |
| 2004 | ||
| 7 | | Mauricio Osorio, Juan Antonio Navarro Pérez: Answer Set Programming and S4. IBERAMIA 2004: 353 |
| 6 | | Luis A. Montiel, Juan Antonio Navarro Pérez: Computing Preferred Safe Beliefs. LA-NMR 2004 |
| 5 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. TPLP 4(3): 325-354 (2004) |
| 2003 | ||
| 4 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003) |
| 2002 | ||
| 3 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483 |
| 2 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: 284-295 (2002) |
| 2001 | ||
| 1 | | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75 |
| 1 | Nuno P. Lopes | [17] [18] |
| 2 | Verónica Borja Macías | [8] [11] |
| 3 | Luis A. Montiel | [6] |
| 4 | Mauricio Osorio (Mauricio Javier Osorio Galindo) | [1] [2] [3] [4] [5] [7] [8] [9] [11] |
| 5 | José R. Arrazola Ramírez (José Arrazola) | [1] [2] [3] [4] [5] [8] [9] [11] |
| 6 | Andrey Rybalchenko | [15] [16] [17] [18] [19] |
| 7 | Atul Singh | [16] [17] [18] |
| 8 | Andrei Voronkov | [10] [12] [13] [14] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page