Abduction in Logic Programming as Second-Order Quantifier Elimination

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Abduction in Logic Programming as Second-Order Quantifier Elimination

Christoph WernhardChristoph Wernhard
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
Technical Report, TU Dresden, volume KRR 13-05, 2013
@techreport{W2013,
  author      = {Christoph Wernhard},
  title       = {Abduction in Logic Programming as Second-Order Quantifier
                 Elimination},
  institution = {TU Dresden},
  year        = {2013}
}