Sign in
FoIKS
2000
2007
2015
2022
2000
2022
Keyphrases
Publications
2022
Munqath Alatar
,
Attila Sali
Approximate Keys and Functional Dependencies in Incomplete Databases with Limited Domains.
FoIKS
(2022)
Guillaume Feuillade
,
Andreas Herzig
,
Christos Rantsoudis
Database Repair via Event-Condition-Action Rules in Dynamic Logic.
FoIKS
(2022)
Maximilian Berens
,
Joachim Biskup
On Sampling Representatives of Relational Schemas with a Functional Dependency.
FoIKS
(2022)
Minna Hirvonen
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.
FoIKS
(2022)
Jonas Haldimann
,
Christoph Beierle
Properties of System W and Its Relationships to Other Inductive Inference Operators.
FoIKS
(2022)
Iztok Savnik
,
Kiyoshi Nitta
,
Riste Skrekovski
,
Nikolaus Augsten
Statistics of RDF Store for Querying Knowledge Graphs.
FoIKS
(2022)
Jelle Hellings
,
Mohammad Sadoghi
The Fault-Tolerant Cluster-Sending Problem.
FoIKS
(2022)
Jelle Hellings
,
Yuqing Wu
,
Dirk Van Gucht
,
Marc Gyssens
Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules.
FoIKS
(2022)
Tobias Schwartz
,
Jan H. Boockmann
,
Leon Martin
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators.
FoIKS
(2022)
Luís Cruz-Filipe
,
Graça Gaspar
,
Isabel Nunes
Can You Answer While You Wait?
FoIKS
(2022)
Floris Geerts
,
Jasper Steegmans
,
Jan Van den Bussche
On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers.
FoIKS
(2022)
Toshiko Wakaki
Assumption-Based Argumentation for Extended Disjunctive Logic Programming.
FoIKS
(2022)
Aziz Sfar
,
Dina Irofti
,
Madalina Croitoru
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.
FoIKS
(2022)
volume 13388, 2022
Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings
FoIKS
13388 (2022)
2020
Yasir Mahmood
,
Arne Meier
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.
FoIKS
(2020)
Xianglin Zhan
,
Cai Lu
,
Guangmin Hu
Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences.
FoIKS
(2020)
Wolfgang Dvorák
,
Anna Rapberger
,
Johannes Peter Wallner
,
Stefan Woltran
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation.
FoIKS
(2020)
Pietro Galliani
,
Jouko Väänänen
Diversity, Dependence and Independence.
FoIKS
(2020)
Silvia Ghilezan
,
Jelena Ivetic
,
Simona Kasterovic
,
Zoran Ognjanovic
,
Nenad Savic
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.
FoIKS
(2020)
Ryo Murai
,
Katsuhiko Sano
Craig Interpolation of Epistemic Logics with Distributed Knowledge.
FoIKS
(2020)
Flavio Ferrarotti
,
Senén González
,
Klaus-Dieter Schewe
,
José Maria Turull Torres
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.
FoIKS
(2020)
John Grant
,
Francesco Parisi
Measuring Inconsistency in a General Information Space.
FoIKS
(2020)
Yuri David Santos
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood.
FoIKS
(2020)
Robert Brijder
,
Marc Gyssens
,
Jan Van den Bussche
On Matrices and K-Relations.
FoIKS
(2020)
Stipe Pandzic
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic.
FoIKS
(2020)
Dennis Medved
,
Johan Nilsson
,
Pierre Nugues
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival.
FoIKS
(2020)
Daniel Xia
,
Michael Simpson
,
Venkatesh Srinivasan
,
Alex Thomo
Strongly Minimal MapReduce Algorithms: A TeraSort Case Study.
FoIKS
(2020)
Christoph Beierle
,
Jonas Haldimann
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.
FoIKS
(2020)
Bernhard Thalheim
Schema Optimisation Instead of (Local) Normalisation.
FoIKS
(2020)
Klaus-Dieter Schewe
,
Yamine Aït Ameur
,
Sarah Benyagoub
Realisability of Choreographies.
FoIKS
(2020)
Munyque Mittelmann
,
Laurent Perrussel
Game Description Logic with Integers: A GDL Numerical Extension.
FoIKS
(2020)
Munqath Alattar
,
Attila Sali
Functional Dependencies in Incomplete Databases with Limited Domains.
FoIKS
(2020)
Elena V. Ravve
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams.
FoIKS
(2020)
volume 12012, 2020
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
FoIKS
12012 (2020)
2018
Sebastian Link
Old Keys that Open New Doors.
FoIKS
(2018)
Konstantin Schekotihin
,
Patrick Rodler
,
Wolfgang Schmid
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé.
FoIKS
(2018)
Katarina Britz
,
Ivan José Varzinczak
Rationality and Context in Defeasible Subsumption.
FoIKS
(2018)
Claudette Cayrol
,
Jorge Fandinno
,
Luis Fariñas del Cerro
,
Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports.
FoIKS
(2018)
Arne Meier
,
Christian Reinbold
Enumeration Complexity of Poor Man's Propositional Dependence Logic.
FoIKS
(2018)
Stanislav Böhm
,
Jakub Beránek
,
Martin Surkovský
Haydi: Rapid Prototyping and Combinatorial Objects.
FoIKS
(2018)
Leopoldo E. Bertossi
Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs.
FoIKS
(2018)
Bernhard Bliem
ASP Programs with Groundings of Small Treewidth.
FoIKS
(2018)
Marco Wilhelm
,
Gabriele Kern-Isberner
,
Marc Finthammer
,
Christoph Beierle
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
FoIKS
(2018)
Arnaud Durand
,
Miika Hannula
,
Juha Kontinen
,
Arne Meier
,
Jonni Virtema
Probabilistic Team Semantics.
FoIKS
(2018)
Dimitri Surinx
,
Jan Van den Bussche
,
Dirk Van Gucht
A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries.
FoIKS
(2018)
Zsolt László
,
Levente Török
,
György Kovács
Improving the Performance of the k Rare Class Nearest Neighbor Classifier by the Ranking of Point Patterns.
FoIKS
(2018)
Heba Aamer
,
Haythem O. Ismail
Concatenation, Separation, and Other Properties of Variably Polyadic Relations.
FoIKS
(2018)
Emmanuel Hadoux
,
Anthony Hunter
,
Jean-Baptiste Corrégé
Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments.
FoIKS
(2018)
Gábor Rácz
,
Attila Sali
,
Klaus-Dieter Schewe
Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis.
FoIKS
(2018)
volume 10833, 2018
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings
FoIKS
10833 (2018)