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.
Introduction to Annotated Logics [[electronic resource] ] : Foundations for Paracomplete and Paraconsistent Reasoning / / by Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
| Introduction to Annotated Logics [[electronic resource] ] : Foundations for Paracomplete and Paraconsistent Reasoning / / by Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu |
| Autore | Abe Jair Minoro |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (195 p.) |
| Disciplina | 005.101 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Artificial intelligence Logic design Computational Intelligence Artificial Intelligence Logic Design |
| ISBN | 3-319-17912-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions. |
| Record Nr. | UNINA-9910299840203321 |
Abe Jair Minoro
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards paraconsistent engineering / / edited by Seiki Akama
| Towards paraconsistent engineering / / edited by Seiki Akama |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 234 p. 52 illus., 9 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Artificial intelligence Mathematical logic Logic Computer logic Computational Intelligence Artificial Intelligence Mathematical Logic and Foundations Logics and Meanings of Programs |
| ISBN | 3-319-40418-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas’s Conditional Logics, and Association Rules -- A Beautiful Theorem.-Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering. |
| Record Nr. | UNINA-9910254225103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||