Expert systems / knowledge-based systems Books

This book constitutes the proceedings of the 16th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2014, held in Busan, South Korea, in September 2014. The 33 full papers included in this volume were carefully reviewed and...

W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of...

The origin of the development of integrated circuits up to VLSI is found in the invention of the transistor, which made it possible to achieve the ac­ tion of a vacuum tube in a semiconducting solid. The structure of the tran­...

This volume surveys recent research on autonomous sensor networks from the perspective of enabling technologies that support medical, environmental and military applications.State of the art, as well as emerging concepts in wireless sensor networks, body...

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity,...

This book is dedicated to Prof. Dr. Heinz Gerhäuser on the occasion of his retirement both from the position of Executive Director of the Fraunhofer Institute for Integrated Circuits IIS and from the Endowed Chair of Information Technologies with a Focus...

This two volume set (CCIS 398 and 399) constitutes the refereed proceedings of the International Symposium on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2013, held in Wuhan, China, in November 2013. The 136 papers presented,...

This book constitutes the refereed proceedings of the international competition aimed at the evaluation and assessment of Ambient Assisted Living, EvAAL 2013, which was organized in three major events: the International Competition on Indoor Localization...

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short...

Creating scientific workflow applications is a very challenging task due to the complexity of the distributed computing environments involved, the complex control and data flow requirements of scientific applications, and the lack of high-level languages...

This book constitutes the joint refereed proceedings of the 4th International Workshop on Communication Technologies for Vehicles/Trains, Nets4Cars 2012 and Nets4Trains 2012, held in Vilnius, Lithuania, in April 2012. The 4...

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12...

This book constitutes the refereed post-proceedings of the 8th International Workshop on Economics of Grids, Clouds, Systems, and Services, GECON 2011, held in Paphos, Cyprus, in December 2011. The 9 revised full papers presented together with 5 work in...

This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended papers presented were...

(Preliminary): The Orthogonal Frequency Division Multiplexing (OFDM) digital transmission technique has several advantages in broadcast and mobile communications applications. The main objective of this book is to give a good insight into these efforts,...

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to...

The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) followed on the success of six previous editions in Capri, Italy (2008), Santorini, Greece (2007), Gyeongju, Korea (2006),...

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that...

As security technology (ST) becomes specialized and fragmented, it is easy to lose sight that many topics in ST have common threads and because of this, advances in one sub-discipline may transmit to another. The presentation...

Spatialcognitionisconcernedwiththewayshumans,animals,ormachinesthink about real or abstract space and also with the ways spatial structures can be used for reasoning. Thus, space is considered both, as an object of cognition...

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International...

Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order...

In this book, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These logics are a family of object-centered knowledge representation languages...

This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999.The 16 revised full papers presented were carefully...

This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca...

A special year like 1999 invites one to draw a balance of what has been achieved in the roughly 30 years of research and development in knowledge based systems (still abbreviated as XPS following the older term "expert...

Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise throughout business and industry in areas such as interactive distributed simulation, trac control, plant process control, military...

This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris.The book presents nine invited...

Humanexpertsarenotsystemsofrules,theyarelibrariesofexperiences. Riesbeck and Schank (1989, p.15) Broadlyspeaking,case-basedreasoning(CBR)is concernedwith solvingnew problems by adapting solutions that worked for similar...

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised...

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.The 23 revised full papers presented together...

Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by...

This book constitutes the refereed proceedings of the 4th European Conference on Planning, ECP'97, held in Toulouse, France, in September 1997. The 35 revised full papers presented were carefully reviewed and selected from 90...

This volume constitutes the refereed proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW '97, held in Sant Feliu de Guixols, Catalonia, Spain, in October 1997.The 20 revised full...

This book provides a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical, e.g., for distributed planning, scheduling, and control. First, logical and...

The first book to provide an integrative presentation of the issues, challenges and success of designing, building and using agent applications. The chapters presented are written by internationally leading authorities in the...

This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance...

th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002. Papers were invited on topics related to...

I Grundlagen.- Wer braucht wofür Avatare? Konzeption und Implementierung natürlichsprachlicher Systeme - Zur Einführung.- Die Bedeutung von natürlichsprachlichen Dialogsystemen im Internet-Business.- Technische Grundlagen von natürlichsprachlichen...

This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 - August 1, 2002 in Copenhagen, Denmark, in...

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of...

The problem of integrating multiple information sources into a uni?ed data store is currently one of the most important challenges in data management. Within the ?eld of source integration, the problem of automatically gen-...

Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances. The best known set of rules, the Ten...

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems,ISMIS2005,heldinSaratogaSprings, NewYork,25-28May,2005. ThesymposiumwasorganizedbySUNYatAlbany...

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was...

The modern ?eld of multiagent systems has developed from two main lines of earlier research. Its practitioners generally regard it as a form of arti?cial intelligence (AI). Some of its earliest work was reported in a series of...

In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields. The INRECA methodology presented...

Innovations in Intelligent Systems is a rare collection of the latest developments in intelligent paradigms such as knowledge-based systems, computational intelligence and hybrid combinations as well as practical applications...