A computationally oriented approach to defeasible normative reasoning

P. [1-15] [15]

• Chapitres du même volume (disponibles individuellement)

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

  Afficher plus
• Informations

  Code DOI : 10.1400/75419

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

  DISCIPLINES

  • Mèthodes informatiques particulières
  • Logique
  • Droit