The Undecidability of System NEL

Lutz StraßburgerLutz Straßburger

Download

Lutz Straßburger
The Undecidability of System NEL
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-05, 2003

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{S2003,
  author      = {Lutz Stra{\ss}burger},
  title       = {The Undecidability of System {NEL}},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2003}
}