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.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
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 |