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 | ||
| ||
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 | ||
| ||