Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany, September 2012

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{W2012,
  author = {Christoph Wernhard},
  title  = {Towards a Declarative Approach to Model Human Reasoning with
            Nonmonotonic Logics},
  year   = {2012},
  month  = {September}
}