03363nam a22006255i 4500 978-3-031-56940-1 DE-He213 20251030111750.0 cr nn 008mamaa 240328s2024 sz | s |||| 0|eng d 9783031569401 978-3-031-56940-1 10.1007/978-3-031-56940-1 doi QA267-268.5 UYA bicssc COM014000 bisacsh UYA thema Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings / edited by Arne Meier, Magdalena Ortiz. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XXI, 402 p. 56 illus., 12 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14589 Invited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. . 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. Machine theory. 67305 Logic programming. 66664 Expert systems (Computer science). 67822 Artificial intelligence. 58441 Application software. Programming languages (Electronic computers). 66206 Formal Languages and Automata Theory. 67306 Logic in AI. 66665 Knowledge Based Systems. 67823 Artificial Intelligence. 58441 Computer and Information Systems Applications. Programming Language. 66208 Meier, Arne. editor. edt http://id.loc.gov/vocabulary/relators/edt 74191 Ortiz, Magdalena. editor. edt http://id.loc.gov/vocabulary/relators/edt 74192 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031569395 Printed edition: 9783031569418 Lecture Notes in Computer Science, 1611-3349 ; 14589 https://doi.org/10.1007/978-3-031-56940-1 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 58739 58739