Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 636 | 2001 |

A characterization of strong equivalence for logic programs with variables V Lifschitz, D Pearce, A Valverde Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 75 | 2007 |

Towards biresiduated multi-adjoint logic programming J Medina, M Ojeda-Aciego, A Valverde, P Vojtáš Conference on Technology Transfer, 608-617, 2003 | 65 | 2003 |

Towards a first order equilibrium logic for nonmonotonic reasoning D Pearce, A Valverde Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004 | 57 | 2004 |

Quantified equilibrium logic and foundations for answer set programs D Pearce, A Valverde Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 54 | 2008 |

Quantified equilibrium logic and hybrid rules J De Bruijn, D Pearce, A Polleres, A Valverde International Conference on Web Reasoning and Rule Systems, 58-72, 2007 | 49 | 2007 |

Minimal logic programs P Cabalar, D Pearce, A Valverde Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 48 | 2007 |

A tableau calculus for equilibrium entailment D Pearce, IP de Guzmán, A Valverde Automated Reasoning with Analytic Tableaux and Related Methods …, 2000 | 48 | 2000 |

Set functors and generalised terms P Eklund, MA Galán, M Ojeda-Aciego, A Valverde Proc. IPMU 3 (2000), 1595-1599, 2000 | 47 | 2000 |

Reducing propositional theories in equilibrium logic to logic programs P Cabalar, D Pearce, A Valverde Portuguese Conference on Artificial Intelligence, 4-17, 2005 | 44 | 2005 |

A first order nonmonotonic extension of constructive logic D Pearce, A Valverde Studia Logica 80, 321-346, 2005 | 44 | 2005 |

Uniform equivalence for equilibrium logic and logic programs D Pearce, A Valverde Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004 | 39 | 2004 |

A semantical framework for hybrid knowledge bases J De Bruijn, D Pearce, A Polleres, A Valverde Knowledge and Information Systems 25, 81-104, 2010 | 32 | 2010 |

Quantified equilibrium logic and the first order logic of here-and-there D Pearce, A Valverde Málaga, 2006 | 30 | 2006 |

Reductions for non-clausal theorem proving G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde Theoretical Computer Science 266 (1-2), 81-112, 2001 | 30 | 2001 |

Synonymous theories in answer set programming and equilibrium logic D Pearce, A Valverde ECAI 16, 388, 2004 | 29 | 2004 |

Powersets of terms and composite monads P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde Fuzzy Sets and Systems 158 (23), 2552-2574, 2007 | 25 | 2007 |

Similarities between powersets of terms P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde Fuzzy Sets and Systems 144 (1), 213-225, 2004 | 24 | 2004 |

Analysing and extending well-founded and partial stable semantics using partial equilibrium logic P Cabalar, S Odintsov, D Pearce, A Valverde Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 21 | 2006 |

A categorical approach to unification of generalised terms P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde Electronic Notes in Theoretical Computer Science 66 (5), 41-51, 2002 | 20 | 2002 |