Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion

Pascal HitzlerPascal Hitzler

Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--15, 2003

Details
Bibtex

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

@techreport{H2003,
  author      = {Pascal Hitzler},
  title       = {Corollaries on the fixpoint completion: studying the stable
                 semantics by means of the Clark completion},
  institution = {Knowledge Representation and Reasoning Group, Institute for
                 Artificial Intelligence, Department of Computer Science,
                 Dresden University of Technology, Dresden, Germany},
  year        = {2003}
}