Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad, 2016
571 kr
Artificial Intelligence Logic and Applications
5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings
AvMarcello Bonsangue,Yixiang Chen
Häftad, Engelska, 2026
Del i serien Communications in Computer and Information Science
853 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025.The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. The papers are organized in the following topical sections: Explainable AI; Knowledge Systems; Norms and Metrics; Probabilistic and Fuzzy Systems; Optimization and Efficiency; Specification and Verification.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016739 kr
Formal Methods for Components and Objects
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, 2003
571 kr
Formal Methods for Components and Objects
Willem-Paul de Roever, Susanne Graf, Marcello Bonsangue, Frank S.de Boer
E-bok
2003739 kr
Data Science and Artificial Intelligence
Chutiporn Anutariya, Marcello Bonsangue, Amalka Pinidiyaarachchi, Hakim Usoof
Häftad, 2025
853 kr
Data Science and Artificial Intelligence
Hakim Usoof, Amalka Pinidiyaarachchi, Marcello Bonsangue, Chutiporn Anutariya
E-bok
20251 056 kr
Hoppa över listan
Mer från samma serie
Del 909
New Trends in Databases and Information Systems
András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz
Häftad, 2018
571 kr
Del 1862
ICT Education
Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin
Häftad, 2024
700 kr
Del 989
Information Literacy in Everyday Life
Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy
Häftad, 2019
1 071 kr
AI Agent for Information Retrieval: Generating and Ranking
Qingsong Wen, Yongfeng Zhang, Zhiwei Liu, Julian McAuley, Hua Wei, Linsey Pang, Wei Liu, Philip S. Yu
Häftad, 2026
853 kr
Information Literacy in an AI-Driven World
Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Yurdagül Ünal, İpek Şencan, Denis Kos, Esther Grassian, Loriene Roy, Diane Mizrachi
Häftad, 2026
964 kr
Del 1524
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
Häftad, 2022
1 603 kr
Del 927
Del 915
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano
Häftad, 2018
539 kr
Del 916
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque
Häftad, 2018
554 kr
Del 934
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Domains and Processes
Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen
Inbunden, 2001
1 102 kr
Data Science and Artificial Intelligence
Hakim Usoof, Amalka Pinidiyaarachchi, Marcello Bonsangue, Chutiporn Anutariya
E-bok
20251 056 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016739 kr
