General

This book constitutes the refereed proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2018, held in Tokyo, Japan, in October/November 2018. The 27 full papers presented and 31 short papers were...

TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti?cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings...

The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in...

This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2001, held in Freiburg, Germany, in September 2001. The 40 revised full papers presented together with four invited...

This volume contains selected papers presented at the Second Asia-Paci c C- ference on Simulated Evolution and Learning (SEAL'98), from 24 to 27 Nov- ber 1998, in Canberra, Australia. SEAL'98 received a total of 92 submissions (67 papers for the regular...

This book presents the Statistical Learning Theory in a detailed and easy to understand way, by using practical examples, algorithms and source codes. It can be used as a textbook in graduation or undergraduation courses, for self-learners, or as...

This book presents a new methodological analysis of two competing research paradigms of artificial intelligence and cognitive science-the symbolic versus the connectionist paradigms. Providing an accessible introduction to the fundamentals of both...

This volume contains selected tutorial and young scientist school papers of the 5th RAAI Summer School on Artificial Intelligence, held in July 2019 at Institute of Physics and Technology (MIPT) campus in Dolgoprudny, a suburb of Moscow, Russia. The 11...

This book constitutes the proceedings of the 15th International Conference on Formal Concept Analysis, ICFCA 2019, held in Frankfurt am Main, Germany, in June 2019.The 15 full papers and 5 short papers presented in this volume were carefully reviewed and...

This textbook covers the broader field of artificial intelligence. The chapters for this textbook span within three categories: Deductive reasoning methods: These methods start with pre-defined hypotheses and reason with them in order to arrive at...

Design is an important research topic in engineering and architecture, since design is not only a means of change but also one of the keystones of economic competitiveness and the fundamental precursor to manufacturing. However, our understanding of...

It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and...

The two-volume set LNAI 8397 and LNAI 8398 constitutes the refereed proceedings of the 6th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2014, held in Bangkok, Thailand, in April 2014. The 125 revised papers presented were...

This book discusses smart, agile software development methods and their applications for enterprise crisis management, presenting a systematic approach that promotes agility and crisis management in software engineering. The key finding is that these...

Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and...

The 4-volumes set of LNCS 13529, 13530, 13531, and 13532 constitutes the proceedings of the 31st International Conference on Artificial Neural Networks, ICANN 2022, held in Bristol, UK, in September 2022. The total of 255 full papers presented in these...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789810898106Author Seymour L PurvisFormat PaperbackPage Count 142Imprint Scholastic SingaporePublisher Scholastic SingaporeWeight(grams) 200g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798223539926Author Denis BoulangerFormat PaperbackPage Count 154Imprint Denis BoulangerPublisher Denis BoulangerWeight(grams) 159g

Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval...

IFIP's Working Group 2.7(13.4)* has, since its establishment in 1974, con centrated on the software problems of user interfaces. From its original interest in operating systems interfaces the group has gradually shifted em phasis towards the development...

In June of 1983, our expert systems research group at Carnegie Mellon University began to work actively on automating knowledge acquisition for expert systems. In the last five years, we have developed several tools under the pressure and influence of...

This book constitutes the proceedings of the 16th International Conference on Discovery Science, DS 2013, held in Singapore in October 2013, and co-located with the International Conference on Algorithmic Learning Theory, ALT 2013. The 23 papers...

Fast-track conference proceedings State-of-the-art research Up-to-date resultsBook InformationISBN 9783642319143Author Louise DennisFormat PaperbackPage Count 217Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

This collection of articles is devoted to fuzzy as well as rough set theories. Both theoriesarebasedonrigorousideas,methodsandtechniquesinlogic,mathem- ics, and computer science for treating problems for which approximate solutions are possible only, due...

This volume constitutes the refereed proceedings of the First International Conference on Computing, Communication and Learning, CoCoLe 2022, held in Warangal, India, in October 2022.The 25 full papers and 1 short paper presented were carefully reviewed...

The 4-volumes set of LNCS 13529, 13530, 13531, and 13532 constitutes the proceedings of the 31st International Conference on Artificial Neural Networks, ICANN 2022, held in Bristol, UK, in September 2022. The total of 255 full papers presented in these...

The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than knowledge and experience. This textbook approaches the essence of sparse estimation by considering math problems and building...

This book constitutes the refereed proceedings of the 10th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2022, held in Dubai, UAE, in November 2022. The 16 revised full papers presented were carefully...

Spatial reasoning and planning is a core constituent in robotics, graphics, computer-aided design, and geographic information systems. After a review of previous work in the related areas, Liu and Daneshmend present a unified framework for qualitative...

The EURASIP workshop contributions collected in this volume have an interdisciplinary character. The authors include psychologists, biologists, engineers and mathematicians as well as computer scientists. The volume starts with two invited papers, by...

This two-volume set constitutes selected papers presented during the First International Conference on Advanced Computing, Machine Learning, Robotics and Internet Technologies, AMRIT 2023, held in Silchar, India, in March 2023.The 20 full papers and 27...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798991085830Author Richard S WhittFormat PaperbackPage Count 446Imprint Richard S WhittPublisher Richard S WhittWeight(grams) 594g

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798224075812Author Abebe-Bard Ai WoldemariamFormat PaperbackPage Count 334Imprint WoldemariamPublisher WoldemariamWeight(grams) 426g

Arti?cial Immune Systems have come of age. They are no longer an obscure computersciencetechnique,workedonbyacoupleoffarsightedresearchgroups. Today, researchers across the globe are working on new computer algorithms inspired by the workings of the...

The two-volume set CCIS 1869 and 1870 constitutes the refereed proceedings of the 4th International Conference on Neural Computing for Advanced Applications, NCAA 2023, held in Hefei, China, in July 2023.The 83 full papers and 1 short paper presented in...

This two-volume set constitutes selected papers presented during the First First International Conference on Science, Engineering Management and Information Technology, SEMIT 2022, held virtually in Ankara, Turkey, in February 2–3, 2022 and in September...

This book consitiutes the refereed proceedings of the 4th International Conference on Deep Learning Theory and Applications, DeLTA 2023, held in Rome, Italy from 13 to 14 July 2023.The 9 full papers and 22 short papers presented were thoroughly reviewed...

This book constitutes the refereed proceedings of the 16th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2023, held in Hyderabad, India, during July 21–22, 2023, 2022.The 47 full papers and 24 short papers...

The four-volume set LNCS 13943, 13944, 13945 and 13946 constitutes the proceedings of the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in April 2023 in Tianjin, China.The total of 125 full papers, along...