A computationally oriented approach to defeasible normative reasoning

P. [1-15] [15]

• Chapters from the same volume (available individually)

  • Preface
    Get chapter
  • Leibniz's theory of presumption and the birth of nonmonotoning reasoning
    Get chapter
  • Leibniz's foundations of legal and comonsense reasoning
    Get chapter
  • The logic of presumption
    Get chapter
  • Deontic theorem proving
    Get chapter
  • A computationally oriented approach to defeasible normative reasoning
  • A general unifying framework for defeasible deontic logic
    Get chapter
  • Normative reasoning in quantificational contexts
    Get chapter
  • A sceptical conclusion
    Get chapter

  Show more
• Information

  DOI: 10.1400/75419

  Permalink: https://digital.casalini.it/10.1400/75419