Foundations of Information and Knowledge Systems 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / [electronic resource] :
edited by Ivan Varzinczak.
- 1st ed. 2022.
- XVIII, 237 p. 32 illus., 13 illus. in color. online resource.
- Lecture Notes in Computer Science, 1611-3349 .
- Lecture Notes in Computer Science, .
On 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.
This 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.
9783031113215
10.1007/978-3-031-11321-5 doi
Machine 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.
QA267-268.5
005.131
On 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.
This 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.
9783031113215
10.1007/978-3-031-11321-5 doi
Machine 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.
QA267-268.5
005.131