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.
Advances in Applied Logics : Applications of Logic for Philosophy, Mathematics and Information Technology / / edited by Jair Minoro Abe
| Advances in Applied Logics : Applications of Logic for Philosophy, Mathematics and Information Technology / / edited by Jair Minoro Abe |
| Autore | Abe Jair Minoro |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (210 pages) |
| Disciplina | 006.3 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN |
9783031357596
3031357590 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. The Scientific Work of Seiki Akama -- 2. A busy–beaver–like function in complexity theory -- 3. On the Choice of Primitives in Tense Logic -- 4. Paraconsistent Annotated Logic and Chaos Theory: Introducing the Fundamental Equations -- 5. A Paraconsistent Artificial Neural Cell of Learning by Contradiction Extraction (PANCLCTX) with Application Examples -- 6. Probabilistic Autoepistemic Equilibrium Logic -- 7. Rough-set-base Data Analysis: Theoretical Basis and Applications -- 8. Bilattice Tableau Calculi with Rough Set Semantics -- 9. Optimizing the Data Loss Prevention level using Logic Paraconsistent Annotated Evidential Eτ -- 10. Evaluation of behavioural skills simulating hiring of project manager applying Paraconsistent Annotated Evidential Logic Eτ -- 11. A Paraconsistent Decision-Making Method -- 12. Annotated logics and application – an overview. |
| Record Nr. | UNINA-9910755076703321 |
Abe Jair Minoro
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Annotated Logics : Foundations for Paracomplete and Paraconsistent Reasoning / / by Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
| Introduction to Annotated Logics : 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 |
9783319179124
3319179128 |
| 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 | ||
| ||
An Introduction to Curry Systems : A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic / / by Jair Minoro Abe
| An Introduction to Curry Systems : A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic / / by Jair Minoro Abe |
| Autore | Abe Jair Minoro |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (192 pages) |
| Disciplina | 006.3 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Engineering mathematics Engineering - Data processing Artificial intelligence Algebra Computational Intelligence Mathematical and Computational Engineering Applications Artificial Intelligence |
| ISBN | 9783031978104 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Curry Systems -- 2.C n Algebras -- 3.Heyting Algebras -- 4.P n -Algebras -- 5.N n -Algebras -- 6.Algebraization Of 1 st Order Paraconsistent Systems C*n -- 7.Algebraization of 1 st Order Paracomplete Systems Pn* -- 8.Algebraization Of 1 st Order Non-Alethic Systems N n * -- 9.P Algebras & Monadic Curry Algebras Q -- 10.Alternative Algebraization of Classic Logic -- 11.Conclusion. |
| Record Nr. | UNINA-9911021961303321 |
|
Abe Jair Minoro
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||