1.

Record Nr.

UNINA9910763599003321

Autore

Zhang Songmao

Titolo

Artificial Intelligence Logic and Applications : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings / / edited by Songmao Zhang, Yonggang Zhang

Pubbl/distr/stampa

Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023

ISBN

9789819978694

9819978696

Edizione

[1st ed. 2023.]

Descrizione fisica

1 online resource (459 pages)

Collana

Communications in Computer and Information Science, , 1865-0937 ; ; 1917

Altri autori (Persone)

ZhangYonggang

Disciplina

005.131

Soggetti

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

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

AI Logic Foundation -- AI Logic Reasoning -- AI Logic Applications.

Sommario/riassunto

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 ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.