Slika omota

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel id...

Spremljeno u:

Bibliografski detalji
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Zhang, Songmao (Urednik), Zhang, Yonggang (Urednik)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Izdanje:	1st ed. 2023.
Serija:	Communications in Computer and Information Science, 1917
Teme:	Machine theory. Computer science. Artificial intelligence. Computer science > Mathematics. Software engineering. Formal Languages and Automata Theory. Theory of Computation. Artificial Intelligence. Mathematics of Computing. Software Engineering.
Online pristup:	https://doi.org/10.1007/978-981-99-7869-4
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
od: Morazán, Marco T.
Izdano: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Izdano: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Izdano: (2025)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Izdano: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Izdano: (2023)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Izdano: (2024)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Izdano: (2023)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Izdano: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Izdano: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Izdano: (2024)

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings /
Izdano: (2024)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Izdano: (2024)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II /
Izdano: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V /
Izdano: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III /
Izdano: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I /
Izdano: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV /
Izdano: (2023)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Izdano: (2024)

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

R-Calculus, IV: Propositional Logic
od: Li, Wei, i dr.
Izdano: (2023)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Izdano: (2023)

Human-Centered Artificial Intelligence Advanced Lectures /
Izdano: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Izdano: (2025)

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Izdano: (2023)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Izdano: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Izdano: (2024)

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Izdano: (2023)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II /
Izdano: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I /
Izdano: (2024)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Izdano: (2024)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Izdano: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Izdano: (2024)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Izdano: (2024)

R-Calculus, V: Description Logics
od: Li, Wei, i dr.
Izdano: (2024)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Izdano: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Izdano: (2025)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings /
Izdano: (2023)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Izdano: (2024)

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Izdano: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Izdano: (2025)