Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th 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, Francesco Kriegel, Adrian Nuradiansyah:
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. 3-22 - Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo:
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, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. 85-103 - Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle:
Core c-Representations and c-Core Closure for Conditional Belief Bases. 104-122
Knowledge Representation and Reasoning
- Ringo Baumann, Anne-Marie Heine:
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. 125-143 - Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner:
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. 144-162
Nonmonotonicity
- Giorgio Cignarale, Roman Kuznets, Thomas Schlögl:
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, Diedrich Wolter, Özgür L. Özçep:
Decomposing Analogy: A Logic Characterization. 256-274 - Juha Kontinen, Max Sandström, Jonni Virtema:
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, Marco Favorito, Luciana Silo:
Composition of Stochastic Services for LTLf Goal Specifications. 298-316
Argumentation
- Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel:
How to Manage Supports in Incomplete Argumentation. 319-339 - Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
Constrained Derivation in Assumption-Based Argumentation. 340-359
Answer Set Programming
- Moritz Bayerkuhnlein, Diedrich Wolter:
Model-Based Diagnosis with ASP for Non-groundable Domains. 363-380 - Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen:
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. 381-400
a service of 
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-05-14 21:26 CEST 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:
