Resolution and Logic Programming in Algebraic Domains: Negation and Defaults

Pascal HitzlerPascal Hitzler

Download

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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