Resolution and Logic Programming in Algebraic Domains: Negation and Defaults

From International Center for Computational Logic
Toggle side column

Resolution and Logic Programming in Algebraic Domains: Negation and Defaults

Pascal HitzlerPascal Hitzler
Pascal Hitzler
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-05, 2002
@techreport{H2002,
  author      = {Pascal Hitzler},
  title       = {Resolution and Logic Programming in Algebraic Domains: Negation
                 and Defaults},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2002}
}