Cargando…

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Congress of Logic Applied to Technology Santos, Brazil
Otros Autores: Torres, Germano Lambert
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands ; Fairfax, VA : IOS Press, ©2009.
Colección:Frontiers in artificial intelligence and applications ; v. 186.
Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBSCO_ocn646807215
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cn|||||||||
008 081220s2009 ne a ob 101 0 eng d
010 |a  2008939409 
040 |a E7B  |b eng  |e pn  |c E7B  |d OCLCQ  |d N$T  |d IOSPR  |d CDX  |d EBLCP  |d IDEBK  |d OCLCQ  |d YDXCP  |d OCLCF  |d OCLCQ  |d OCLCO  |d DEBSZ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCL  |d NKT  |d OCL  |d OCLCO  |d AZK  |d OCLCQ  |d AGLDB  |d OCLCQ  |d MOR  |d PIFAG  |d ZCU  |d MERUC  |d OCLCQ  |d JBG  |d OCLCQ  |d U3W  |d STF  |d WRM  |d OCLCQ  |d VTS  |d NRAMU  |d ICG  |d INT  |d VT2  |d OCLCQ  |d WYU  |d OCLCQ  |d DKC  |d OCLCQ  |d M8D  |d HS0  |d OCLCQ  |d UKCRE  |d VLY  |d AJS  |d OCLCO  |d OCLCQ  |d OCLCO 
015 |a GBA987883  |2 bnb 
016 7 |a 015360716  |2 Uk 
019 |a 317987627  |a 491257497  |a 961543092  |a 962683251  |a 988410394  |a 991914973  |a 1037906635  |a 1038676675  |a 1045440868  |a 1055330401  |a 1066430785  |a 1077268936  |a 1081293419  |a 1153496501  |a 1162028386  |a 1228615056  |a 1241884291  |a 1290089675  |a 1300667747 
020 |a 9781441605443  |q (electronic bk.) 
020 |a 1441605444  |q (electronic bk.) 
020 |a 9781607503804 
020 |a 1607503808 
020 |z 1586039369 
020 |z 9781586039363 
020 |a 6612070536 
020 |a 1282070533 
020 |a 9781282070530 
020 |a 9786612070532 
020 |a 6000012497 
020 |a 9786000012496 
029 1 |a AU@  |b 000046686766 
029 1 |a AU@  |b 000051428772 
029 1 |a CDX  |b 10798847 
029 1 |a DEBBG  |b BV042960843 
029 1 |a DEBBG  |b BV044135919 
029 1 |a DEBSZ  |b 422012394 
029 1 |a DEBSZ  |b 430733941 
029 1 |a NZ1  |b 13519232 
035 |a (OCoLC)646807215  |z (OCoLC)317987627  |z (OCoLC)491257497  |z (OCoLC)961543092  |z (OCoLC)962683251  |z (OCoLC)988410394  |z (OCoLC)991914973  |z (OCoLC)1037906635  |z (OCoLC)1038676675  |z (OCoLC)1045440868  |z (OCoLC)1055330401  |z (OCoLC)1066430785  |z (OCoLC)1077268936  |z (OCoLC)1081293419  |z (OCoLC)1153496501  |z (OCoLC)1162028386  |z (OCoLC)1228615056  |z (OCoLC)1241884291  |z (OCoLC)1290089675  |z (OCoLC)1300667747 
037 |a 978-1-58603-936-3  |b IOS Press  |n http://www.iospress.nl 
050 4 |a QA76  |b .C66 2007eb 
072 7 |a COM  |x COM004000  |2 bisacsh 
082 0 4 |a 006.3  |2 22 
049 |a UAMI 
111 2 |a Congress of Logic Applied to Technology  |n (6th :  |d 2007 :  |c Santos, Brazil) 
245 1 0 |a Advances in Technological Applications of Logical and Intelligent Systems :  |b Selected Papers from the Sixth Congress on Logic Applied to Technology /  |c edited by Germano Lambert-Torres [and others]. 
260 |a Amsterdam, Netherlands ;  |a Fairfax, VA :  |b IOS Press,  |c ©2009. 
300 |a 1 online resource (x, 285 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file  |2 rda 
490 1 |a Frontiers in artificial intelligence and applications,  |x 0922-6389 ;  |v v. 186 
490 1 |a Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a 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 
505 8 |a 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 
505 8 |a 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 
520 |a Contains 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. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Artificial intelligence  |v Congresses. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 6 |a Intelligence artificielle  |v Congrès. 
650 6 |a Logique symbolique et mathématique  |v Congrès. 
650 7 |a COMPUTERS  |x Enterprise Applications  |x Business Intelligence Tools.  |2 bisacsh 
650 7 |a COMPUTERS  |x Intelligence (AI) & Semantics.  |2 bisacsh 
650 7 |a Artificial intelligence  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Torres, Germano Lambert. 
776 0 8 |i Print version:  |a Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil).  |t Advances in technological applications of logical and intelligent systems.  |d Amsterdam, Netherlands ; Washington, D.C. : IOS Press, ©2009  |z 9781586039363  |z 1586039369  |w (OCoLC)290492506 
830 0 |a Frontiers in artificial intelligence and applications ;  |v v. 186.  |x 0922-6389 
830 0 |a Frontiers in artificial intelligence and applications.  |p Knowledge-based intelligent engineering systems. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=269144  |z Texto completo 
938 |a Coutts Information Services  |b COUT  |n 10798847 
938 |a EBL - Ebook Library  |b EBLB  |n EBL433439 
938 |a ebrary  |b EBRY  |n ebr10285511 
938 |a EBSCOhost  |b EBSC  |n 269144 
938 |a YBP Library Services  |b YANK  |n 3318075 
938 |a YBP Library Services  |b YANK  |n 3003064 
994 |a 92  |b IZTAP