Abduction in Logic Programming as Second-Order Quantifier Elimination

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Abduction in Logic Programming as Second-Order Quantifier Elimination

Christoph WernhardChristoph Wernhard

• Download

Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
Technical Report, TU Dresden, volume KRR 13-05, 2013

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{W2013,
  author      = {Christoph Wernhard},
  title       = {Abduction in Logic Programming as Second-Order Quantifier
                 Elimination},
  institution = {TU Dresden},
  year        = {2013}
}