LEADER 04392nam  22007695  450 
001 9910583507403321
005 20251225203721.0
010   $a9783031113215$b(electronic bk.)
010   $z9783031113208
024 7 $a10.1007/978-3-031-11321-5
035   $a(MiAaPQ)EBC7042226
035   $a(Au-PeEL)EBL7042226
035   $a(CKB)24242667000041
035   $a(PPN)263897311
035   $a(BIP)85041981
035   $a(BIP)84584489
035   $a(DE-He213)978-3-031-11321-5
035   $a(EXLCZ)9924242667000041
100   $a20220709d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFoundations of Information and Knowledge Systems $e12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20?23, 2022, Proceedings /$fedited by Ivan Varzinczak
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (254 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349
311 08$aPrint version: Varzinczak, Ivan Foundations of Information and Knowledge Systems Cham : Springer International Publishing AG,c2022 9783031113208 
320   $aIncludes bibliographical references and index.
327   $aOn Sampling Representatives of Relational Schemas with a Functional Dependency -- On the expressive power of message-passing neural networks as global feature map transformers -- Assumption-Based Argumentation for Extended Disjunctive Logic Programming -- A graph based semantics for Logical Functional Diagrams in power plant controllers -- Database Repair via Event-Condition-Action Rules in Dynamic Logic -- Statistics of RDF store for querying knowledge graphs -- Can you answer while you wait? -- The implication problem for functional dependencies and variants of marginal distribution equivalences -- Approximate Keys and Functional Dependencies in Incomplete Databases With Limited domains -- The Fault-Tolerant Cluster-Sending Problem -- Optimizing multiset relational algebra queries using weak-equivalent rewrite rules -- Properties of System W and its Relationships to Other Inductive Inference Operators -- Towards the Evaluation of Action Reversibility in STRIPS using Domain Generators.
330   $aThis book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022. The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as 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
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   $a004
676   $a004
702   $aVarzinczak$b Ivan
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910583507403321
996   $aFoundations of Information and Knowledge Systems$92899609
997   $aUNINA