A Resolution Theorem for Algebraic Domains

Pascal HitzlerPascal Hitzler

Pascal Hitzler
A Resolution Theorem for Algebraic Domains
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, 1339-1340, 2003. Morgan Kaufmann Publishers

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{H2003,
  author    = {Pascal Hitzler},
  title     = {A Resolution Theorem for Algebraic Domains},
  editor    = {Georg Gottlob and Toby Walsh},
  booktitle = {Proceedings of the 18th International Joint Conference on
               Artificial Intelligence, Acapulco, Mexico, August 2003},
  publisher = {Morgan Kaufmann Publishers},
  year      = {2003},
  pages     = {1339-1340}
}