You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004. The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2007, held in Hammammet, Tunisia, Oktober 31 - November 2, 2007. The 78 revised full papers presented together with 3 invited papers were carefully reviewed and selected from over hundret submissions for inclusion in the book. The papers are organized in topical sections on Bayesian networks, graphical models, learning causal networks, planning, causality and independence, preference modelling and decision, argumentation systems, inconsistency handling, belief revision and merging, belief functions, fuzzy models, many-valued logical systems, uncertainty logics, probabilistic reasoning, reasoning models under uncertainty, uncertainty measures, probabilistic classifiers, classification and clustering, and industrial applications.
The refereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2003, held in Aalborg, Denmark in July 2003. The 47 revised full papers presented together with 2 invited survey articles were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of uncertainty concepts, Bayesian networks, algorithms for uncertainty inference, learning, decision graphs, belief functions, fuzzy sets, possibility theory, default reasoning, belief revision and inconsistency handling, logics, and tools.
This book constitutes the refereed proceedings of the International Conference on Biometrics, ICB 2007, held in Seoul, Korea, August 2007. Biometric criteria covered by the papers are assigned to face, fingerprint, iris, speech and signature, biometric fusion and performance evaluation, gait, keystrokes, and others. In addition, the volume also announces the results of the Face Authentication Competition, FAC 2006.
This book constitutes the refereed proceedings of the 5th Mexican International Conference on Artificial Intelligence, MICAI 2006, held in Apizaco, Mexico in November 2006. It contains over 120 papers that address such topics as knowledge representation and reasoning, machine learning and feature selection, knowledge discovery, computer vision, image processing and image retrieval, robotics, as well as bioinformatics and medical applications.
Soft Computing in Green and Renewable Energy Systems provides a practical introduction to the application of soft computing techniques and hybrid intelligent systems for designing, modeling, characterizing, optimizing, forecasting, and performance prediction of green and renewable energy systems. Research is proceeding at jet speed on renewable energy (energy derived from natural resources such as sunlight, wind, tides, rain, geothermal heat, biomass, hydrogen, etc.) as policy makers, researchers, economists, and world agencies have joined forces in finding alternative sustainable energy solutions to current critical environmental, economic, and social issues. The innovative models, environm...
The role of artificial intelligence (AI) applications in fields as diverse as medicine, economics, linguistics, logical analysis and industry continues to grow in scope and importance. AI has become integral to the effective functioning of much of the technical infrastructure we all now take for granted as part of our daily lives. This book presents the papers from the 21st biennial European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The ECAI conference remains Europe's principal opportunity for researchers and practitioners of Artificial Intelligence to gather and to discuss the latest trends and challenges in all subfields of AI, as we...
Many problems in decision making, monitoring, fault detection, and control require the knowledge of state variables and time-varying parameters that are not directly measured by sensors. In such situations, observers, or estimators, can be employed that use the measured input and output signals along with a dynamic model of the system in order to estimate the unknown states or parameters. An essential requirement in designing an observer is to guarantee the convergence of the estimates to the true values or at least to a small neighborhood around the true values. However, for nonlinear, large-scale, or time-varying systems, the design and tuning of an observer is generally complicated and in...
This book constitutes the refereed proceedings of the 4th International Conference on Scalable Uncertainty Management, SUM 2010, held in Toulouse, France, in September 2010. The 26 revised full papers presented together with the abstracts of 2 invited talks and 6 “discussant” contributions were carefully reviewed and selected from 32 submissions. The papers cover all areas of managing substantial and complex kinds of uncertainty and inconsistency in data and knowledge, including applications in decision-support systems, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, text mining, and data mining, and consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.
A core problem in Artificial Intelligence is the modeling of human reasoning. Classic-logical approaches are too rigid for this task, as deductive inference yielding logically correct results is not appropriate in situations where conclusions must be drawn based on the incomplete or uncertain knowledge present in virtually all real world scenarios. Since there are no mathematically precise and generally accepted definitions for the notions of plausible or rational, the question of what a knowledge base consisting of uncertain rules entails has long been an issue in the area of knowledge representation and reasoning. Different nonmonotonic logics and various semantic frameworks and axiom syst...