Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics

Christoph WernhardChristoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics


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
@misc{W2012,
  author = {Christoph Wernhard},
  title  = {Towards a Declarative Approach to Model Human Reasoning with
            Nonmonotonic Logics},
  year   = {2012},
  month  = {September}
}