LEADER 04114nam  2200697Ia 450 
001 9910782844403321
005 20230721005343.0
010   $a6612070536
010   $a1-282-07053-3
010   $a9786612070532
010   $a1-4416-0544-4
010   $a600-00-1249-7
010   $a1-60750-380-8
035   $a(CKB)1000000000723317
035   $a(EBL)433439
035   $a(OCoLC)646807215
035   $a(SSID)ssj0000099225
035   $a(PQKBManifestationID)11114027
035   $a(PQKBTitleCode)TC0000099225
035   $a(PQKBWorkID)10011911
035   $a(PQKB)11747187
035   $a(MiAaPQ)EBC433439
035   $a(Au-PeEL)EBL433439
035   $a(CaPaEBR)ebr10285511
035   $a(CaONFJC)MIL207053
035   $a(EXLCZ)991000000000723317
100   $a20081220d2009      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aAdvances in technological applications of logical and intelligent systems$b[electronic resource] $eselected papers from the Sixth Congress on Logic Applied to Technology /$fedited by Germano Lambert-Torres ... [et al.]
210   $aAmsterdam, Netherlands ;$aFairfax, VA $cIOS Press$dc2009
215   $a1 online resource (296 p.)
225 1 $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 186
225 1 $aFrontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems
300   $aDescription based upon print version of record.
311   $a1-58603-936-9 
320   $aIncludes bibliographical references and index.
327   $aTitle 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
327   $aFurther 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
327   $aSoftware 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
330   $aContains 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.
410  0$aFrontiers in artificial intelligence and applications ;$vv. 186.
410  0$aFrontiers in artificial intelligence and applications.$pKnowledge-based intelligent engineering systems.
606   $aArtificial intelligence$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aArtificial intelligence
615  0$aLogic, Symbolic and mathematical
676   $a006.3
701   $aTorres$b Germano Lambert$01540567
712 02$aCongress of Logic Applied to Technology
712 12$aCongress of Logic Applied to Technology$d(6th :$f2007 :$eSantos, Brazil)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910782844403321
996   $aAdvances in technological applications of logical and intelligent systems$93792308
997   $aUNINA