Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection

Christoph WernhardChristoph Wernhard

• Download

Christoph Wernhard
Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{W2011,
  author      = {Christoph Wernhard},
  title       = {Forward Human Reasoning Moedeld by Logic Programming Modeled by
                 Classical Logic with Circumscription and Projection},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}