You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The main aim of this volume has been to gather together a selection of recent papers providing new ideas and solutions for a wide spectrum of Knowledge-Driven Computing approaches. More precisely, the ultimate goal has been to collect new knowledge representation, processing and computing paradigms which could be useful to practitioners involved in the area of discussion. To this end, contributions covering both theoretical aspects and practical solutions were preferred.
The book presents logical foundations for rule-based systems. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author’s research and experience gathered through several years of his research work.
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.
The book consists of papers on selected topics of dependability analysis in computer systems and networks which were discussed during the 17th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 27th to July 1st, 2022. Their collection will be an interesting source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also, the most dynamically evolving ones), organization of contemporary computer systems and networks cannot be interpreted only as a structure built...
We are pleased to present the proceedings of the 2003 Atlantic Web Intelligence C- ference, AWIC 2003. The conference was located in Madrid, Spain during May 5–6, 2003, organized locally by the Technical University of Madrid. AWIC 2003 aimed to be the rst of a series of conferences on Web Intelligence, to be celebrated annually, alternatively in Europe and America, starting in Madrid. It was born as an activity of the recently created WIC-Poland Research Centre and the WIC-Spain Research Centre, bothbelongingtotheWebIntelligenceConsortium(WIC) (http://wi-consortium.org).AWIC 2003 was supported with grants from the S- nish Ministry for Science and Technology and the European Network of Exce...
The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the second volume are organized in the following five parts: data mining; artificial intelligence in modeling, simulation and control; various problems of artificial intelligence; special session: advances in single-objective continuous parameter optimization with nature-inspired algorithms; special session: stream data mining.
This book features high-quality, peer-reviewed papers from the 28th International Conference Systems Engineering (ICSEng 2021), held at Wrcław University of Science and Technology, Wrocław, Poland, on December 14–16, 2021. Presenting the latest developments and technical solutions in systems engineering, it covers a variety of topics, such as analog and digital hardware systems, artificial intelligence and machine learning, distance learning & games, E-business systems, financial technology, general control systems, hyper-automation and Industry 4.0, Internet of things, sensor and biometric systems, medical systems and applications, robotics, computer vision, HCI, and parallel and distributed systems. As such, it helps those in the computer industry and academia to use the advances in next-generation systems engineering technology to shape real-world applications.
This book constitutes revised papers from the eleven International Workshops held at the 15th International Conference on Business Process Management, BPM 2017, in Barcelona, Spain, in September 2017: BPAI 2017 – 1st International Workshop on Business Process Innovation with Artificial Intelligence; BPI 2017 – 13th International Workshop on Business Process Intelligence; BP-Meet-IoT 2017 – 1st International Workshop on Ubiquitous Business Processes Meeting Internet-of-Things; BPMS2 2017 – 10th Workshop on Social and Human Aspects of Business Process Management; ‐ CBPM 2017 – 1st International Workshop on Cognitive Business Process Management; CCABPM 2017 – 1st International Wor...
This volume constitutes the refereed proceedings of the 8th International Conference on Multimedia Communications, Services and Security, MCSS 2015, held in Krakow, Poland, in November 2015. The 16 full papers included in the volume were selected from 39 submissions. The papers cover ongoing research activities in the following topics: multimedia services; intelligent monitoring; audio-visual systems; biometric applications; experiments and deployments.
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2006, held in Zakopane, Poland, in June 2006. The 128 revised contributed papers presented are organized in topical sections on neural networks and their applications, fuzzy systems and their applications, evolutionary algorithms and their applications, rough sets, classification and clustering, image analysis and robotics, bioinformatics and medical applications, various problems of artificial intelligence.