A generalized resolution theorem

Pascal HitzlerPascal Hitzler

Pascal Hitzler
A generalized resolution theorem
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--13, 2003

Details
Bibtex

Bemerkung: Note: Appeared in 2004
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{H2003,
  author      = {Pascal Hitzler},
  title       = {A generalized resolution theorem},
  institution = {Knowledge Representation and Reasoning Group, Institute for
                 Artificial Intelligence, Department of Computer Science,
                 Dresden University of Technology, Dresden, Germany},
  year        = {2003}
}