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

From International Center for Computational Logic
Toggle side column

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

Christoph WernhardChristoph Wernhard
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
@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}
}