| Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
|
2024 |
Mahmood, Yasir |
| Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of 𝓔𝓛⊥ Ontologies
|
2024 |
Baader, Franz |
| On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws
|
2024 |
Barbero, Fausto |
| Composition of Stochastic Services for LTLf Goal Specifications
|
2024 |
Giacomo, Giuseppe De |
| Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference
|
2024 |
Haldimann, Jonas |
| Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
|
2024 |
Sauerwald, Kai |
| Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling
|
2024 |
Cignarale, Giorgio |
| A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
|
2024 |
Kontinen, Juha |
| Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
|
2024 |
Biskup, Joachim |
| Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence
|
2024 |
Hirvonen, Minna |
| An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier
|
2024 |
Mayer, Thomas L. |
| Model-Based Diagnosis with ASP for Non-groundable Domains
|
2024 |
Bayerkuhnlein, Moritz |
| Constrained Derivation in Assumption-Based Argumentation
|
2024 |
Buraglio, Giovanni |
| Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
|
2024 |
Yli-Jyrä, Anssi |
| Minimal Armstrong Databases for Cardinality Constraints
|
2024 |
Király, Bence |
| Core c-Representations and c-Core Closure for Conditional Belief Bases
|
2024 |
Wilhelm, Marco |
| On Naive Labellings – Realizability, Construction and Patterns of Redundancy
|
2024 |
Baumann, Ringo |
| Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems
|
2024 |
Berg, Martin von |
| Decomposing Analogy: A Logic Characterization
|
2024 |
Leemhuis, Mena |
| A Complete Fragment of LTL(EB)
|
2024 |
Ferrarotti, Flavio |
Tag hinzufügen