TY - BOOK AU - Meier,Arne AU - Ortiz,Magdalena ED - SpringerLink (Online service) TI - Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783031569401 AV - QA267-268.5 U1 - 005.131 23 PY - 2024/// CY - Cham PB - Springer Nature Switzerland, Imprint: Springer KW - Machine theory KW - Logic programming KW - Expert systems (Computer science) KW - Artificial intelligence KW - Application software KW - Programming languages (Electronic computers) KW - Formal Languages and Automata Theory KW - Logic in AI KW - Knowledge Based Systems KW - Artificial Intelligence KW - Computer and Information Systems Applications KW - Programming Language N1 - Invited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. N2 - This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics, and optimization UR - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-56940-1 ER -