Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: SOA-VBQP
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{W2017,
  author = {Christoph Wernhard},
  title  = {Craig Interpolation and Query Reformulation with Clausal First-Order
            Tableaux},
  year   = {2017},
  month  = {September}
}