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 technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.]
| Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | TorresGermano Lambert |
| Collana |
Frontiers in artificial intelligence and applications
Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612070536
1-282-07053-3 9786612070532 1-4416-0544-4 600-00-1249-7 1-60750-380-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Foreword; Contents; Algebraic Framework for Reverse Engineering on Specifications; An Attempt to Express the Semantics of the Adaptive Devices; Temporal Logic Applied in Information Systems; A Heuristic Approach to the Cable Routing Problem in Electrical Panels; Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments; Annotated Paraconsistent Logic; Creation of Virtual Environments Through Knowledge-Aid Declarative Modeling
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the RulesParaconsistent Logic Applied in Expert System for Support in Electric Transmission Systems Re-Establishment; Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity; Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems; Intelligent Vehicle Survey and Applications; Paraconsistent Autonomous Mobile Robot Emmy III Software Development for Underground and Overhead Distribution System DesignDistribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation; Author Index |
| Record Nr. | UNINA-9910454039703321 |
| Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.]
| Advances in technological applications of logical and intelligent systems [[electronic resource] ] : selected papers from the Sixth Congress on Logic Applied to Technology / / edited by Germano Lambert-Torres ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | TorresGermano Lambert |
| Collana |
Frontiers in artificial intelligence and applications
Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| ISBN |
6612070536
1-282-07053-3 9786612070532 1-4416-0544-4 600-00-1249-7 1-60750-380-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Foreword; Contents; Algebraic Framework for Reverse Engineering on Specifications; An Attempt to Express the Semantics of the Adaptive Devices; Temporal Logic Applied in Information Systems; A Heuristic Approach to the Cable Routing Problem in Electrical Panels; Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments; Annotated Paraconsistent Logic; Creation of Virtual Environments Through Knowledge-Aid Declarative Modeling
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the RulesParaconsistent Logic Applied in Expert System for Support in Electric Transmission Systems Re-Establishment; Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity; Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems; Intelligent Vehicle Survey and Applications; Paraconsistent Autonomous Mobile Robot Emmy III Software Development for Underground and Overhead Distribution System DesignDistribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation; Author Index |
| Record Nr. | UNINA-9910782844403321 |
| Amsterdam, Netherlands ; ; Fairfax, VA, : IOS Press, c2009 | ||
| 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 |
| 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 | ||
| ||