Literal Projection and Circumscription

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., International Workshop on First-Order Theorem Proving, FTP'09, 2009. University of Oslo

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{W2009,
  author    = {Christoph Wernhard},
  title     = {Literal Projection and Circumscription},
  editor    = {Nicolas Peltier and Viorica Sofronie-Stokkermans},
  booktitle = {International Workshop on First-Order Theorem Proving, {FTP'09}},
  publisher = {University of Oslo},
  year      = {2009}
}