Значок книги

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted pape...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Gaggl, Sarah (Редактор), Martinez, Maria Vanina (Редактор), Ortiz, Magdalena (Редактор)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Редактирование:	1st ed. 2023.
Серии:	Lecture Notes in Artificial Intelligence, 14281
Предметы:	Artificial intelligence. Application software. Computers, Special purpose. Computer science. Machine theory. Computer programming. Artificial Intelligence. Computer and Information Systems Applications. Special Purpose and Application-Based Systems. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Programming Techniques.
Online-ссылка:	https://doi.org/10.1007/978-3-031-43619-2
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part II /
Опубликовано: (2024)

Telecommunications and Remote Sensing 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023, Proceedings /
Опубликовано: (2023)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Опубликовано: (2023)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part-I /
Опубликовано: (2025)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part II /
Опубликовано: (2025)

Cognitive Computing and Cyber Physical Systems 5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part III /
Опубликовано: (2025)

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9–11, 2019, Revised Selected Papers /
Опубликовано: (2023)

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /
Опубликовано: (2024)

Mobile Networks and Management 12th EAI International Conference, MONAMI 2022, Virtual Event, October 29-31, 2022, Proceedings /
Опубликовано: (2023)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Опубликовано: (2025)

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Опубликовано: (2023)

Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I /
Опубликовано: (2024)

Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13–15, 2023, Proceedings /
Опубликовано: (2023)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers /
Опубликовано: (2023)

Wireless Internet 15th EAI International Conference, WiCON 2022, Virtual Event, November 2022, Proceedings /
Опубликовано: (2023)

Cognitive Computing and Cyber Physical Systems Third EAI International Conference, IC4S 2022, Virtual Event, November 26-27, 2022, Proceedings /
Опубликовано: (2023)

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28–29, 2023, Proceedings /
Опубликовано: (2025)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers /
Опубликовано: (2025)

Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21–23, 2024, Proceedings, Part I /
Опубликовано: (2025)

Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21–23, 2024, Proceedings, Part II /
Опубликовано: (2025)

New Technologies, Artificial Intelligence and Smart Data 10th International Conference, INTIS 2022, Casablanca, Morocco, May 20–21, 2022, and 11th International Conference, INTIS 2023, Tangier, Morocco, May 26–27, 2023, Revised Selected Papers /
Опубликовано: (2024)

Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers /
Опубликовано: (2025)

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers /
Опубликовано: (2023)

Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27–29, 2022, Revised Selected Papers /
Опубликовано: (2023)

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
Опубликовано: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part II /
Опубликовано: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part III /
Опубликовано: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part I /
Опубликовано: (2025)

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers /
Опубликовано: (2024)

Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach /
по: Wang, Xi, и др.
Опубликовано: (2023)

Smart Business Technologies 20th International Conference, ICSBT 2023, Rome, Italy, July 11–13, 2023, Revised Selected Papers /
Опубликовано: (2024)

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I /
Опубликовано: (2024)

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II /
Опубликовано: (2024)

Ubiquitous Networking 9th International Symposium, UNet 2023, Clermont-Ferrand, France, November 1–3, 2023, Revised Selected Papers /
Опубликовано: (2024)

Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers /
Опубликовано: (2024)

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26–27, 2024, Proceedings /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II /
Опубликовано: (2025)