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 logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho
| Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
AbeJair Minoro
Silva FilhoJoão Inácio da |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Robotics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50573-7
9786610505739 1-4175-1140-0 600-00-0334-X 1-60129-402-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index |
| Record Nr. | UNINA-9910449824003321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho
| Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
AbeJair Minoro
Silva FilhoJoão Inácio da |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Robotics |
| ISBN |
1-280-50573-7
9786610505739 1-4175-1140-0 600-00-0334-X 1-60129-402-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index |
| Record Nr. | UNINA-9910783421403321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / / edited by Jair Minoro Abe and Joao Inacio da Silva Filho
| Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / / edited by Jair Minoro Abe and Joao Inacio da Silva Filho |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
AbeJair Minoro
Silva FilhoJoao Inacio da |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Robotics |
| ISBN |
1-280-50573-7
9786610505739 1-4175-1140-0 600-00-0334-X 1-60129-402-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index |
| Record Nr. | UNINA-9910820272903321 |
| Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Paraconsistent Decision-Making Method / / by Fábio Romeu de Carvalho, Jair Minoro Abe
| A Paraconsistent Decision-Making Method / / by Fábio Romeu de Carvalho, Jair Minoro Abe |
| Autore | Carvalho Fábio Romeu de |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 211 p.) |
| Disciplina | 006.3 |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Computational intelligence
Artificial intelligence Robotics Automation Computational Intelligence Artificial Intelligence Robotics and Automation |
| ISBN | 3-319-74110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Paraconsistent annotated evidential logic -- Decision rules -- The decision-making process - paraconsistent decision method (PDM) -- Calculation program for the paraconsistent decision method - (PDM’s CP) -- Application examples -- Comparison between the paraconsistent decision method (PDM) and the statistical decision method (EDM) -- A simplified version of the fuzzy decision method and its comparison to the paraconsistent decision method -- Complementary reading: an example from everyday life -- An overview of more applications. |
| Record Nr. | UNINA-9910299952403321 |
Carvalho Fábio Romeu de
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Paraconsistent Intelligent-Based Systems : New Trends in the Applications of Paraconsistency / / edited by Jair Minoro Abe
| Paraconsistent Intelligent-Based Systems : New Trends in the Applications of Paraconsistency / / edited by Jair Minoro Abe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (312 p.) |
| Disciplina | 006.3 |
| Collana | Intelligent Systems Reference Library |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-19722-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Paraconsistent Logics: preamble -- Constructive Discursive Logic: Paraconsistency in Constructivism -- Paraconsistent Annotated Logic Program EVAPSN and Its Applications -- The New Hardware Structure of the Emmy II Robot -- A suggestion for sample size determination using an instrument for collecting medical data based on discrete items -- Paraconsistent Logic Algorithms applied on Seasonal Comparative Analysis with Biomass Data extracted from Fouling Process -- An algorithmic method supported by Paraconsistent Annotated Logic applied at determination of Friction Factors for turbulent flow in smooth pipes -- Paraconsistent Logic study of image focus in cylindrical refraction experiments -- Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition -- Paraconsistent Logic in Decision Making -- Paraconsistent Neurocomputing and Signal Analysis. |
| Record Nr. | UNINA-9910299825003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe
| Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe |
| Autore | Silva Filho João Inácio da |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 003/.54 |
| Altri autori (Persone) |
Silva FilhoJoão Inácio da
TorresGermano Lambert AbeJair Minoro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Inconsistency (Logic) |
| ISBN |
6612692871
1-282-69287-9 9786612692871 1-60750-558-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Paraconsistent annotated logic (PAL) -- pt. 2. Paraconsistent analysis networks (PaNet) -- pt. 3. Paraconsistent artificial neural cell. |
| Record Nr. | UNINA-9910785023503321 |
|
Silva Filho João Inácio da
|
||
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe
| Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe |
| Autore | Silva Filho João Inácio da |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 003/.54 |
| Altri autori (Persone) |
Silva FilhoJoão Inácio da
TorresGermano Lambert AbeJair Minoro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Inconsistency (Logic) |
| ISBN |
6612692871
1-282-69287-9 9786612692871 1-60750-558-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Paraconsistent annotated logic (PAL) -- pt. 2. Paraconsistent analysis networks (PaNet) -- pt. 3. Paraconsistent artificial neural cell. |
| Record Nr. | UNINA-9910817363703321 |
|
Silva Filho João Inácio da
|
||
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe
| Uncertainty treatment using paraconsistent logic [[electronic resource] ] : introducing paraconsistent artificial neural networks / / João Inácio da Silva Filho, Germano Lambert-Torres, and Jair Minoro Abe |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 003/.54 |
| Altri autori (Persone) |
Silva FilhoJoão Inácio da
TorresGermano Lambert AbeJair Minoro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Inconsistency (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612692871
1-282-69287-9 9786612692871 1-60750-558-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Paraconsistent annotated logic (PAL) -- pt. 2. Paraconsistent analysis networks (PaNet) -- pt. 3. Paraconsistent artificial neural cell. |
| Record Nr. | UNINA-9910459171703321 |
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||