FoIKS

Keyphrases

Publications

2024

Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). FoIKS (2024)
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
How to Manage Supports in Incomplete Argumentation. FoIKS (2024)
Bence Király, Attila Sali
Minimal Armstrong Databases for Cardinality Constraints. FoIKS (2024)
Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS (2024)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS (2024)
Martin von Berg, Arthur Sanin, Christoph Beierle
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. FoIKS (2024)
Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. FoIKS (2024)
Moritz Bayerkuhnlein, Diedrich Wolter
Model-Based Diagnosis with ASP for Non-groundable Domains. FoIKS (2024)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS (2024)
Juha Kontinen, Max Sandström, Jonni Virtema
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. FoIKS (2024)
Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
Decomposing Analogy: A Logic Characterization. FoIKS (2024)
Giorgio Cignarale, Roman Kuznets, Thomas Schlögl
Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling. FoIKS (2024)
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Constrained Derivation in Assumption-Based Argumentation. FoIKS (2024)
Thomas L. Mayer
An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier. FoIKS (2024)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. FoIKS (2024)
Ringo Baumann, Anne-Marie Heine
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. FoIKS (2024)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Goal Specifications. FoIKS (2024)
Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS (2024)
Joachim Biskup
Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies. FoIKS (2024)
Minna Hirvonen
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. FoIKS (2024)
Fausto Barbero
On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws. FoIKS (2024)

volume 14589, 2024

Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings FoIKS 14589 (2024)

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

volume 12012, 2020

Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings FoIKS 12012 (2020)