pith. sign in

Dov Gabbay

Identifiers

  • name variant Dov Gabbay 0.60 · backfill

Papers (12)

  1. The Attack as Intuitionistic Negation cs.LO · 2015 · author #1
  2. The Attack as Strong Negation, Part I cs.LO · 2015 · author #1
  3. Abduction and Dialogical Proof in Argumentation and Logic Programming cs.AI · 2014 · author #2
  4. Interpolable Formulas in Equilibrium Logic and Answer Set Programming cs.LO · 2014 · author #1
  5. Equilibria und weiteres Heiteres II cs.LO · 2011 · author #1
  6. Embedding and Automating Conditional Logics in Classical Higher-Order Logic cs.AI · 2011 · author #2
  7. Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case cs.LO · 2010 · author #1
  8. Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations math.LO · 2010 · author #1
  9. Equilibria und weiteres Heiteres math.LO · 2009 · author #1
  10. Independence - revision and defaults math.LO · 2009 · author #1
  11. Size and Logic math.LO · 2009 · author #1
  12. Defeasible inheritance systems and reactive diagrams math.LO · 2008 · author #1

Mentions

  • 1510.00077 #1 · backfill · confidence 0.70 Dov Gabbay
  • 1506.03266 #1 · backfill · confidence 0.70 Dov Gabbay
  • 1407.3896 #2 · backfill · confidence 0.70 Dov Gabbay
  • 1401.3897 #1 · backfill · confidence 0.70 Dov Gabbay
  • 1108.3033 #1 · backfill · confidence 0.70 Dov Gabbay
  • 1106.3685 #2 · backfill · confidence 0.70 Dov Gabbay
  • 1012.3947 #1 · backfill · confidence 0.70 Dov Gabbay
  • 1002.3021 #1 · backfill · confidence 0.70 Dov Gabbay
  • 0907.4017 #1 · backfill · confidence 0.70 Dov Gabbay
  • 0904.2199 #1 · backfill · confidence 0.70 Dov Gabbay
  • 0903.1367 #1 · backfill · confidence 0.70 Dov Gabbay
  • 0811.0075 #1 · backfill · confidence 0.70 Dov Gabbay

Frequent Coauthors