Tableaux for Projection Computation and Knowledge Compilation

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Tableaux for Projection Computation and Knowledge Compilation
In Martin Giese and Arild Waaler, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, volume 5607 of Lecture Notes in Computer Science, 325-340, 2009. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{W2009,
  author    = {Christoph Wernhard},
  title     = {Tableaux for Projection Computation and Knowledge Compilation},
  editor    = {Martin Giese and Arild Waaler},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods,
               18th International Conference, {TABLEAUX} 2009},
  series    = {Lecture Notes in Computer Science},
  volume    = {5607},
  publisher = {Springer},
  year      = {2009},
  pages     = {325-340}
}