Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/foiks:"
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 = {Mon, 15 Apr 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 = {Mon, 15 Apr 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 = {Mon, 15 Apr 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}
}
@inproceedings{DBLP:conf/foiks/AlatarS22,
author = {Munqath Alatar and
Attila Sali},
editor = {Ivan Varzinczak},
title = {Approximate Keys and Functional Dependencies in Incomplete Databases
with Limited Domains},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {147--167},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_9},
doi = {10.1007/978-3-031-11321-5\_9},
timestamp = {Thu, 14 Jul 2022 15:39:51 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AlatarS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BerensB22,
author = {Maximilian Berens and
Joachim Biskup},
editor = {Ivan Varzinczak},
title = {On Sampling Representatives of Relational Schemas with a Functional
Dependency},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {1--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_1},
doi = {10.1007/978-3-031-11321-5\_1},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BerensB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Cruz-FilipeGN22,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Gra{\c{c}}a Gaspar and
Isabel Nunes},
editor = {Ivan Varzinczak},
title = {Can You Answer While You Wait?},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {111--129},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_7},
doi = {10.1007/978-3-031-11321-5\_7},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Cruz-FilipeGN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FeuilladeHR22,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
editor = {Ivan Varzinczak},
title = {Database Repair via Event-Condition-Action Rules in Dynamic Logic},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {75--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_5},
doi = {10.1007/978-3-031-11321-5\_5},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FeuilladeHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GeertsSB22,
author = {Floris Geerts and
Jasper Steegmans and
Jan Van den Bussche},
editor = {Ivan Varzinczak},
title = {On the Expressive Power of Message-Passing Neural Networks as Global
Feature Map Transformers},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {20--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_2},
doi = {10.1007/978-3-031-11321-5\_2},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GeertsSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HaldimannB22,
author = {Jonas Haldimann and
Christoph Beierle},
editor = {Ivan Varzinczak},
title = {Properties of System {W} and Its Relationships to Other Inductive
Inference Operators},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {206--225},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_12},
doi = {10.1007/978-3-031-11321-5\_12},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HaldimannB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HellingsS22,
author = {Jelle Hellings and
Mohammad Sadoghi},
editor = {Ivan Varzinczak},
title = {The Fault-Tolerant Cluster-Sending Problem},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {168--186},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_10},
doi = {10.1007/978-3-031-11321-5\_10},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HellingsS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HellingsWGG22,
author = {Jelle Hellings and
Yuqing Wu and
Dirk Van Gucht and
Marc Gyssens},
editor = {Ivan Varzinczak},
title = {Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent
Rewrite Rules},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {187--205},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_11},
doi = {10.1007/978-3-031-11321-5\_11},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HellingsWGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hirvonen22,
author = {Minna Hirvonen},
editor = {Ivan Varzinczak},
title = {The Implication Problem for Functional Dependencies and Variants of
Marginal Distribution Equivalences},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {130--146},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_8},
doi = {10.1007/978-3-031-11321-5\_8},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hirvonen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SavnikNSA22,
author = {Iztok Savnik and
Kiyoshi Nitta and
Riste Skrekovski and
Nikolaus Augsten},
editor = {Ivan Varzinczak},
title = {Statistics of {RDF} Store for Querying Knowledge Graphs},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {93--110},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_6},
doi = {10.1007/978-3-031-11321-5\_6},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SavnikNSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SchwartzBM22,
author = {Tobias Schwartz and
Jan H. Boockmann and
Leon Martin},
editor = {Ivan Varzinczak},
title = {Towards the Evaluation of Action Reversibility in {STRIPS} Using Domain
Generators},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {226--236},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_13},
doi = {10.1007/978-3-031-11321-5\_13},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/SchwartzBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SfarIC22,
author = {Aziz Sfar and
Dina Irofti and
Madalina Croitoru},
editor = {Ivan Varzinczak},
title = {A Graph Based Semantics for Logical Functional Diagrams in Power Plant
Controllers},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {55--74},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_4},
doi = {10.1007/978-3-031-11321-5\_4},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SfarIC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Wakaki22,
author = {Toshiko Wakaki},
editor = {Ivan Varzinczak},
title = {Assumption-Based Argumentation for Extended Disjunctive Logic Programming},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {35--54},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_3},
doi = {10.1007/978-3-031-11321-5\_3},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Wakaki22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2022,
editor = {Ivan Varzinczak},
title = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5},
doi = {10.1007/978-3-031-11321-5},
isbn = {978-3-031-11320-8},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/0002M20,
author = {Yasir Mahmood and
Arne Meier},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Parameterised Complexity of Model Checking and Satisfiability in Propositional
Dependence Logic},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {157--174},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_10},
doi = {10.1007/978-3-030-39951-1\_10},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/0002M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AlattarS20,
author = {Munqath Alattar and
Attila Sali},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Functional Dependencies in Incomplete Databases with Limited Domains},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {1--21},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_1},
doi = {10.1007/978-3-030-39951-1\_1},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/AlattarS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BeierleH20,
author = {Christoph Beierle and
Jonas Haldimann},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Normal Forms of Conditional Knowledge Bases Respecting Entailments
and Renamings},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {22--41},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_2},
doi = {10.1007/978-3-030-39951-1\_2},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/BeierleH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BrijderGB20,
author = {Robert Brijder and
Marc Gyssens and
Jan Van den Bussche},
editor = {Andreas Herzig and
Juha Kontinen},
title = {On Matrices and K-Relations},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {42--57},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_3},
doi = {10.1007/978-3-030-39951-1\_3},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/BrijderGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DvorakRWW20,
author = {Wolfgang Dvor{\'{a}}k and
Anna Rapberger and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Andreas Herzig and
Juha Kontinen},
title = {{ASPARTIX-V19} - An Answer-Set Programming Based System for Abstract
Argumentation},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {79--89},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_5},
doi = {10.1007/978-3-030-39951-1\_5},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/DvorakRWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FerrarottiGST20,
author = {Flavio Ferrarotti and
Sen{\'{e}}n Gonz{\'{a}}lez and
Klaus{-}Dieter Schewe and
Jos{\'{e}} Maria Turull Torres},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Proper Hierarchies in Polylogarithmic Time and Absence of Complete
Problems},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {90--105},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_6},
doi = {10.1007/978-3-030-39951-1\_6},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/FerrarottiGST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GallianiV20,
author = {Pietro Galliani and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Diversity, Dependence and Independence},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {106--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_7},
doi = {10.1007/978-3-030-39951-1\_7},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/GallianiV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GhilezanIKOS20,
author = {Silvia Ghilezan and
Jelena Ivetic and
Simona Kasterovic and
Zoran Ognjanovic and
Nenad Savic},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Towards Probabilistic Reasoning in Type Theory - The Intersection
Type Case},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {122--139},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_8},
doi = {10.1007/978-3-030-39951-1\_8},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/GhilezanIKOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GrantP20,
author = {John Grant and
Francesco Parisi},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Measuring Inconsistency in a General Information Space},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {140--156},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_9},
doi = {10.1007/978-3-030-39951-1\_9},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/GrantP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MedvedNN20,
author = {Dennis Medved and
Johan Nilsson and
Pierre Nugues},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Utilizing Deep Learning and {RDF} to Predict Heart Transplantation
Survival},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {175--190},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_11},
doi = {10.1007/978-3-030-39951-1\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MedvedNN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MittelmannP20,
author = {Munyque Mittelmann and
Laurent Perrussel},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Game Description Logic with Integers: {A} {GDL} Numerical Extension},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {191--210},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_12},
doi = {10.1007/978-3-030-39951-1\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MittelmannP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MuraiS20,
author = {Ryo Murai and
Katsuhiko Sano},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Craig Interpolation of Epistemic Logics with Distributed Knowledge},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {211--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_13},
doi = {10.1007/978-3-030-39951-1\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MuraiS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Pandzic20,
author = {Stipe Pandzic},
editor = {Andreas Herzig and
Juha Kontinen},
title = {On the Dynamics of Structured Argumentation: Modeling Changes in Default
Justification Logic},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {222--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_14},
doi = {10.1007/978-3-030-39951-1\_14},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Pandzic20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Ravve20,
author = {Elena V. Ravve},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Logic-Based Approach to Incremental Monitoring and Optimization on
Strongly Distributed Data Streams},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {242--262},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_15},
doi = {10.1007/978-3-030-39951-1\_15},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Ravve20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Santos20,
author = {Yuri David Santos},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence
and Peerhood},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {58--78},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_4},
doi = {10.1007/978-3-030-39951-1\_4},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Santos20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ScheweAB20,
author = {Klaus{-}Dieter Schewe and
Yamine A{\"{\i}}t Ameur and
Sarah Benyagoub},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Realisability of Choreographies},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {263--280},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_16},
doi = {10.1007/978-3-030-39951-1\_16},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/ScheweAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Thalheim20,
author = {Bernhard Thalheim},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Schema Optimisation Instead of (Local) Normalisation},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {281--300},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_17},
doi = {10.1007/978-3-030-39951-1\_17},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Thalheim20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/XiaSST20,
author = {Daniel Xia and
Michael Simpson and
Venkatesh Srinivasan and
Alex Thomo},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Strongly Minimal MapReduce Algorithms: {A} TeraSort Case Study},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {301--317},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_18},
doi = {10.1007/978-3-030-39951-1\_18},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/XiaSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZhanLH20,
author = {Xianglin Zhan and
Cai Lu and
Guangmin Hu},
editor = {Andreas Herzig and
Juha Kontinen},
title = {Event Sequence Interpretation of Structural Geomodels: {A} Knowledge-Based
Approach for Extracting Tectonic Sequences},
booktitle = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
pages = {318--333},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1\_19},
doi = {10.1007/978-3-030-39951-1\_19},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/ZhanLH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2020,
editor = {Andreas Herzig and
Juha Kontinen},
title = {Foundations of Information and Knowledge Systems - 11th International
Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12012},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39951-1},
doi = {10.1007/978-3-030-39951-1},
isbn = {978-3-030-39950-4},
timestamp = {Wed, 29 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/0001HKMV18,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Probabilistic Team Semantics},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {186--206},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_11},
doi = {10.1007/978-3-319-90050-6\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/0001HKMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AamerI18,
author = {Heba Aamer and
Haythem O. Ismail},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Concatenation, Separation, and Other Properties of Variably Polyadic
Relations},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {17--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_2},
doi = {10.1007/978-3-319-90050-6\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/AamerI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BeierleKS18,
author = {Christoph Beierle and
Steven Kutsch and
Kai Sauerwald},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Compilation of Conditional Knowledge Bases for Computing C-Inference
Relations},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {34--54},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_3},
doi = {10.1007/978-3-319-90050-6\_3},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BeierleKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Bertossi18,
author = {Leopoldo E. Bertossi},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Characterizing and Computing Causes for Query Answers in Databases
from Database Repairs and Repair Programs},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {55--76},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_4},
doi = {10.1007/978-3-319-90050-6\_4},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Bertossi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupP18,
author = {Joachim Biskup and
Marcel Preu{\ss}},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Inferences from Attribute-Disjoint and Duplicate-Preserving Relational
Fragmentations},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {77--96},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_5},
doi = {10.1007/978-3-319-90050-6\_5},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Bliem18,
author = {Bernhard Bliem},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {{ASP} Programs with Groundings of Small Treewidth},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {97--113},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_6},
doi = {10.1007/978-3-319-90050-6\_6},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Bliem18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BohmBS18,
author = {Stanislav B{\"{o}}hm and
Jakub Ber{\'{a}}nek and
Martin Surkovsk{\'{y}}},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Haydi: Rapid Prototyping and Combinatorial Objects},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {133--149},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_8},
doi = {10.1007/978-3-319-90050-6\_8},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BohmBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BritzV18,
author = {Katarina Britz and
Ivan Jos{\'{e}} Varzinczak},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Rationality and Context in Defeasible Subsumption},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {114--132},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_7},
doi = {10.1007/978-3-319-90050-6\_7},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BritzV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CayrolFCL18,
author = {Claudette Cayrol and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
Marie{-}Christine Lagasquie{-}Schiex},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Argumentation Frameworks with Recursive Attacks and Evidence-Based
Supports},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {150--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_9},
doi = {10.1007/978-3-319-90050-6\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CayrolFCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DoderSO18,
author = {Dragan Doder and
Nenad Savic and
Zoran Ognjanovic},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability
Operators},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {170--185},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_10},
doi = {10.1007/978-3-319-90050-6\_10},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DoderSO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HadouxHC18,
author = {Emmanuel Hadoux and
Anthony Hunter and
Jean{-}Baptiste Corr{\'{e}}g{\'{e}}},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Strategic Dialogical Argumentation Using Multi-criteria Decision Making
with Application to Epistemic and Emotional Aspects of Arguments},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {207--224},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_12},
doi = {10.1007/978-3-319-90050-6\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/HadouxHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HellingsGGW18,
author = {Jelle Hellings and
Marc Gyssens and
Dirk Van Gucht and
Yuqing Wu},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {First-Order Definable Counting-Only Queries},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {225--243},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_13},
doi = {10.1007/978-3-319-90050-6\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HellingsGGW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HellingsWGG18,
author = {Jelle Hellings and
Yuqing Wu and
Marc Gyssens and
Dirk Van Gucht},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {The Power of Tarski's Relation Algebra on Trees},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {244--264},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_14},
doi = {10.1007/978-3-319-90050-6\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HellingsWGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/LaszloTK18,
author = {Zsolt L{\'{a}}szl{\'{o}} and
Levente T{\"{o}}r{\"{o}}k and
Gy{\"{o}}rgy Kov{\'{a}}cs},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Improving the Performance of the k Rare Class Nearest Neighbor Classifier
by the Ranking of Point Patterns},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {265--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_15},
doi = {10.1007/978-3-319-90050-6\_15},
timestamp = {Fri, 14 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/LaszloTK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Link18,
author = {Sebastian Link},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Old Keys that Open New Doors},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {3--13},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_1},
doi = {10.1007/978-3-319-90050-6\_1},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Link18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/LiuT18,
author = {Xudong Liu and
Miroslaw Truszczynski},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Preference Learning and Optimization for Partial Lexicographic Preference
Forests over Combinatorial Domains},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {284--302},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_16},
doi = {10.1007/978-3-319-90050-6\_16},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/LiuT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MeierR18,
author = {Arne Meier and
Christian Reinbold},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Enumeration Complexity of Poor Man's Propositional Dependence Logic},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {303--321},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_17},
doi = {10.1007/978-3-319-90050-6\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/MeierR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RaczSS18,
author = {G{\'{a}}bor R{\'{a}}cz and
Attila Sali and
Klaus{-}Dieter Schewe},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Refining Semantic Matching for Job Recruitment: An Application of
Formal Concept Analysis},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {322--339},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_18},
doi = {10.1007/978-3-319-90050-6\_18},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/RaczSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SchekotihinRS18,
author = {Konstantin Schekotihin and
Patrick Rodler and
Wolfgang Schmid},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {OntoDebug: Interactive Ontology Debugging Plug-in for Prot{\'{e}}g{\'{e}}},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {340--359},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_19},
doi = {10.1007/978-3-319-90050-6\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/SchekotihinRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SurinxBG18,
author = {Dimitri Surinx and
Jan Van den Bussche and
Dirk Van Gucht},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {A Framework for Comparing Query Languages in Their Ability to Express
Boolean Queries},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {360--378},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_20},
doi = {10.1007/978-3-319-90050-6\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SurinxBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/WilhelmKFB18,
author = {Marco Wilhelm and
Gabriele Kern{-}Isberner and
Marc Finthammer and
Christoph Beierle},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {A Generalized Iterative Scaling Algorithm for Maximum Entropy Model
Computations Respecting Probabilistic Independencies},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {379--399},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_21},
doi = {10.1007/978-3-319-90050-6\_21},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/WilhelmKFB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2018,
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6},
doi = {10.1007/978-3-319-90050-6},
isbn = {978-3-319-90049-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/0001HKMV16,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Approximation and Dependence via Multiteam Semantics},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {271--291},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_15},
doi = {10.1007/978-3-319-30024-5\_15},
timestamp = {Sat, 09 Apr 2022 12:42:08 +0200},
biburl = {https://dblp.org/rec/conf/foiks/0001HKMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AhmetajFKPSS16,
author = {Shqiponja Ahmetaj and
Wolfgang Fischl and
Markus Kr{\"{o}}ll and
Reinhard Pichler and
Mantas Simkus and
Sebastian Skritek},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {The Challenge of Optional Matching in {SPARQL}},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {169--190},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_10},
doi = {10.1007/978-3-319-30024-5\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AhmetajFKPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BautersLG16,
author = {Kim Bauters and
Weiru Liu and
Llu{\'{\i}}s Godo},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {24--41},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_2},
doi = {10.1007/978-3-319-30024-5\_2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BautersLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Beierle16,
author = {Christoph Beierle},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Systems and Implementations for Solving Reasoning Problems in Conditional
Logics},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {83--94},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_5},
doi = {10.1007/978-3-319-30024-5\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Beierle16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BeierleEK16,
author = {Christoph Beierle and
Christian Eichhorn and
Gabriele Kern{-}Isberner},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Skeptical Inference Based on C-Representations and Its Characterization
as a Constraint Satisfaction Problem},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {65--82},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_4},
doi = {10.1007/978-3-319-30024-5\_4},
timestamp = {Tue, 02 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BeierleEK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Biskup16,
author = {Joachim Biskup},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Selected Results and Related Issues of Confidentiality-Preserving
Controlled Interaction Execution},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {211--234},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_12},
doi = {10.1007/978-3-319-30024-5\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Biskup16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BliemW16,
author = {Bernhard Bliem and
Stefan Woltran},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Equivalence Between Answer-Set Programs Under (Partially) Fixed Input},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {95--111},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_6},
doi = {10.1007/978-3-319-30024-5\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BliemW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BrusselMG16,
author = {Thomas Van Brussel and
Emmanuel M{\"{u}}ller and
Bart Goethals},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Discovering Overlapping Quantitative Associations by Density-Based
Mining of Relevant Attributes},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {131--148},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_8},
doi = {10.1007/978-3-319-30024-5\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BrusselMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Cruz-FilipeNS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Isabel Nunes and
Peter Schneider{-}Kamp},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Integrity Constraints for General-Purpose Knowledge Bases},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {235--254},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_13},
doi = {10.1007/978-3-319-30024-5\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Cruz-FilipeNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FerrarottiSTW16,
author = {Flavio Ferrarotti and
Klaus{-}Dieter Schewe and
Loredana Tec and
Qing Wang},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {A Logic for Non-deterministic Parallel Abstract State Machines},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {334--354},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_18},
doi = {10.1007/978-3-319-30024-5\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FerrarottiSTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Kokkinis16,
author = {Ioannis Kokkinis},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {The Complexity of Non-Iterated Probabilistic Justification Logic},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {292--310},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_16},
doi = {10.1007/978-3-319-30024-5\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Kokkinis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Moguillansky16,
author = {Mart{\'{\i}}n O. Moguillansky},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {A Study of Argument Acceptability Dynamics Through Core and Remainder
Sets},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {3--23},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_1},
doi = {10.1007/978-3-319-30024-5\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Moguillansky16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/NguyenH16,
author = {Thu{-}Hien Thi Nguyen and
Van{-}Nam Huynh},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {A k-Means-Like Algorithm for Clustering Categorical Data Using an
Information Theoretic-Based Dissimilarity Measure},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {115--130},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_7},
doi = {10.1007/978-3-319-30024-5\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/NguyenH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/PivertP16,
author = {Olivier Pivert and
Henri Prade},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Possibilistic Conditional Tables},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {42--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_3},
doi = {10.1007/978-3-319-30024-5\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/PivertP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RaczSS16,
author = {G{\'{a}}bor R{\'{a}}cz and
Attila Sali and
Klaus{-}Dieter Schewe},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Semantic Matching Strategies for Job Recruitment: {A} Comparison of
New and Known Approaches},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {149--168},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_9},
doi = {10.1007/978-3-319-30024-5\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/RaczSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Ravve16,
author = {Elena V. Ravve},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Maintenance of Queries Under Database Changes: {A} Unified Logic Based
Approach},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {191--208},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_11},
doi = {10.1007/978-3-319-30024-5\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Ravve16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Turull-Torres16,
author = {Jos{\'{e}} Maria Turull Torres},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Relational Complexity and Higher Order Logics},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {311--333},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_17},
doi = {10.1007/978-3-319-30024-5\_17},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Turull-Torres16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZadehK16,
author = {Pooya Moradian Zadeh and
Ziad Kobti},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {A Knowledge Based Framework for Link Prediction in Social Networks},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {255--268},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_14},
doi = {10.1007/978-3-319-30024-5\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ZadehK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2016,
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5},
doi = {10.1007/978-3-319-30024-5},
isbn = {978-3-319-30023-8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BesnardCM14,
author = {Philippe Besnard and
Marie{-}Odile Cordier and
Yves Moinard},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Arguments Using Ontological and Causal Knowledge},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {79--96},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_3},
doi = {10.1007/978-3-319-04939-7\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BesnardCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupKKT14,
author = {Joachim Biskup and
Gabriele Kern{-}Isberner and
Patrick Kr{\"{u}}mpelmann and
Cornelia Tadros},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Reasoning on Secrecy Constraints under Uncertainty to Classify Possible
Actions},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {97--116},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_4},
doi = {10.1007/978-3-319-04939-7\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupKKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BravoR14,
author = {Loreto Bravo and
M. Andrea Rodr{\'{\i}}guez},
editor = {Christoph Beierle and
Carlo Meghini},
title = {A Multi-granular Database Model},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {344--360},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_17},
doi = {10.1007/978-3-319-04939-7\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BravoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BudanLS14,
author = {Maximiliano Celmo Bud{\'{a}}n and
Mauro Javier G{\'{o}}mez Lucero and
Guillermo Ricardo Simari},
editor = {Christoph Beierle and
Carlo Meghini},
title = {An AIF-Based Labeled Argumentation Framework},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {117--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_5},
doi = {10.1007/978-3-319-04939-7\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BudanLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CayrolDT14,
author = {Claudette Cayrol and
Didier Dubois and
Fay{\c{c}}al Touazi},
editor = {Christoph Beierle and
Carlo Meghini},
title = {On the Semantics of Partially Ordered Bases},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {136--153},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_6},
doi = {10.1007/978-3-319-04939-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CayrolDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CiucciDP14,
author = {Davide Ciucci and
Didier Dubois and
Henri Prade},
editor = {Christoph Beierle and
Carlo Meghini},
title = {The Structure of Oppositions in Rough Set Theory and Formal Concept
Analysis - Toward a New Bridge between the Two Settings},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {154--173},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_7},
doi = {10.1007/978-3-319-04939-7\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CiucciDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Cruz-Filipe14,
author = {Lu{\'{\i}}s Cruz{-}Filipe},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Optimizing Computation of Repairs from Active Integrity Constraints},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {361--380},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_18},
doi = {10.1007/978-3-319-04939-7\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Cruz-Filipe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DerracS14,
author = {Joaqu{\'{\i}}n Derrac and
Steven Schockaert},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Enriching Taxonomies of Place Types Using Flickr},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {174--192},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_8},
doi = {10.1007/978-3-319-04939-7\_8},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DerracS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Fermuller14,
author = {Christian G. Ferm{\"{u}}ller},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Hintikka-Style Semantic Games for Fuzzy Logics},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {193--210},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_9},
doi = {10.1007/978-3-319-04939-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Fermuller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Gabbay14,
author = {Dov M. Gabbay},
editor = {Christoph Beierle and
Carlo Meghini},
title = {The Equational Approach to Contrary-to-duty Obligations},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {1--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_1},
doi = {10.1007/978-3-319-04939-7\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Gabbay14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HannulaK14,
author = {Miika Hannula and
Juha Kontinen},
editor = {Christoph Beierle and
Carlo Meghini},
title = {A Finite Axiomatization of Conditional Independence and Inclusion
Dependencies},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {211--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_10},
doi = {10.1007/978-3-319-04939-7\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HannulaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hegner14,
author = {Stephen J. Hegner},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Guard Independence and Constraint-Preserving Snapshot Isolation},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {230--249},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_11},
doi = {10.1007/978-3-319-04939-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hegner14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HellingsGPW14,
author = {Jelle Hellings and
Marc Gyssens and
Jan Paredaens and
Yuqing Wu},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Implication and Axiomatization of Functional Constraints on Patterns
with an Application to the {RDF} Data Model},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {250--269},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_12},
doi = {10.1007/978-3-319-04939-7\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HellingsGPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HerzigPS14,
author = {Andreas Herzig and
Pilar Pozos Parra and
Fran{\c{c}}ois Schwarzentruber},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Belief Merging in Dynamic Logic of Propositional Assignments},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {381--398},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_19},
doi = {10.1007/978-3-319-04939-7\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/HerzigPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/LakshmananT14,
author = {Laks V. S. Lakshmanan and
Alex Thomo},
editor = {Christoph Beierle and
Carlo Meghini},
title = {View-Based Tree-Language Rewritings for {XML}},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {270--289},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_13},
doi = {10.1007/978-3-319-04939-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/LakshmananT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MohapatraG14,
author = {Abhijeet Mohapatra and
Michael R. Genesereth},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Incremental Maintenance of Aggregate Views},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {399--414},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_20},
doi = {10.1007/978-3-319-04939-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MohapatraG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/OugiaroglouE14,
author = {Stefanos Ougiaroglou and
Georgios Evangelidis},
editor = {Christoph Beierle and
Carlo Meghini},
title = {{EHC:} Non-parametric Editing by Finding Homogeneous Clusters},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {290--304},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_14},
doi = {10.1007/978-3-319-04939-7\_14},
timestamp = {Sun, 15 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/OugiaroglouE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RensML14,
author = {Gavin Rens and
Thomas Meyer and
Gerhard Lakemeyer},
editor = {Christoph Beierle and
Carlo Meghini},
title = {A Logic for Specifying Stochastic Actions and Observations},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {305--323},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_15},
doi = {10.1007/978-3-319-04939-7\_15},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/RensML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ShakarianSF14,
author = {Paulo Shakarian and
Gerardo I. Simari and
Marcelo A. Falappa},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Belief Revision in Structured Probabilistic Argumentation},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {324--343},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_16},
doi = {10.1007/978-3-319-04939-7\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ShakarianSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SilvaF14,
author = {Jo{\~{a}}o Carlos Pereira da Silva and
Andr{\'{e}} Freitas},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Towards an Approximative Ontology-Agnostic Approach for Logic Programs},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {415--432},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_21},
doi = {10.1007/978-3-319-04939-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SilvaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Wijsen14,
author = {Jef Wijsen},
editor = {Christoph Beierle and
Carlo Meghini},
title = {A Survey of the Data Complexity of Consistent Query Answering under
Key Constraints},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {62--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_2},
doi = {10.1007/978-3-319-04939-7\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Wijsen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2014,
editor = {Christoph Beierle and
Carlo Meghini},
title = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7},
doi = {10.1007/978-3-319-04939-7},
isbn = {978-3-319-04938-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArieliZ12,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {34--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_3},
doi = {10.1007/978-3-642-28472-4\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ArieliZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupT12,
author = {Joachim Biskup and
Cornelia Tadros},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Revising Belief without Revealing Secrets},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {51--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_4},
doi = {10.1007/978-3-642-28472-4\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BockRM12,
author = {J{\"{u}}rgen Bock and
Sebastian Rudolph and
Michael Mutter},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based
Optimisation},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {71--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_5},
doi = {10.1007/978-3-642-28472-4\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BockRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CaropreseZ12,
author = {Luciano Caroprese and
Ester Zumpano},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Handling Preferences in {P2P} Systems},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_6},
doi = {10.1007/978-3-642-28472-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CaropreseZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CohenGS12,
author = {Andrea Cohen and
Alejandro Javier Garc{\'{\i}}a and
Guillermo Ricardo Simari},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Backing and Undercutting in Abstract Argumentation Frameworks},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {107--123},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_7},
doi = {10.1007/978-3-642-28472-4\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/CohenGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/EiterKSX12,
author = {Thomas Eiter and
Thomas Krennwallner and
Patrik Schneider and
Guohui Xiao},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Uniform Evaluation of Nonmonotonic DL-Programs},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {1--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_1},
doi = {10.1007/978-3-642-28472-4\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/EiterKSX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FletcherGLBGVW12,
author = {George H. L. Fletcher and
Marc Gyssens and
Dirk Leinders and
Jan Van den Bussche and
Dirk Van Gucht and
Stijn Vansummeren and
Yuqing Wu},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {The Impact of Transitive Closure on the Boolean Expressiveness of
Navigational Query Languages on Graphs},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {124--143},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_8},
doi = {10.1007/978-3-642-28472-4\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FletcherGLBGVW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GarnaudMM12,
author = {Eve Garnaud and
Sofian Maabout and
Mohamed Mosbah},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Using Functional Dependencies for Reducing the Size of a Data Cube},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {144--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_9},
doi = {10.1007/978-3-642-28472-4\_9},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GarnaudMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannKLT12,
author = {Sven Hartmann and
Henning K{\"{o}}hler and
Sebastian Link and
Bernhard Thalheim},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Armstrong Databases and Reasoning for Functional Dependencies and
Cardinality Constraints over Partial Bags},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {164--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_10},
doi = {10.1007/978-3-642-28472-4\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/HartmannKLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hegner12,
author = {Stephen J. Hegner},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {{FD} Covers and Universal Complements of Simple Projections},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {184--202},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_11},
doi = {10.1007/978-3-642-28472-4\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hegner12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KatonaT12,
author = {Gyula O. H. Katona and
Kriszti{\'{a}}n Tichler},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Encoding Databases Satisfying a Given Set of Dependencies},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {203--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_12},
doi = {10.1007/978-3-642-28472-4\_12},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KatonaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KramerB12,
author = {Annika Kr{\"{a}}mer and
Christoph Beierle},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {On Lifted Inference for a Relational Probabilistic Conditional Logic
with Maximum Entropy Semantics},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {224--243},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_13},
doi = {10.1007/978-3-642-28472-4\_13},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KramerB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MolnarBS12,
author = {Andr{\'{a}}s J. Moln{\'{a}}r and
Andr{\'{a}}s A. Bencz{\'{u}}r and
Csaba Istv{\'{a}}n Sidl{\'{o}}},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Flexible and Efficient Distributed Resolution of Large Entities},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {244--263},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_14},
doi = {10.1007/978-3-642-28472-4\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MolnarBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/PerovicDO12,
author = {Aleksandar Perovic and
Dragan Doder and
Zoran Ognjanovic},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {On Real-Valued Evaluation of Propositional Formulas},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {264--277},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_15},
doi = {10.1007/978-3-642-28472-4\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/PerovicDO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/PivertP12,
author = {Olivier Pivert and
Henri Prade},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Detecting Suspect Answers in the Presence of Inconsistent Information},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {278--297},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_16},
doi = {10.1007/978-3-642-28472-4\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/PivertP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RajagopalanVT12,
author = {Krishnan Rajagopalan and
Srinivasan Venkatesh and
Alex Thomo},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Learning the News in Social Networks},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {298--311},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_17},
doi = {10.1007/978-3-642-28472-4\_17},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/RajagopalanVT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RakibFM12,
author = {Abdur Rakib and
Rokan Uddin Faruqui and
Wendy MacCaull},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Verifying Resource Requirements for Ontology-Driven Rule-Based Agents},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {312--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_18},
doi = {10.1007/978-3-642-28472-4\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/RakibFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RezkK12,
author = {Mart{\'{\i}}n Rezk and
Michael Kifer},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Formalizing Production Systems with Rule-Based Ontologies},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {332--351},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_19},
doi = {10.1007/978-3-642-28472-4\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/RezkK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SaccaSG12,
author = {Domenico Sacc{\`{a}} and
Edoardo Serra and
Antonella Guzzo},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Count Constraints and the Inverse {OLAP} Problem: Definition, Complexity
and a Step toward Aggregate Data Exchange},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {352--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_20},
doi = {10.1007/978-3-642-28472-4\_20},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/SaccaSG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ScheweW12,
author = {Klaus{-}Dieter Schewe and
Qing Wang},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Synchronous Parallel Database Transformations},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {370--383},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_21},
doi = {10.1007/978-3-642-28472-4\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ScheweW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Schwentick12,
author = {Thomas Schwentick},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Foundations of {XML} Based on Logic and Automata: {A} Snapshot},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {23--33},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_2},
doi = {10.1007/978-3-642-28472-4\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Schwentick12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SzaboB12,
author = {Gyula I. Szab{\'{o}} and
Andr{\'{a}}s A. Bencz{\'{u}}r},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Functional Dependencies on Extended Relations Defined by Regular Languages},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {384--403},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_22},
doi = {10.1007/978-3-642-28472-4\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SzaboB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2012,
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4},
doi = {10.1007/978-3-642-28472-4},
isbn = {978-3-642-28471-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AbellanM09,
author = {Joaqu{\'{\i}}n Abell{\'{a}}n and
Andr{\'{e}}s R. Masegosa},
editor = {Sebastian Link and
Henri Prade},
title = {Bagging Decision Trees on Data Sets with Classification Noise},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {248--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_17},
doi = {10.1007/978-3-642-11829-6\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AbellanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AtzeniGT09,
author = {Paolo Atzeni and
Giorgio Gianforme and
Daniele Toti},
editor = {Sebastian Link and
Henri Prade},
title = {Polymorphism in Datalog and Inheritance in a Metamodel},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {114--132},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_10},
doi = {10.1007/978-3-642-11829-6\_10},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AtzeniGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Balbiani09,
author = {Philippe Balbiani},
editor = {Sebastian Link and
Henri Prade},
title = {Tools and Techniques in Qualitative Reasoning about Space},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {1--2},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_1},
doi = {10.1007/978-3-642-11829-6\_1},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Balbiani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BeierleK09,
author = {Christoph Beierle and
Gabriele Kern{-}Isberner},
editor = {Sebastian Link and
Henri Prade},
title = {The Relationship of the Logic of Big-Stepped Probabilities to Standard
Probabilistic Logics},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {191--210},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_14},
doi = {10.1007/978-3-642-11829-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BeierleK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupTW09,
author = {Joachim Biskup and
Cornelia Tadros and
Lena Wiese},
editor = {Sebastian Link and
Henri Prade},
title = {Towards Controlled Query Evaluation for Incomplete First-Order Databases},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {230--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_16},
doi = {10.1007/978-3-642-11829-6\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BourguetAT09,
author = {Jean{-}R{\'{e}}mi Bourguet and
Leila Amgoud and
Rallou Thomopoulos},
editor = {Sebastian Link and
Henri Prade},
title = {Towards a Unified Model of Preference-Based Argumentation},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {326--344},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_21},
doi = {10.1007/978-3-642-11829-6\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BourguetAT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ConfalonieriNOV09,
author = {Roberto Confalonieri and
Juan Carlos Nieves and
Mauricio Osorio and
Javier V{\'{a}}zquez{-}Salceda},
editor = {Sebastian Link and
Henri Prade},
title = {Possibilistic Semantics for Logic Programs with Ordered Disjunction},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {133--152},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_11},
doi = {10.1007/978-3-642-11829-6\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ConfalonieriNOV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DjedidiA09,
author = {Rim Djedidi and
Marie{-}Aude Aufaure},
editor = {Sebastian Link and
Henri Prade},
title = {\emph{ONTO-EVO}\({}^{\mbox{\emph{A}}}\)\emph{L} an Ontology Evolution
Approach Guided by Pattern Modeling and Quality Evaluation},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {286--305},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_19},
doi = {10.1007/978-3-642-11829-6\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DjedidiA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DoderMOPR09,
author = {Dragan Doder and
Zoran Markovic and
Zoran Ognjanovic and
Aleksandar Perovic and
Miodrag Raskovic},
editor = {Sebastian Link and
Henri Prade},
title = {A Probabilistic Temporal Logic That Can Model Reasoning about Evidence},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {9--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_4},
doi = {10.1007/978-3-642-11829-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DoderMOPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/EmbleyZ09,
author = {David W. Embley and
Andrew Zitzelberger},
editor = {Sebastian Link and
Henri Prade},
title = {Theoretical Foundations for Enabling a Web of Knowledge},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {211--229},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_15},
doi = {10.1007/978-3-642-11829-6\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/EmbleyZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FazzingaGGL09,
author = {Bettina Fazzinga and
Giorgio Gianforme and
Georg Gottlob and
Thomas Lukasiewicz},
editor = {Sebastian Link and
Henri Prade},
title = {Semantic Web Search Based on Ontological Conjunctive Queries},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {153--172},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_12},
doi = {10.1007/978-3-642-11829-6\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/FazzingaGGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannKT09,
author = {Sven Hartmann and
Henning K{\"{o}}hler and
Thu Trinh},
editor = {Sebastian Link and
Henri Prade},
title = {On the Existence of Armstrong Data Trees for {XML} Functional Dependencies},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {94--113},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_9},
doi = {10.1007/978-3-642-11829-6\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HartmannKT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KatonaKS09,
author = {Gyula O. H. Katona and
Anita Keszler and
Attila Sali},
editor = {Sebastian Link and
Henri Prade},
title = {On the Distance of Databases},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {76--93},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_8},
doi = {10.1007/978-3-642-11829-6\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KatonaKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Kaytoue-UberallAMN09,
author = {Mehdi Kaytoue{-}Uberall and
Zainab Assaghir and
Nizar Messai and
Amedeo Napoli},
editor = {Sebastian Link and
Henri Prade},
title = {Two Complementary Classification Methods for Designing a Concept Lattice
from Interval Data},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {345--362},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_22},
doi = {10.1007/978-3-642-11829-6\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Kaytoue-UberallAMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Keinanen09,
author = {Helena Kein{\"{a}}nen},
editor = {Sebastian Link and
Henri Prade},
title = {An Algorithm for Generating Nash Stable Coalition Structures in Hedonic
Games},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {25--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_5},
doi = {10.1007/978-3-642-11829-6\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Keinanen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KianiS09,
author = {Ali Kiani and
Nematollaah Shiri},
editor = {Sebastian Link and
Henri Prade},
title = {Conjunctive Queries with Constraints: Homomorphism, Containment and
Rewriting},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {40--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_6},
doi = {10.1007/978-3-642-11829-6\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KianiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MarcosFS09,
author = {M. Julieta Marcos and
Marcelo A. Falappa and
Guillermo Ricardo Simari},
editor = {Sebastian Link and
Henri Prade},
title = {Semantically Characterizing Collaborative Behavior in an Abstract
Dialogue Framework},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {173--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_13},
doi = {10.1007/978-3-642-11829-6\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MarcosFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ParedaensH09,
author = {Jan Paredaens and
Jan Hidders},
editor = {Sebastian Link and
Henri Prade},
title = {A Simple but Formal Semantics for {XML} Manipulation Languages},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {3--5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_2},
doi = {10.1007/978-3-642-11829-6\_2},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ParedaensH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ShoaranT09,
author = {Maryam Shoaran and
Alex Thomo},
editor = {Sebastian Link and
Henri Prade},
title = {Evolving Schemas for Streaming {XML}},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {266--285},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_18},
doi = {10.1007/978-3-642-11829-6\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ShoaranT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Vakarelov09,
author = {Dimiter Vakarelov},
editor = {Sebastian Link and
Henri Prade},
title = {Algorithmic Definability and Completeness in Modal Logic},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {6--8},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_3},
doi = {10.1007/978-3-642-11829-6\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Vakarelov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZhangL09,
author = {Zhihu Zhang and
Zuoquan Lin},
editor = {Sebastian Link and
Henri Prade},
title = {Enhancing Dung's Preferred Semantics},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {58--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_7},
doi = {10.1007/978-3-642-11829-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ZhangL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZhangLW09,
author = {Xiaowang Zhang and
Zuoquan Lin and
Kewen Wang},
editor = {Sebastian Link and
Henri Prade},
title = {Towards a Paradoxical Description Logic for the Semantic Web},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {306--325},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_20},
doi = {10.1007/978-3-642-11829-6\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ZhangLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2009,
editor = {Sebastian Link and
Henri Prade},
title = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6},
doi = {10.1007/978-3-642-11829-6},
isbn = {978-3-642-11828-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AtzeniGC08,
author = {Paolo Atzeni and
Giorgio Gianforme and
Paolo Cappellari},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Reasoning on Data Models in Schema Translation},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {158--177},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_13},
doi = {10.1007/978-3-540-77684-0\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AtzeniGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BehrendM08,
author = {Andreas Behrend and
Rainer Manthey},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {A Transformation-Based Approach to View Updating in Stratifiable Deductive
Databases},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {253--271},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_18},
doi = {10.1007/978-3-540-77684-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BehrendM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupL08,
author = {Joachim Biskup and
Sebastian Link},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Appropriate Reasoning about Data Dependencies in Fixed and Undetermined
Universes},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {58--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_7},
doi = {10.1007/978-3-540-77684-0\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BorgerB08,
author = {Egon B{\"{o}}rger and
Don S. Batory},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Coupling Design and Verification in Software Product Lines},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_1},
doi = {10.1007/978-3-540-77684-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BorgerB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CaliLPS08,
author = {Andrea Cal{\`{\i}} and
Thomas Lukasiewicz and
Livia Predoiu and
Heiner Stuckenschmidt},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Tightly Integrated Probabilistic Description Logic Programs for Representing
Ontology Mappings},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {178--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_14},
doi = {10.1007/978-3-540-77684-0\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CaliLPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DimitrakakisS08,
author = {Christos Dimitrakakis and
Christian Savu{-}Krohn},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Cost-Minimising Strategies for Data Labelling: Optimal Stopping and
Active Learning},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {96--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_9},
doi = {10.1007/978-3-540-77684-0\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DimitrakakisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Dix08,
author = {J{\"{u}}rgen Dix},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Strategic Abilities of Agents},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {7},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_3},
doi = {10.1007/978-3-540-77684-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Dix08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/EfstathiouH08,
author = {Vasiliki Efstathiou and
Anthony Hunter},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Algorithms for Effective Argumentation in Classical Propositional
Logic: {A} Connection Graph Approach},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {272--290},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_19},
doi = {10.1007/978-3-540-77684-0\_19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/EfstathiouH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GarciaGS08,
author = {Diego R. Garc{\'{\i}}a and
Alejandro Javier Garc{\'{\i}}a and
Guillermo Ricardo Simari},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Defeasible Reasoning and Partial Order Planning},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {311--328},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_21},
doi = {10.1007/978-3-540-77684-0\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GarciaGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GebserSTW08,
author = {Martin Gebser and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Alternative Characterizations for Program Equivalence under Answer-Set
Semantics Based on Unfounded Sets},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {24--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_5},
doi = {10.1007/978-3-540-77684-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GebserSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GorogiannisH08,
author = {Nikos Gorogiannis and
Anthony Hunter},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Merging First-Order Knowledge Using Dilation Operators},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {132--150},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_11},
doi = {10.1007/978-3-540-77684-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/GorogiannisH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HadjAliKP08,
author = {Allel HadjAli and
Souhila Kaci and
Henri Prade},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Database Preferences Queries - {A} Possibilistic Logic Approach with
Symbolic Priorities},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {291--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_20},
doi = {10.1007/978-3-540-77684-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HadjAliKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hegner08,
author = {Stephen J. Hegner},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Information-Optimal Reflections of View Updates on Relational Database
Schemata},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {112--131},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_10},
doi = {10.1007/978-3-540-77684-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hegner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/JenhaniABE08,
author = {Ilyes Jenhani and
Nahla Ben Amor and
Salem Benferhat and
Zied Elouedi},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {{SIM-PDT:} {A} Similarity Based Possibilistic Decision Tree Approach},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {348--364},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_23},
doi = {10.1007/978-3-540-77684-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/JenhaniABE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Katona08,
author = {Gyula O. H. Katona},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Random Geometric Identification},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {5--6},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_2},
doi = {10.1007/978-3-540-77684-0\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Katona08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Kohler08,
author = {Henning K{\"{o}}hler},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Autonomous Sets - {A} Method for Hypergraph Decomposition with Applications
in Database Theory},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {78--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_8},
doi = {10.1007/978-3-540-77684-0\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Kohler08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KohlerL08,
author = {Henning K{\"{o}}hler and
Sebastian Link},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Lossless Decompositions in Complex-Valued Databases},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {329--347},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_22},
doi = {10.1007/978-3-540-77684-0\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KohlerL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/PerovicORM08,
author = {Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic and
Zoran Markovic},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {A Probabilistic Logic with Polynomial Weight Formulas},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {239--252},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_17},
doi = {10.1007/978-3-540-77684-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/PerovicORM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RagoneSNSD08,
author = {Azzurra Ragone and
Umberto Straccia and
Tommaso Di Noia and
Eugenio Di Sciascio and
Francesco M. Donini},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Towards a Fuzzy Logic for Automated Multi-issue Negotiation},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {381--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_25},
doi = {10.1007/978-3-540-77684-0\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/RagoneSNSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SaliS08,
author = {Attila Sali and
L{\'{a}}szl{\'{o}} A. Sz{\'{e}}kely},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {On the Existence of Armstrong Instances with Bounded Domains},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {151--157},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_12},
doi = {10.1007/978-3-540-77684-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SaliS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ThomoVY08,
author = {Alex Thomo and
Srinivasan Venkatesh and
Ying Ying Ye},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Visibly Pushdown Transducers for Approximate Validation of Streaming
{XML}},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {219--238},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_16},
doi = {10.1007/978-3-540-77684-0\_16},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/ThomoVY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/TohmeBS08,
author = {Fernando A. Tohm{\'{e}} and
Gustavo Adrian Bodanza and
Guillermo Ricardo Simari},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Aggregation of Attack Relations: {A} Social-Choice Theoretical Analysis
of Defeasibility Criteria},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {8--23},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_4},
doi = {10.1007/978-3-540-77684-0\_4},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/TohmeBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Trinh08,
author = {Thu Trinh},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Using Transversals for Discovering {XML} Functional Dependencies},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {199--218},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_15},
doi = {10.1007/978-3-540-77684-0\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Trinh08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ViglizzoTS08,
author = {Ignacio D. Viglizzo and
Fernando A. Tohm{\'{e}} and
Guillermo Ricardo Simari},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {An Alternative Foundation for DeLP: Defeating Relations and Truth
Values},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {42--57},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_6},
doi = {10.1007/978-3-540-77684-0\_6},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ViglizzoTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/WangS08,
author = {Qing Wang and
Klaus{-}Dieter Schewe},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Towards a Logic for Abstract MetaFinite State Machines},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {365--380},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_24},
doi = {10.1007/978-3-540-77684-0\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/WangS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2008,
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0},
doi = {10.1007/978-3-540-77684-0},
isbn = {978-3-540-77683-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AlvezL06,
author = {Javier {\'{A}}lvez and
Paqui Lucio},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Equational Constraint Solving Via a Restricted Form of Universal Quantification},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {2--21},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_2},
doi = {10.1007/11663881\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AlvezL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArtalePS06,
author = {Alessandro Artale and
Christine Parent and
Stefano Spaccapietra},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Modeling the Evolution of Objects in Temporal Information Systems},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {22--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_3},
doi = {10.1007/11663881\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ArtalePS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupB06,
author = {Joachim Biskup and
Piero A. Bonatti},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Controlled Query Evaluation with Open Queries for a Decidable Relational
Submodel},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {43--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_4},
doi = {10.1007/11663881\_4},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Bussche06,
author = {Jan Van den Bussche},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {The Semijoin Algebra},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_1},
doi = {10.1007/11663881\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Bussche06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Chomicki06,
author = {Jan Chomicki},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Iterative Modification and Incremental Evaluation of Preference Queries},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {63--82},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_5},
doi = {10.1007/11663881\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Chomicki06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DemetrovicsKMT06,
author = {J{\'{a}}nos Demetrovics and
Gyula O. H. Katona and
Dezs{\"{o}} Mikl{\'{o}}s and
Bernhard Thalheim},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {On the Number of Independent Functional Dependencies},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {83--91},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_6},
doi = {10.1007/11663881\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/DemetrovicsKMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/FerrarottiT06,
author = {Flavio Antonio Ferrarotti and
Jose Maria Turull Torres},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Arity and Alternation: {A} Proper Hierarchy in Higher Order Logics},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {92--115},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_7},
doi = {10.1007/11663881\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/FerrarottiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Greco06,
author = {Gianluigi Greco},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Solving Abduction by Computing Joint Explanations: Logic Programming
Formalization, Applications to \emph{P2P} Data Integration, and Complexity
Results},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {116--136},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_8},
doi = {10.1007/11663881\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Greco06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannL06,
author = {Sven Hartmann and
Sebastian Link},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {The Nested List Normal Form for Functional and Multivalued Dependencies},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {137--158},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_9},
doi = {10.1007/11663881\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HartmannL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannT06,
author = {Sven Hartmann and
Thu Trinh},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Axiomatising Functional Dependencies for {XML} with Frequencies},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {159--178},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_10},
doi = {10.1007/11663881\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HartmannT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HeymansNV06,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Guarded Open Answer Set Programming with Generalized Literals},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {179--200},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_11},
doi = {10.1007/11663881\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HeymansNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HorrocksV06,
author = {Ian Horrocks and
Andrei Voronkov},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Reasoning Support for Expressive Ontology Languages Using a Theorem
Prover},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {201--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_12},
doi = {10.1007/11663881\_12},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HorrocksV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KaneiwaS06,
author = {Ken Kaneiwa and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Consistency Checking Algorithms for Restricted {UML} Class Diagrams},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {219--239},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_13},
doi = {10.1007/11663881\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KaneiwaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KatonaT06,
author = {Gyula O. H. Katona and
Kriszti{\'{a}}n Tichler},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Some Contributions to the Minimum Representation Problem of Key Systems},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {240--257},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_14},
doi = {10.1007/11663881\_14},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KatonaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Link06,
author = {Sebastian Link},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {On Multivalued Dependencies in Fixed and Undetermined Universes},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {258--277},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_15},
doi = {10.1007/11663881\_15},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Link06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SpyratosM06,
author = {Nicolas Spyratos and
Carlo Meghini},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Preference-Based Query Tuning Through Refinement/Enlargement in a
Formal Context},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {278--293},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_16},
doi = {10.1007/11663881\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SpyratosM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/TaoH06,
author = {Yufei Tao and
Marios Hadjieleftheriou},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Processing Ranked Queries with the Minimum Space},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {294--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_17},
doi = {10.1007/11663881\_17},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/TaoH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Vathy-FogarassyKA06,
author = {{\'{A}}gnes Vathy{-}Fogarassy and
Attila Kiss and
J{\'{a}}nos Abonyi},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering
Algorithm},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {313--330},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_18},
doi = {10.1007/11663881\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Vathy-FogarassyKA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2006,
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881},
doi = {10.1007/11663881},
isbn = {3-540-31782-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArieliDNB04,
author = {Ofer Arieli and
Marc Denecker and
Bert Van Nuffelen and
Maurice Bruynooghe},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Database Repair by Signed Formulae},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {14--30},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_3},
doi = {10.1007/978-3-540-24627-5\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ArieliDNB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ChristiansenM04,
author = {Henning Christiansen and
Davide Martinenghi},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Simplification of Integrity Constraints for Data Integration},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {31--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_4},
doi = {10.1007/978-3-540-24627-5\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ChristiansenM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DemetrovicsKM04,
author = {J{\'{a}}nos Demetrovics and
Gyula O. H. Katona and
Dezs{\"{o}} Mikl{\'{o}}s},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {On the Security of Individual Data},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {49--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_5},
doi = {10.1007/978-3-540-24627-5\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DemetrovicsKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Godfrey04,
author = {Parke Godfrey},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Skyline Cardinality for Relational Processing},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {78--97},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_7},
doi = {10.1007/978-3-540-24627-5\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Godfrey04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Gottlob04,
author = {Georg Gottlob},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Hypergraph Transversals},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {1--5},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_1},
doi = {10.1007/978-3-540-24627-5\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Gottlob04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GrahneT04,
author = {G{\"{o}}sta Grahne and
Alex Thomo},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Query Answering and Containment for Regular Path Queries under Distortions},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {98--115},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_8},
doi = {10.1007/978-3-540-24627-5\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/GrahneT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Gurevich04,
author = {Yuri Gurevich},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Abstract State Machines: An Overview of the Project},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {6--13},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_2},
doi = {10.1007/978-3-540-24627-5\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Gurevich04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannLS04,
author = {Sven Hartmann and
Sebastian Link and
Klaus{-}Dieter Schewe},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Weak Functional Dependencies in Higher-Order Datamodels},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {116--133},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_9},
doi = {10.1007/978-3-540-24627-5\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HartmannLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HartmannLS04a,
author = {Sven Hartmann and
Sebastian Link and
Klaus{-}Dieter Schewe},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Reasoning about Functional and Multi-valued Dependencies in the Presence
of Lists},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {134--154},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_10},
doi = {10.1007/978-3-540-24627-5\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HartmannLS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hegner04,
author = {Stephen J. Hegner},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {The Relative Complexity of Updates for a Class of Database Views},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {155--175},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_11},
doi = {10.1007/978-3-540-24627-5\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hegner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HurtadoG04,
author = {Carlos A. Hurtado and
Claudio Gutierrez},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Equivalence of {OLAP} Dimension Schemas},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {176--195},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_12},
doi = {10.1007/978-3-540-24627-5\_12},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/HurtadoG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HuynhNMH04,
author = {Van{-}Nam Huynh and
Yoshiteru Nakamori and
Tetsuya Murai and
Tu Bao Ho},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {A New Approach to Belief Modeling},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {196--230},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_13},
doi = {10.1007/978-3-540-24627-5\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HuynhNMH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/OsorioZ04,
author = {Mauricio Osorio and
Fernando Zacar{\'{\i}}as Flores},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {On Updates of Logic Programs: {A} Properties-Based Approach},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {231--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_15},
doi = {10.1007/978-3-540-24627-5\_15},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/OsorioZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Sali04,
author = {Attila Sali},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Minimal Keys in Higher-Order Datamodels},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {242--251},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_16},
doi = {10.1007/978-3-540-24627-5\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Sali04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SchmittS04,
author = {Ingo Schmitt and
Nadine Schulz},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Similarity Relational Calculus and its Reduction to a Similarity Algebra},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {252--272},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_17},
doi = {10.1007/978-3-540-24627-5\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SchmittS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ShiriZ04,
author = {Nematollaah Shiri and
Zhi Hong Zheng},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Challenges in Fixpoint Computation with Multisets},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {273--290},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_18},
doi = {10.1007/978-3-540-24627-5\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ShiriZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/TzitzikasMS04,
author = {Yannis Tzitzikas and
Carlo Meghini and
Nicolas Spyratos},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Towards a Generalized Interaction Scheme for Information Access},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {291--301},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_19},
doi = {10.1007/978-3-540-24627-5\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/TzitzikasMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Vos04,
author = {Marina De Vos},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Implementing Ordered Choice Logic Programming using Answer Set Solvers},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {59--77},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_6},
doi = {10.1007/978-3-540-24627-5\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/Vos04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/YamanANSS04,
author = {Fusun Yaman and
Sibel Adali and
Dana S. Nau and
Maria Luisa Sapino and
V. S. Subrahmanian},
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Plan Databases: Model and Algebra},
booktitle = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
pages = {302--320},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24627-5\_20},
doi = {10.1007/978-3-540-24627-5\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/YamanANSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2004,
editor = {Dietmar Seipel and
Jose Maria Turull Torres},
title = {Foundations of Information and Knowledge Systems, Third International
Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2942},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95342},
doi = {10.1007/B95342},
isbn = {3-540-20965-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AmoCM02,
author = {Sandra de Amo and
Walter Alexandre Carnielli and
Jo{\~{a}}o Marcos},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {A Logical Framework for Integrating Inconsistent Information in Multiple
Databases},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {67--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_5},
doi = {10.1007/3-540-45758-5\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AmoCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArieliD02,
author = {Ofer Arieli and
Marc Denecker},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Modeling Paraconsistent Reasoning by Classical Logic},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_1},
doi = {10.1007/3-540-45758-5\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/ArieliD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BanerjeeB02,
author = {Robin N. Banerjee and
Andr{\'{e}}s Bujosa},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Implementing Term Algebra Syntactic Unification in Free Modules over
Certain Rings},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {15--31},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_2},
doi = {10.1007/3-540-45758-5\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BanerjeeB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BertossiS02,
author = {Leopoldo E. Bertossi and
Camilla Schwind},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Analytic Tableaux and Database Repairs: Foundations},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {32--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_3},
doi = {10.1007/3-540-45758-5\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BertossiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupB02,
author = {Joachim Biskup and
Piero A. Bonatti},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Controlled Query Evaluation for Known Policies by Combining Lying
and Refusal},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {49--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_4},
doi = {10.1007/3-540-45758-5\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Cirulis02,
author = {Janis Cirulis},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Knowledge Representation in Extended Pawlak's Information Systems:
Algebraic Aspects},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {250--267},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_16},
doi = {10.1007/3-540-45758-5\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Cirulis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DemetrovicsKM02,
author = {J{\'{a}}nos Demetrovics and
Gyula O. H. Katona and
Dezs{\"{o}} Mikl{\'{o}}s},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Functional Dependencies in Presence of Errors},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {85--92},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_6},
doi = {10.1007/3-540-45758-5\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DemetrovicsKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/EngelH02,
author = {Konrad Engel and
Sven Hartmann},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Minimal Sample Databases for Global Cardinality Constraints},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {268--288},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_17},
doi = {10.1007/3-540-45758-5\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/EngelH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hegner02,
author = {Stephen J. Hegner},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Uniqueness of Update Strategies for Database Views},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {230--249},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_15},
doi = {10.1007/3-540-45758-5\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hegner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HuynhNHR02,
author = {Van{-}Nam Huynh and
Yoshiteru Nakamori and
Tu Bao Ho and
Germano Resconi},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {A Context Model for Constructing Membership Functions of Fuzzy Concepts
Based on Modal Logic},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {93--104},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_7},
doi = {10.1007/3-540-45758-5\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HuynhNHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Kern-Isberner02,
author = {Gabriele Kern{-}Isberner},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {The Principle of Conditional Preservation in Belief Revision},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {105--129},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_8},
doi = {10.1007/3-540-45758-5\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Kern-Isberner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Koch02,
author = {Christoph Koch},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Query Rewriting with Symmetric Constraints},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {130--147},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_9},
doi = {10.1007/3-540-45758-5\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Koch02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/LiZWJ02,
author = {Yingjiu Li and
Sencun Zhu and
Lingyu Wang and
Sushil Jajodia},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {A Privacy-Enhanced Microaggregation Method},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {148--159},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_10},
doi = {10.1007/3-540-45758-5\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/LiZWJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Link02,
author = {Sebastian Link},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Towards a Tailored Theory of Consistency Enforcement in Databases},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {160--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_11},
doi = {10.1007/3-540-45758-5\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Link02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MaimonR02,
author = {Oded Maimon and
Lior Rokach},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Improving Supervised Learning by Feature Decomposition},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {178--196},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_12},
doi = {10.1007/3-540-45758-5\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MaimonR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Tichler02,
author = {Kriszti{\'{a}}n Tichler},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Extremal Theorems for Databases},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {197--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_13},
doi = {10.1007/3-540-45758-5\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Tichler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Torres02,
author = {Jose Maria Turull Torres},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Relational Databases and Homogeneity in Logics with Counting},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {212--229},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_14},
doi = {10.1007/3-540-45758-5\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Torres02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2002,
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5},
doi = {10.1007/3-540-45758-5},
isbn = {3-540-43220-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AnsteeDKS00,
author = {Richard P. Anstee and
J{\'{a}}nos Demetrovics and
Gyula O. H. Katona and
Attila Sali},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Low Discrepancy Allocation of Two-Dimensional Data},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {1--12},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_1},
doi = {10.1007/3-540-46564-2\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AnsteeDKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BidoitMY00,
author = {Nicole Bidoit and
Sofian Maabout and
Mourad Ykhlef},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {A Family of Nested Query Languages for Semi-structured Data},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {13--30},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_2},
doi = {10.1007/3-540-46564-2\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BidoitMY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BiskupP00,
author = {Joachim Biskup and
Torsten Polle},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Decomposition of Database Classes under Path Functional Dependencies
and Onto Constraints},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {31--49},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_3},
doi = {10.1007/3-540-46564-2\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BiskupP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CiacciaMPT00,
author = {Paolo Ciaccia and
Danilo Montesi and
Wilma Penzo and
Alberto Trombetta},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Imprecision and User Preferences in Multimedia Queries: {A} Generic
Algebraic Approach},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {50--71},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_4},
doi = {10.1007/3-540-46564-2\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/CiacciaMPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DekhtyarDSDS00,
author = {Michael I. Dekhtyar and
Alexander Ja. Dikovsky and
Sergey M. Dudakov and
Nicolas Spyratos},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Maximal Expansions of Database Updates},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {72--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_5},
doi = {10.1007/3-540-46564-2\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DekhtyarDSDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DemetrovicsKM00,
author = {J{\'{a}}nos Demetrovics and
Gyula O. H. Katona and
Dezs{\"{o}} Mikl{\'{o}}s},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Error-Correcting Keys in Relational Databases},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {88--93},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_6},
doi = {10.1007/3-540-46564-2\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DemetrovicsKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/EiterLW00,
author = {Thomas Eiter and
Thomas Lukasiewicz and
Michael Walter},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Extension of the Relational Algebra to Probabilistic Complex Values},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {94--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_7},
doi = {10.1007/3-540-46564-2\_7},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/EiterLW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Goldin00,
author = {Dina Q. Goldin},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Persistent Turing Machines as a Model of Interactive Computation},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {116--135},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_8},
doi = {10.1007/3-540-46564-2\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Goldin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Hartmann00,
author = {Sven Hartmann},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {On Interactions of Cardinality Constraints, Key, and Functional Dependencies},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {136--155},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_9},
doi = {10.1007/3-540-46564-2\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Hartmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/LeontjevS00,
author = {Alexander Leontjev and
Vladimir Yu. Sazonov},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Capturing {LOGSPACE} over Hereditarily-Finite Sets},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {156--175},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_10},
doi = {10.1007/3-540-46564-2\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/LeontjevS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MatosM00,
author = {Pedro A. de Matos and
Jo{\~{a}}o P. Martins},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Non-situation Calculus and Database Systems},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {176--191},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_11},
doi = {10.1007/3-540-46564-2\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MatosM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MayolT00,
author = {Enric Mayol and
Ernest Teniente},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Dealing with Modification Requests During View Updating and Integrity
Constraint Maintenance},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {192--212},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_12},
doi = {10.1007/3-540-46564-2\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MayolT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MiuraSM00,
author = {Takao Miura and
Isamu Shioya and
Mikihiro Mori},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Making Decision Trees More Accurate by Losing Information},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {213--225},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_13},
doi = {10.1007/3-540-46564-2\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MiuraSM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/OsorioZ00,
author = {Mauricio Osorio and
Fernando Zacar{\'{\i}}as Flores},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {High-Level Logic Programming},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {226--240},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_14},
doi = {10.1007/3-540-46564-2\_14},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/OsorioZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Seipel00,
author = {Dietmar Seipel},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Clausal Deductive Databases and a General Framework for Semantics
in Disjunctive Deductive Databases},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {241--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_15},
doi = {10.1007/3-540-46564-2\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Seipel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Serdyuk00,
author = {Yury P. Serdyuk},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Partial Evaluations in a Set-Theoretic Query Language for the {WWW}},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {260--274},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_16},
doi = {10.1007/3-540-46564-2\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Serdyuk00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Tichler00,
author = {Kriszti{\'{a}}n Tichler},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Minimum Matrix Representation of Some Key System},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {275--287},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_17},
doi = {10.1007/3-540-46564-2\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Tichler00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Torres00,
author = {Jose Maria Turull Torres},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Reflective Relational Machines Working on Homogeneous Databases},
booktitle = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
pages = {288--303},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2\_18},
doi = {10.1007/3-540-46564-2\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Torres00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2000,
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Foundations of Information and Knowledge Systems, First International
Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1762},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46564-2},
doi = {10.1007/3-540-46564-2},
isbn = {3-540-67100-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-04-23 18:48 CEST from data curated 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:
