default search action
13th FoIKS 2024: Sheffield, UK
- Arne Meier
, Magdalena Ortiz
Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings. Lecture Notes in Computer Science 14589, Springer 2024, ISBN 978-3-031-56939-5
Repairs
- Franz Baader
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. 3-22 - Yasir Mahmood
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. 23-42
Dependencies and Constraints
- Joachim Biskup
Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies. 45-63 - Bence Király, Attila Sali
Minimal Armstrong Databases for Cardinality Constraints. 64-81
Beliefs
- Jonas Haldimann
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. 85-103 - Marco Wilhelm
Core c-Representations and c-Core Closure for Conditional Belief Bases. 104-122
Knowledge Representation and Reasoning
- Ringo Baumann
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. 125-143 - Kai Sauerwald
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. 144-162
Nonmonotonicity
- Giorgio Cignarale
Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling. 165-181 - Martin von Berg, Arthur Sanin, Christoph Beierle
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. 182-200
Axiomatizations
- Fausto Barbero
On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws. 203-221 - Minna Hirvonen
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. 222-234
Logics and Semantics
- Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). 237-255 - Mena Leemhuis
Decomposing Analogy: A Logic Characterization. 256-274 - Juha Kontinen
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. 275-286 - Thomas L. Mayer
An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier. 287-297 - Giuseppe De Giacomo
Composition of Stochastic Services for LTLf Goal Specifications. 298-316
Argumentation
- Marie-Christine Lagasquie-Schiex
How to Manage Supports in Incomplete Argumentation. 319-339 - Giovanni Buraglio
Constrained Derivation in Assumption-Based Argumentation. 340-359
Answer Set Programming
- Moritz Bayerkuhnlein
Model-Based Diagnosis with ASP for Non-groundable Domains. 363-380 - Anssi Yli-Jyrä
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. 381-400
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: