Cover Image

QR Code

AIxIA 2020 – Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers /

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020. Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the origin...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Baldoni, Matteo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bandini, Stefania. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Lecture Notes in Artificial Intelligence ; 12414
Subjects:	Artificial intelligence. Computers. Software engineering. Special purpose computers. Programming languages (Electronic computers). Application software. Artificial Intelligence. Theory of Computation. Software Engineering/Programming and Operating Systems. Special Purpose and Application-Based Systems. Programming Languages, Compilers, Interpreters. Computer Applications.
Online Access:	https://doi.org/10.1007/978-3-030-77091-4

Similar Items

Benchmarking, Measuring, and Optimizing Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
Published: (2021)

Automotive Software Architectures An Introduction / by Miroslaw Staron.
by: Staron, Miroslaw., et al.
Published: (2021)

Foundations of 3D Graphics Programming Using JOGL and Java3D / by Jim X. Chen, Chunyang Chen.
by: Chen, Jim X., et al.
Published: (2008)

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan Ničković.
Published: (2020)

Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers / edited by Mostafa Hashem Sherif, Abdelhamid Mellouk, Jun Li, Paolo Bellavista.
Published: (2014)

Automotive Software Architectures An Introduction / by Miroslaw Staron.
by: Staron, Miroslaw., et al.
Published: (2017)

API Management An Architect's Guide to Developing and Managing APIs for Your Organization / by Brajesh De.
by: De, Brajesh., et al.
Published: (2017)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
Published: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
Published: (2008)

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 / edited by Eugenio Villar.
Published: (2008)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / edited by Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba.
Published: (2020)

Cyber Physical Systems. Model-Based Design 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
Published: (2020)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Artificial Intelligence in Education 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I / edited by Ig Ibert Bittencourt, Mutlu Cukurova, Kasia Muldner, Rose Luckin, Eva Millán.
Published: (2020)

Artificial Intelligence in Education 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part II / edited by Ig Ibert Bittencourt, Mutlu Cukurova, Kasia Muldner, Rose Luckin, Eva Millán.
Published: (2020)

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / edited by Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades.
Published: (2018)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)

Data Driven Approaches in Digital Education 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings / edited by Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín.
Published: (2017)

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.
Published: (2014)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06 / edited by Sorin Alexander Huss.
Published: (2007)

Innovative Technologies and Learning Third International Conference, ICITL 2020, Porto, Portugal, November 23–25, 2020, Proceedings / edited by Tien-Chi Huang, Ting-Ting Wu, João Barroso, Frode Eika Sandnes, Paulo Martins, Yueh-Min Huang.
Published: (2020)

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / edited by Américo Azevedo.
Published: (2008)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

5G for Future Wireless Networks Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / edited by Victor C. M. Leung, Haijun Zhang, Xiping Hu, Qiang Liu, Zhi Liu.
Published: (2019)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / edited by Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler.
Published: (2019)

Internet of Things. A Confluence of Many Disciplines Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers / edited by Augusto Casaca, Srinivas Katkoori, Sandip Ray, Leon Strous.
Published: (2020)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers / edited by Andrea Aler Tubella, Stephen Cranefield, Christopher Frantz, Felipe Meneguzzi, Wamberto Vasconcelos.
Published: (2021)

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets.
Published: (2020)

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.
Published: (2017)

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers / edited by Stefano Chessa, Stefan Knauth.
Published: (2013)

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, July and September 2013. Proceedings / edited by Juan A. Botia, Juan Antonio Alvarez-Garcia, Kaori Fujinami, Paolo Barsocchi, Till Riedel.
Published: (2013)

E-Government ICT Professionalism and Competences Service Science IFIP 20th World Computer Congress, Industry Oriented Conferences, September 7-10, 2008, Milano, Italy / edited by Antonino Mazzeo, Roberto Bellini, Gianmario Motta.
Published: (2008)

Evaluation of Novel Approaches to Software Engineering 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers / edited by Raian Ali, Hermann Kaindl, Leszek A. Maciaszek.
Published: (2021)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Computational Advances in Bio and Medical Sciences 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers / edited by Sumit Kumar Jha, Ion Măndoiu, Sanguthevar Rajasekaran, Pavel Skums, Alex Zelikovsky.
Published: (2021)

Ambient Intelligence 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings / edited by Andreas Braun, Reiner Wichert, Antonio Maña.
Published: (2017)

Computer Vision – ECCV 2020 Workshops Glasgow, UK, August 23–28, 2020, Proceedings, Part IV / edited by Adrien Bartoli, Andrea Fusiello.
Published: (2020)