David Pearce

Identifiers

• name variant David Pearce 0.60 · backfill

Papers (6)

1. Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates cs.AI · 2018 · author #4
2. On the complexity of Temporal Equilibrium Logic cs.LO · 2015 · author #2
3. Interpolable Formulas in Equilibrium Logic and Answer Set Programming cs.LO · 2014 · author #2
4. Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case cs.LO · 2010 · author #2
5. Characterising equilibrium logic and nested logic programs: Reductions and complexity cs.LO · 2009 · author #1
6. A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report cs.AI · 2002 · author #1

Mentions

• 1503.00043 #2 · backfill · confidence 0.70 David Pearce
• 1401.3897 #2 · backfill · confidence 0.70 David Pearce
• 1012.3947 #2 · backfill · confidence 0.70 David Pearce
• 0906.2228 #1 · backfill · confidence 0.70 David Pearce

Frequent Coauthors

• Dov Gabbay 2 shared papers
• Hans Tompits 2 shared papers
• Stefan Woltran 2 shared papers
• Agust\'i n Valverde 1 shared papers
• Agust\'in Valverde 1 shared papers
• Jorge Fandinno 1 shared papers
• Laura Bozzelli 1 shared papers
• Luis Fari\~nas del Cerro 1 shared papers
• Pedro Cabalar 1 shared papers
• Torsten Schaub 1 shared papers
• Vladimir Sarsakov 1 shared papers