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 | ||
| ||
Castañeda and his guises : essays on the work of Hector-Neri Castañeda / / edited by Adriano Palma
| Castañeda and his guises : essays on the work of Hector-Neri Castañeda / / edited by Adriano Palma |
| Pubbl/distr/stampa | Boston ; ; Berlin : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (222 p.) |
| Disciplina | 191 |
| Collana | Philosophische Analyse,Philosophical analysis |
| Soggetto topico | PHILOSOPHY / Metaphysics |
| Soggetto non controllato |
Deontic logic
indexicality metaphysics |
| ISBN |
1-61451-929-3
1-61451-663-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Foreword -- Contents -- H-NC and his ambiguous Guises, or, by way of introduction / Palma, Adriano -- Chorus: Hector-Neri Castañeda -- A "kind of glue": Castañeda on Fiction / Dolcini, Nevia -- Practitions in Castañeda's Deontic Logic / Jacquette, Dale -- Castañeda: System, Substance, and Style / Kapitan, Tomis -- Clark's Paradox of Castañeda's Guises: A Brief Memoir / Landini, Gregory -- Arithmetic, Convention, Reality / McCarty, Charles -- Metaphysical Realism and Castañeda's Minimal Transcendental Realism / Orilia, Francesco -- Contextual Vocabulary Acquisition: from Algorithm to Curriculum / Rapaport, William J. / Kibby, Michael W. -- Grossmann's Descriptions and Castañeda's Guises / Tegtmeier, Erwin -- Quasi-Indexicals, Kaplanian Monsters, and Self-Consciousness / Varnier, Giuseppe -- Contingent Sameness and Necessary Identity / Voltolini, Alberto -- List of Contributors -- Index |
| Record Nr. | UNINA-9910787096103321 |
| Boston ; ; Berlin : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Castañeda and his guises : essays on the work of Hector-Neri Castañeda / / edited by Adriano Palma
| Castañeda and his guises : essays on the work of Hector-Neri Castañeda / / edited by Adriano Palma |
| Pubbl/distr/stampa | Boston ; ; Berlin : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (222 p.) |
| Disciplina | 191 |
| Collana | Philosophische Analyse,Philosophical analysis |
| Soggetto topico | PHILOSOPHY / Metaphysics |
| Soggetto non controllato |
Deontic logic
indexicality metaphysics |
| ISBN |
1-61451-929-3
1-61451-663-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Foreword -- Contents -- H-NC and his ambiguous Guises, or, by way of introduction / Palma, Adriano -- Chorus: Hector-Neri Castañeda -- A "kind of glue": Castañeda on Fiction / Dolcini, Nevia -- Practitions in Castañeda's Deontic Logic / Jacquette, Dale -- Castañeda: System, Substance, and Style / Kapitan, Tomis -- Clark's Paradox of Castañeda's Guises: A Brief Memoir / Landini, Gregory -- Arithmetic, Convention, Reality / McCarty, Charles -- Metaphysical Realism and Castañeda's Minimal Transcendental Realism / Orilia, Francesco -- Contextual Vocabulary Acquisition: from Algorithm to Curriculum / Rapaport, William J. / Kibby, Michael W. -- Grossmann's Descriptions and Castañeda's Guises / Tegtmeier, Erwin -- Quasi-Indexicals, Kaplanian Monsters, and Self-Consciousness / Varnier, Giuseppe -- Contingent Sameness and Necessary Identity / Voltolini, Alberto -- List of Contributors -- Index |
| Record Nr. | UNINA-9910821769103321 |
| Boston ; ; Berlin : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski
| Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2015 |
| Descrizione fisica | XV, 261 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68T30 - Knowledge representation [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Action and models for non-monotonic reasonings
Actions and their agents Atomic norms Compound actions Compound actions and deontology Deontic logic Fixed-point theorems for relations Games as action systems Iterative algorithms Knowledge models Models of action theory Norms and their semantics Partially ordered sets Performability and probability Performability of actions Programs and actions Pushdown algorithms The frame problem Theory of algorithms and programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114037 |
|
Czelakowski, Janusz
|
||
| Dordrecht, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski
| Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2015 |
| Descrizione fisica | XV, 261 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T27 - Logic in artificial intelligence [MSC 2020] 68T30 - Knowledge representation [MSC 2020] 68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Action and models for non-monotonic reasonings
Actions and their agents Atomic norms Compound actions Compound actions and deontology Deontic logic Fixed-point theorems for relations Games as action systems Iterative algorithms Knowledge models Models of action theory Norms and their semantics Partially ordered sets Performability and probability Performability of actions Programs and actions Pushdown algorithms The frame problem Theory of algorithms and programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114037 |
|
Czelakowski, Janusz
|
||
| Dordrecht, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic, Action and Cognition : Essays in Philosophical Logic / edited by Eva Ejerhed and Sten Lindström
| Logic, Action and Cognition : Essays in Philosophical Logic / edited by Eva Ejerhed and Sten Lindström |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1997 |
| Descrizione fisica | x, 232 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Cognition
Deontic logic Logic Ontology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297615 |
| Dordrecht, : Springer, : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||