Andreas Herzig, Juha Kontinen.

Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings - Cham Springer 2020

9783030399511


Mathematical logic. Software engineering. Database management. Artificial intelligence. Computer logic. Knowledge representation (Information theory) . Application software. Mathematical Logic and Formal Languages. Software Engineering/Programming and Operating Systems. Database Management. Logic in AI. Knowledge based Systems. Computer Appl. in Administrative Data Processing.