Abduction in Logic Programming as Second-Order Quantifier Elimination

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, volume 8152 of LNCS (LNAI), 103-119, 2013. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{W2013,
  author    = {Christoph Wernhard},
  title     = {Abduction in Logic Programming as Second-Order Quantifier
               Elimination},
  editor    = {Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt},
  booktitle = {9th International Symposium on Frontiers of Combining Systems,
               {FroCoS} 2013},
  series    = {LNCS (LNAI)},
  volume    = {8152},
  publisher = {Springer},
  year      = {2013},
  pages     = {103-119}
}