Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection
Aus International Center for Computational Logic
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
Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
- 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}
}
