FOIKS24: 13TH INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS

A
Ait Ameur, Yamine	A Complete Fragment of LTL(EB)
B
Baader, Franz	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
Barbero, Fausto	On the logic of interventionist counterfactuals under indeterministic causal laws
Barlag, Timon	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Baumann, Ringo	On Naive Labellings - Realizability, Construction and Patterns of Redundancy
Bayerkuhnlein, Moritz	Model-Based Diagnosis with ASP for Non-Groundable Domains
Beierle, Christoph	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference Core c-Representations and c-Core Closure for Conditional Belief Bases
Biskup, Joachim	Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Buraglio, Giovanni	Constrained Derivation in Assumption-Based Argumentation
C
Cignarale, Giorgio	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
D
De Giacomo, Giuseppe	Stochastic Service Composition for LTLf Goals
Dvořák, Wolfgang	Constrained Derivation in Assumption-Based Argumentation
F
Favorito, Marco	Stochastic Service Composition for LTLf Goals
Ferrarotti, Flavio	A Complete Fragment of LTL(EB)
G
Gottlob, Georg	Hypertree Decompositions, an Ongoing Project
H
Haldimann, Jonas Philipp	Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference
Heine, Anne-Marie	On Naive Labellings - Realizability, Construction and Patterns of Redundancy
Hirvonen, Minna	Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
I
Ikävalko, Heini	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
J
Janhunen, Tomi	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
K
Kern-Isberner, Gabriele	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin Syntax Splitting and Reasoning from Weakly Consistent Belief Bases with c-Inference Core c-Representations and c-Core Closure for Conditional Belief Bases
Kiraly, Bence	Minimal Armstrong databases for cardinality constraints
Kolaitis, Phokion	Consistency of Relations over Semirings and Monoids
Kontinen, Juha	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Kriegel, Francesco	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
Kuznets, Roman	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
L
Lagasquie-Schiex, Marie-Christine	How to Manage Supports in Incomplete Argumentation
Leemhuis, Mena	Decomposing Analogy: A Logic Characterization
M
Mahmood, Yasir	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Mailly, Jean-Guy	How to Manage Supports in Incomplete Argumentation
Mayer, Thomas	An investigation of the negationless fragment of the Rescher-Härtig quantifier
N
Ngonga Ngomo, Axel-Cyrille	Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Nuradiansyah, Adrian	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of ELbot Ontologies
P
Popescu, Andrei	Epi-Recursion and Epi-Corecursion
R
Rapberger, Anna	Constrained Derivation in Assumption-Based Argumentation
Riviere, Peter	A Complete Fragment of LTL(EB)
S
Sali, Attila	Minimal Armstrong databases for cardinality constraints
Sandström, Max	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Sanin, Arthur	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
Sattler, Uli	Engineering Ontologies requires more than Automated Reasoning
Sauerwald, Kai	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
Schewe, Klaus-Dieter	A Complete Fragment of LTL(EB)
Schlögl, Thomas	Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling
Silo, Luciana	Stochastic Service Composition for LTLf Goals
Singh, Neeraj Kumar	A Complete Fragment of LTL(EB)
V
Virtema, Jonni	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
von Berg, Martin	Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems
W
Wilhelm, Marco	Core c-Representations and c-Core Closure for Conditional Belief Bases
Wolter, Diedrich	Decomposing Analogy: A Logic Characterization Model-Based Diagnosis with ASP for Non-Groundable Domains
Woltran, Stefan	Constrained Derivation in Assumption-Based Argumentation
Y
Yli-Jyrä, Anssi	Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Yuste-Ginel, Antonio	How to Manage Supports in Incomplete Argumentation
Ö
Özcep, Özgür Lütfü	Decomposing Analogy: A Logic Characterization

Disclaimer | Powered by EasyChair Smart Program