04114nam 2200697Ia 450 991078284440332120230721005343.066120705361-282-07053-397866120705321-4416-0544-4600-00-1249-71-60750-380-8(CKB)1000000000723317(EBL)433439(OCoLC)646807215(SSID)ssj0000099225(PQKBManifestationID)11114027(PQKBTitleCode)TC0000099225(PQKBWorkID)10011911(PQKB)11747187(MiAaPQ)EBC433439(Au-PeEL)EBL433439(CaPaEBR)ebr10285511(CaONFJC)MIL207053(EXLCZ)99100000000072331720081220d2009 uy 0engurcn|||||||||txtccrAdvances 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.]Amsterdam, Netherlands ;Fairfax, VA IOS Pressc20091 online resource (296 p.)Frontiers in artificial intelligence and applications,0922-6389 ;v. 186Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systemsDescription based upon print version of record.1-58603-936-9 Includes bibliographical references and index.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 ModelingFurther 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 IIISoftware 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 IndexContains papers on relevant technological applications of logical methods and some of their extensions and gives an idea of some applications of logical methods to numerous problems, including relevant concepts and results, in particular those related to paraconsistent logic.Frontiers in artificial intelligence and applications ;v. 186.Frontiers in artificial intelligence and applications.Knowledge-based intelligent engineering systems.Artificial intelligenceCongressesLogic, Symbolic and mathematicalCongressesArtificial intelligenceLogic, Symbolic and mathematical006.3Torres Germano Lambert1540567Congress of Logic Applied to TechnologyCongress of Logic Applied to Technology(6th :2007 :Santos, Brazil)MiAaPQMiAaPQMiAaPQBOOK9910782844403321Advances in technological applications of logical and intelligent systems3792308UNINA