LEADER 03456nam  22007575  450 
001 9910847071103321
005 20240627180847.0
010   $a3-031-56940-7
024 7 $a10.1007/978-3-031-56940-1
035   $a(CKB)31253137400041
035   $a(MiAaPQ)EBC31233474
035   $a(Au-PeEL)EBL31233474
035   $a(DE-He213)978-3-031-56940-1
035   $a(OCoLC)1428325803
035   $a(MiAaPQ)EBC31574270
035   $a(Au-PeEL)EBL31574270
035   $a(EXLCZ)9931253137400041
100   $a20240328d2024      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFoundations of Information and Knowledge Systems $e13th International Symposium, FoIKS 2024, Sheffield, UK, April 8?11, 2024, Proceedings /$fedited by Arne Meier, Magdalena Ortiz
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (408 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14589
311   $a3-031-56939-3 
327   $aInvited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. .
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14589
606   $aMachine theory
606   $aLogic programming
606   $aExpert systems (Computer science)
606   $aArtificial intelligence
606   $aApplication software
606   $aProgramming languages (Electronic computers)
606   $aFormal Languages and Automata Theory
606   $aLogic in AI
606   $aKnowledge Based Systems
606   $aArtificial Intelligence
606   $aComputer and Information Systems Applications
606   $aProgramming Language
615  0$aMachine theory.
615  0$aLogic programming.
615  0$aExpert systems (Computer science).
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aProgramming languages (Electronic computers).
615 14$aFormal Languages and Automata Theory.
615 24$aLogic in AI.
615 24$aKnowledge Based Systems.
615 24$aArtificial Intelligence.
615 24$aComputer and Information Systems Applications.
615 24$aProgramming Language.
676   $a005.131
700   $aMeier$b Arne$01734760
701   $aOrtiz$b Magdalena$01429349
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910847071103321
996   $aFoundations of Information and Knowledge Systems$94153087
997   $aUNINA