000 04033nam a22006135i 4500
001 978-3-031-11321-5
003 DE-He213
005 20240730175456.0
007 cr nn 008mamaa
008 220709s2022 sz | s |||| 0|eng d
020 _a9783031113215
_9978-3-031-11321-5
024 7 _a10.1007/978-3-031-11321-5
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aFoundations of Information and Knowledge Systems
_h[electronic resource] :
_b12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings /
_cedited by Ivan Varzinczak.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXVIII, 237 p. 32 illus., 13 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349
505 0 _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.
520 _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.
650 0 _aMachine theory.
_9116869
650 0 _aLogic programming.
_92730
650 0 _aExpert systems (Computer science).
_93392
650 0 _aArtificial intelligence.
_93407
650 0 _aApplication software.
_9116870
650 0 _aProgramming languages (Electronic computers).
_97503
650 1 4 _aFormal Languages and Automata Theory.
_9116871
650 2 4 _aLogic in AI.
_933012
650 2 4 _aKnowledge Based Systems.
_979172
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer and Information Systems Applications.
_9116872
650 2 4 _aProgramming Language.
_939403
700 1 _aVarzinczak, Ivan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9116873
710 2 _aSpringerLink (Online service)
_9116874
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031113208
776 0 8 _iPrinted edition:
_z9783031113222
830 0 _aLecture Notes in Computer Science,
_x1611-3349
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-11321-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89944
_d89944