Search dblp for Publications

export results for "toc:db/conf/foiks/foiks2024.bht:"

 download as .bib file

@inproceedings{DBLP:conf/foiks/BaaderKN24,
  author       = {Franz Baader and
                  Francesco Kriegel and
                  Adrian Nuradiansyah},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs
                  of {\textdollar}{\textbackslash}mathcal\{E\}{\textbackslash}mathcal\{L\}{\textbackslash}bot
                  {\textdollar} Ontologies},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_1},
  doi          = {10.1007/978-3-031-56940-1\_1},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BaaderKN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/Barbero24,
  author       = {Fausto Barbero},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {On the Logic of Interventionist Counterfactuals Under Indeterministic
                  Causal Laws},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {203--221},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_11},
  doi          = {10.1007/978-3-031-56940-1\_11},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/Barbero24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/BaumannH24,
  author       = {Ringo Baumann and
                  Anne{-}Marie Heine},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {On Naive Labellings - Realizability, Construction and Patterns of
                  Redundancy},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {125--143},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_7},
  doi          = {10.1007/978-3-031-56940-1\_7},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BaumannH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/BayerkuhnleinW24,
  author       = {Moritz Bayerkuhnlein and
                  Diedrich Wolter},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Model-Based Diagnosis with {ASP} for Non-groundable Domains},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {363--380},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_20},
  doi          = {10.1007/978-3-031-56940-1\_20},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BayerkuhnleinW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/BergSB24,
  author       = {Martin von Berg and
                  Arthur Sanin and
                  Christoph Beierle},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {182--200},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_10},
  doi          = {10.1007/978-3-031-56940-1\_10},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BergSB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/Biskup24,
  author       = {Joachim Biskup},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Relational Schemas with Multiplicity Bounds, Diversity Bounds and
                  Functional Dependencies},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {45--63},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_3},
  doi          = {10.1007/978-3-031-56940-1\_3},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/Biskup24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/BuraglioDRW24,
  author       = {Giovanni Buraglio and
                  Wolfgang Dvor{\'{a}}k and
                  Anna Rapberger and
                  Stefan Woltran},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Constrained Derivation in Assumption-Based Argumentation},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {340--359},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_19},
  doi          = {10.1007/978-3-031-56940-1\_19},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BuraglioDRW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/CignaraleKS24,
  author       = {Giorgio Cignarale and
                  Roman Kuznets and
                  Thomas Schl{\"{o}}gl},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic
                  Communication Modeling},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {165--181},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_9},
  doi          = {10.1007/978-3-031-56940-1\_9},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/CignaraleKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/FerrarottiRSSA24,
  author       = {Flavio Ferrarotti and
                  Peter Rivi{\`{e}}re and
                  Klaus{-}Dieter Schewe and
                  Neeraj Kumar Singh and
                  Yamine A{\"{\i}}t Ameur},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {A Complete Fragment of {LTL(EB)}},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {237--255},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_13},
  doi          = {10.1007/978-3-031-56940-1\_13},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/FerrarottiRSSA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/GiacomoFS24,
  author       = {Giuseppe De Giacomo and
                  Marco Favorito and
                  Luciana Silo},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Composition of Stochastic Services for LTL\({}_{\mbox{f}}\) Goal Specifications},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {298--316},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_17},
  doi          = {10.1007/978-3-031-56940-1\_17},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/GiacomoFS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/HaldimannBK24,
  author       = {Jonas Haldimann and
                  Christoph Beierle and
                  Gabriele Kern{-}Isberner},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Syntax Splitting and Reasoning from Weakly Consistent Conditional
                  Belief Bases with c-Inference},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {85--103},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_5},
  doi          = {10.1007/978-3-031-56940-1\_5},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/HaldimannBK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/Hirvonen24,
  author       = {Minna Hirvonen},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Axiomatization of Implication for Probabilistic Independence and Unary
                  Variants of Marginal Identity and Marginal Distribution Equivalence},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {222--234},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_12},
  doi          = {10.1007/978-3-031-56940-1\_12},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/Hirvonen24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/KiralyS24,
  author       = {Bence Kir{\'{a}}ly and
                  Attila Sali},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Minimal Armstrong Databases for Cardinality Constraints},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_4},
  doi          = {10.1007/978-3-031-56940-1\_4},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/KiralyS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/KontinenSV24,
  author       = {Juha Kontinen and
                  Max Sandstr{\"{o}}m and
                  Jonni Virtema},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_15},
  doi          = {10.1007/978-3-031-56940-1\_15},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/KontinenSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/LagasquieSchiexMY24,
  author       = {Marie{-}Christine Lagasquie{-}Schiex and
                  Jean{-}Guy Mailly and
                  Antonio Yuste{-}Ginel},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {How to Manage Supports in Incomplete Argumentation},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {319--339},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_18},
  doi          = {10.1007/978-3-031-56940-1\_18},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/LagasquieSchiexMY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/LeemhuisWO24,
  author       = {Mena Leemhuis and
                  Diedrich Wolter and
                  {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Decomposing Analogy: {A} Logic Characterization},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {256--274},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_14},
  doi          = {10.1007/978-3-031-56940-1\_14},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/LeemhuisWO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/MahmoodVBN24,
  author       = {Yasir Mahmood and
                  Jonni Virtema and
                  Timon Barlag and
                  Axel{-}Cyrille Ngonga Ngomo},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Computing Repairs Under Functional and Inclusion Dependencies via
                  Argumentation},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_2},
  doi          = {10.1007/978-3-031-56940-1\_2},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/MahmoodVBN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/Mayer24,
  author       = {Thomas L. Mayer},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {An Investigation of the Negationless Fragment of the Rescher-H{\"{a}}rtig
                  quantifier},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {287--297},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_16},
  doi          = {10.1007/978-3-031-56940-1\_16},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/Mayer24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/SauerwaldBK24,
  author       = {Kai Sauerwald and
                  Christoph Beierle and
                  Gabriele Kern{-}Isberner},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Propositional Variable Forgetting and Marginalization: Semantically,
                  Two Sides of the Same Coin},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {144--162},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_8},
  doi          = {10.1007/978-3-031-56940-1\_8},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/SauerwaldBK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/WilhelmKB24,
  author       = {Marco Wilhelm and
                  Gabriele Kern{-}Isberner and
                  Christoph Beierle},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Core c-Representations and c-Core Closure for Conditional Belief Bases},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {104--122},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_6},
  doi          = {10.1007/978-3-031-56940-1\_6},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/WilhelmKB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foiks/YliJyraIJ24,
  author       = {Anssi Yli{-}Jyr{\"{a}} and
                  Heini Ik{\"{a}}valko and
                  Tomi Janhunen},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Integrating Competencies into Preventive Maintenance Scheduling with
                  Answer Set Optimization},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {381--400},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_21},
  doi          = {10.1007/978-3-031-56940-1\_21},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/YliJyraIJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/foiks/2024,
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1},
  doi          = {10.1007/978-3-031-56940-1},
  isbn         = {978-3-031-56939-5},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.