Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer
| Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer |
| Autore | Straßer, Christian |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVIII, 438 p. ; 24 cm |
| Soggetto topico |
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03B80 - Other applications of logic [MSC 2020] |
| Soggetto non controllato |
Abnormality-based reasoning
Abstract argumentation Adaptive logic Conditional logics of normality Default logic Defeasible modus ponens Defeasible reasoning Deontic conflicts Deontic logic Deontic paradox Diachronic defeasibility Dynamic proofs Nonmonotonic logic Plausible reasoning Preference semantics Reasoning on the basis of uncertainty Selection semantics Standard format for adaptive logics Synchronic defeasibility |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103165 |
Straßer, Christian
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer
| Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer |
| Autore | Straßer, Christian |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVIII, 438 p. ; 24 cm |
| Soggetto topico |
03B80 - Other applications of logic [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Abnormality-based reasoning
Abstract argumentation Adaptive logic Conditional logics of normality Default logic Defeasible modus ponens Defeasible reasoning Deontic conflicts Deontic logic Deontic paradox Diachronic defeasibility Dynamic proofs Nonmonotonic logic Plausible reasoning Preference semantics Reasoning on the basis of uncertainty Selection semantics Standard format for adaptive logics Synchronic defeasibility |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103165 |
|
Straßer, Christian
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer
| Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer |
| Autore | Straßer, Christian |
| Edizione | [Cham : Springer, 2014] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03B80 - Other applications of logic [MSC 2020] |
| ISBN | 8-3-319-00791-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0103165 |
|
Straßer, Christian
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||