Foundations of information and knowledge systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024 : proceedings

Foundations of information and knowledge systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024 : proceedings

Invited Talks.- Repairs.- Dependencies and Constraints.- Beliefs.- Knowledge Representation and Reasoning.- Nonmonotonicity.- Axiomatizations.- Logics and Semantics.- Argumentation.- Answer Set Programming.

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Symposium on Foundations of Information and Knowledge Systems (VerfasserIn)
Weitere Verfasser: Meier, Arne (HerausgeberIn), Ortiz, Magdalena (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2024
Schriftenreihe:Lecture notes in computer science 14589
Schlagworte:
Angewandte Informatik > COMPUTERS / Computer Science > COMPUTERS / Expert Systems > COMPUTERS / Machine Theory > COMPUTERS / Programming Languages / General > Expert systems / knowledge-based systems > Information technology: general issues > Mathematical theory of computation > Programmier- und Skriptsprachen, allgemein > Programming & scripting languages: general > Theoretische Informatik > Wissensbasierte Systeme, Expertensysteme > Konferenzschrift
Online Zugang:Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
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
How to Manage Supports in Incomplete Argumentation 2024 Lagasquie-Schiex, Marie-Christine
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
Alle Artikel auflisten