03550nam 22007935 450 991084707110332120251113182257.09783031569401303156940710.1007/978-3-031-56940-1(CKB)31253137400041(MiAaPQ)EBC31233474(Au-PeEL)EBL31233474(DE-He213)978-3-031-56940-1(OCoLC)1428325803(MiAaPQ)EBC31574270(Au-PeEL)EBL31574270(EXLCZ)993125313740004120240328d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFoundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /edited by Arne Meier, Magdalena Ortiz1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (408 pages)Lecture Notes in Computer Science,1611-3349 ;145899783031569395 3031569393 Includes bibliographical references and index.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.Lecture Notes in Computer Science,1611-3349 ;14589Machine theoryLogic programmingExpert systems (Computer science)Artificial intelligenceApplication softwareProgramming languages (Electronic computers)Formal Languages and Automata TheoryLogic in AIKnowledge Based SystemsArtificial IntelligenceComputer and Information Systems ApplicationsProgramming LanguageMachine theory.Logic programming.Expert systems (Computer science)Artificial intelligence.Application software.Programming languages (Electronic computers)Formal Languages and Automata Theory.Logic in AI.Knowledge Based Systems.Artificial Intelligence.Computer and Information Systems Applications.Programming Language.004Meier ArneOrtiz MagdalenaMiAaPQMiAaPQMiAaPQBOOK9910847071103321Foundations of Information and Knowledge Systems2899609UNINA