Zobrazeno 1 - 10
of 15
pro vyhledávání: '"94(9)"'
Autor:
Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cassia Trojahn, Sven Hertling
This book constitutes the post-conference proceedings of the satellite events held at the 20th Extended Semantic Web Conference, ESWC 2023, held in Hersonissos, Greece, during May 28—June 1, 2023.The 50 full papers included in this book were carefu
Autor:
Vicenç Torra, Yasuo Narukawa
This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2021, held in Umeå, Sweden, in September 2021.• The 24 papers presented in this volume were carefully revie
Autor:
Alessandro Abate, Andrea Marin
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefu
Autor:
Marie-Jeanne Lesot, Susana Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, Ronald R. Yager
This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020. The conference was scheduled to take
This book constitutes the post-conference proceedings of the 12th International Workshop on Fuzzy Logic and Applications, WILF 2018, held in Genoa, Italy, in September 2018.The 17 revised full papers and 9 short papers were carefully reviewed and sel
Autor:
Hana Chockler, Georg Weissenbacher
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented togeth
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known
Autor:
Eran Yahav
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected fr
Autor:
Philippe Besnard
This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build'intelligent'computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers,