2000 - CLUEB
Chapitre
Digital Version
Télécharger | Copier/coller indisponible | Impression
A computationally oriented approach to defeasible normative reasoning
P. [1-15] [15]
Fait partie de
Studies on normative reasoning : logical and philosophical perspectives. - ( Filosofia, informatica, diritto ; 11)-
Informations
-
Dans le même volume
- Preface
- Leibniz's theory of presumption and the birth of nonmonotoning reasoning
- Leibniz's foundations of legal and comonsense reasoning
- The logic of presumption
- Deontic theorem proving
- A computationally oriented approach to defeasible normative reasoning
- A general unifying framework for defeasible deontic logic
- Normative reasoning in quantificational contexts
- A sceptical conclusion