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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

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

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


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
@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}
}