| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910482380203321 |
|
|
Autore |
Anon |
|
|
Titolo |
Eene treffelijcke tzamensprekinghe tusschen den paus ende koninc van Spagnien, belanghende den peys met ons lieden aen te gane [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Netherlands, : [s.n.], 1608 |
|
|
|
|
|
|
|
Descrizione fisica |
|
Online resource ([8] p, 4°) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Koninklijke Bibliotheek, Nationale bibliotheek van Nederland. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910716856503321 |
|
|
Autore |
Wooley Robert |
|
|
Titolo |
Productions of 1,000 gallons of certified biojet fuel through biochemical conversions of softwood forest residues / / Robert Wooley [and eleven others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Madison, WI : , : United States Department of Agriculture, Forest Service, Forest Products Laboratory, , 2020 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (105 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
General technical report FPL-GTR ; ; 278 |
|
|
|
|
|
|
Soggetti |
|
Biomass energy |
Forest products |
Jet planes - Fuel |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 60). |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910755076703321 |
|
|
Autore |
Abe Jair Minoro |
|
|
Titolo |
Advances in Applied Logics : Applications of Logic for Philosophy, Mathematics and Information Technology / / edited by Jair Minoro Abe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (210 pages) |
|
|
|
|
|
|
Collana |
|
Intelligent Systems Reference Library, , 1868-4408 ; ; 243 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Artificial intelligence |
Computational Intelligence |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers. The book is dedicated to researcher |
|
|
|
|
|
|
|
|
|
|
|
|
|
Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections. |
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910754095603321 |
|
|
Titolo |
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (245 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 14213 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Formal Syntax -- Formal Semantics -- Formal Pragmatics -- Philosophy of Language -- Logic -- Computational Linguistics. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing. |
|
|
|
|
|
|
|
| |