Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Juha Kontinen
@inproceedings{DBLP:conf/aaai/HankalaHKV24,
author = {Teemu Hankala and
Miika Hannula and
Juha Kontinen and
Jonni Virtema},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Complexity of Neural Network Training and {ETR:} Extensions with Effectively
Continuous Functions},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {12278--12285},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i11.29118},
doi = {10.1609/AAAI.V38I11.29118},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HankalaHKV24.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}
}
@article{DBLP:journals/jsyml/Kontinen023,
author = {Juha Kontinen and
Fan Yang},
title = {Complete Logics for Elementary Team Properties},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {579--619},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.80},
doi = {10.1017/JSL.2022.80},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kontinen023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HannulaHKMMV23,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen and
Yasir Mahmood and
Arne Meier and
Jonni Virtema},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Logics with Probabilistic Team Semantics and the Boolean Negation},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {665--680},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_45},
doi = {10.1007/978-3-031-43619-2\_45},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HannulaHKMMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarlagHKPV23,
author = {Timon Barlag and
Miika Hannula and
Juha Kontinen and
Nina Pardal and
Jonni Virtema},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Unified Foundations of Team Semantics via Semirings},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {75--85},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/8},
doi = {10.24963/KR.2023/8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BarlagHKPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KontinenSV23,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {60:1--60:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.60},
doi = {10.4230/LIPICS.MFCS.2023.60},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KontinenSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-00541,
author = {Juha Kontinen and
Yasir Mahmood and
Arne Meier and
Heribert Vollmer},
title = {Parameterized Complexity of Weighted Team Definability},
journal = {CoRR},
volume = {abs/2302.00541},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.00541},
doi = {10.48550/ARXIV.2302.00541},
eprinttype = {arXiv},
eprint = {2302.00541},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-00541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-07926,
author = {Timon Barlag and
Miika Hannula and
Juha Kontinen and
Nina Pardal and
Jonni Virtema},
title = {Unified Foundations of Team Semantics via Semirings},
journal = {CoRR},
volume = {abs/2303.07926},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.07926},
doi = {10.48550/ARXIV.2303.07926},
eprinttype = {arXiv},
eprint = {2303.07926},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-07926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10915,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
title = {Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity},
journal = {CoRR},
volume = {abs/2304.10915},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10915},
doi = {10.48550/ARXIV.2304.10915},
eprinttype = {arXiv},
eprint = {2304.10915},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11833,
author = {Teemu Hankala and
Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Complexity of Neural Network Training and {ETR:} Extensions with Effectively
Continuous Functions},
journal = {CoRR},
volume = {abs/2305.11833},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11833},
doi = {10.48550/ARXIV.2305.11833},
eprinttype = {arXiv},
eprint = {2305.11833},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00420,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen and
Yasir Mahmood and
Arne Meier and
Jonni Virtema},
title = {Logics with probabilistic team semantics and the Boolean negation},
journal = {CoRR},
volume = {abs/2306.00420},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00420},
doi = {10.48550/ARXIV.2306.00420},
eprinttype = {arXiv},
eprint = {2306.00420},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06926,
author = {Lauri Hella and
Juha Kontinen and
Kerkko Luosto},
title = {Regular Representations of Uniform TC{\^{}}0},
journal = {CoRR},
volume = {abs/2309.06926},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06926},
doi = {10.48550/ARXIV.2309.06926},
eprinttype = {arXiv},
eprint = {2309.06926},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HerzigK22,
author = {Andreas Herzig and
Juha Kontinen},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {2-3},
pages = {145--147},
year = {2022},
url = {https://doi.org/10.1007/s10472-021-09782-y},
doi = {10.1007/S10472-021-09782-Y},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HerzigK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HannulaHK22,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen},
title = {On elementary logics for quantitative dependencies},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {10},
pages = {103104},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2022.103104},
doi = {10.1016/J.APAL.2022.103104},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HannulaHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KontinenMM22,
author = {Juha Kontinen and
Arne Meier and
Yasir Mahmood},
title = {A parameterized view on the complexity of dependence and independence
logic},
journal = {J. Log. Comput.},
volume = {32},
number = {8},
pages = {1624--1644},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac070},
doi = {10.1093/LOGCOM/EXAC070},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KontinenMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DurandKRV22,
author = {Arnaud Durand and
Juha Kontinen and
Nicolas de Rugy{-}Altherre and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Tractability Frontier of Data Complexity in Team Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {1},
pages = {3:1--3:21},
year = {2022},
url = {https://doi.org/10.1145/3471618},
doi = {10.1145/3471618},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DurandKRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KontinenMM22,
author = {Juha Kontinen and
Arne Meier and
Yasir Mahmood},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Parameterized View on the Complexity of Dependence Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {125--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_9},
doi = {10.1007/978-3-030-93100-1\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KontinenMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00576,
author = {Arnaud Durand and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Modular SAT-based techniques for reasoning tasks in team semantics},
journal = {CoRR},
volume = {abs/2204.00576},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00576},
doi = {10.48550/ARXIV.2204.00576},
eprinttype = {arXiv},
eprint = {2204.00576},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DurandHKV21,
author = {Arnaud Durand and
Anselm Haak and
Juha Kontinen and
Heribert Vollmer},
title = {Descriptive complexity of {\#}P functions: {A} new perspective},
journal = {J. Comput. Syst. Sci.},
volume = {116},
pages = {40--54},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2020.04.002},
doi = {10.1016/J.JCSS.2020.04.002},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DurandHKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HannulaKLV21,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {On the Complexity of Horn and Krom Fragments of Second-Order Boolean
Logic},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {27:1--27:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.27},
doi = {10.4230/LIPICS.CSL.2021.27},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HannulaKLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VirtemaHFK021,
author = {Jonni Virtema and
Jana Hofmann and
Bernd Finkbeiner and
Juha Kontinen and
Fan Yang},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {52:1--52:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.52},
doi = {10.4230/LIPICS.FSTTCS.2021.52},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VirtemaHFK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenS21,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {On the Expressive Power of TeamLTL and First-Order Team Logic over
Hyperproperties},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {302--318},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_19},
doi = {10.1007/978-3-030-88853-4\_19},
timestamp = {Wed, 07 Dec 2022 23:14:05 +0100},
biburl = {https://dblp.org/rec/conf/wollic/KontinenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-02466,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
title = {On the Interaction of Functional and Inclusion Dependencies with Independence
Atoms},
journal = {CoRR},
volume = {abs/2101.02466},
year = {2021},
url = {https://arxiv.org/abs/2101.02466},
eprinttype = {arXiv},
eprint = {2101.02466},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-02466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04313,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen},
title = {On elementary logics for quantitative dependencies},
journal = {CoRR},
volume = {abs/2104.04313},
year = {2021},
url = {https://arxiv.org/abs/2104.04313},
eprinttype = {arXiv},
eprint = {2104.04313},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-09342,
author = {Juha Kontinen and
Arne Meier and
Yasir Mahmood},
title = {A Parameterized View on the Complexity of Dependence Logic},
journal = {CoRR},
volume = {abs/2109.09342},
year = {2021},
url = {https://arxiv.org/abs/2109.09342},
eprinttype = {arXiv},
eprint = {2109.09342},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-09342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11109,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m},
title = {On the Expressive Power of TeamLTL and First-Order Team Logic over
Hyperproperties},
journal = {CoRR},
volume = {abs/2110.11109},
year = {2021},
url = {https://arxiv.org/abs/2110.11109},
eprinttype = {arXiv},
eprint = {2110.11109},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HannulaKV20,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Polyteam semantics},
journal = {J. Log. Comput.},
volume = {30},
number = {8},
pages = {1541--1566},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa048},
doi = {10.1093/LOGCOM/EXAA048},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HannulaKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HannulaKBV20,
author = {Miika Hannula and
Juha Kontinen and
Jan Van den Bussche and
Jonni Virtema},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Descriptive complexity of real computation and probabilistic independence
logic},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {550--563},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394773},
doi = {10.1145/3373718.3394773},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/HannulaKBV20.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}
}
@article{DBLP:journals/corr/abs-2003-00644,
author = {Miika Hannula and
Juha Kontinen and
Jan Van den Bussche and
Jonni Virtema},
title = {Descriptive complexity of real computation and probabilistic independence
logic},
journal = {CoRR},
volume = {abs/2003.00644},
year = {2020},
url = {https://arxiv.org/abs/2003.00644},
eprinttype = {arXiv},
eprint = {2003.00644},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03867,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
title = {On the Complexity of Horn and Krom Fragments of Second-Order Boolean
Logic},
journal = {CoRR},
volume = {abs/2007.03867},
year = {2020},
url = {https://arxiv.org/abs/2007.03867},
eprinttype = {arXiv},
eprint = {2007.03867},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03311,
author = {Jonni Virtema and
Jana Hofmann and
Bernd Finkbeiner and
Juha Kontinen and
Fan Yang},
title = {Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity},
journal = {CoRR},
volume = {abs/2010.03311},
year = {2020},
url = {https://arxiv.org/abs/2010.03311},
eprinttype = {arXiv},
eprint = {2010.03311},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CoranderHKPV19,
author = {Jukka Corander and
Antti Hyttinen and
Juha Kontinen and
Johan Pensar and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {A logical approach to context-specific independence},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {9},
pages = {975--992},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.04.004},
doi = {10.1016/J.APAL.2019.04.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CoranderHKPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HannulaHKKV19,
author = {Miika Hannula and
{\AA}sa Hirvonen and
Juha Kontinen and
Vadim Kulikov and
Jonni Virtema},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Facets of Distribution Identities in Probabilistic Team Semantics},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {304--320},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_20},
doi = {10.1007/978-3-030-19570-0\_20},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/HannulaHKKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HaakKMVY19,
author = {Anselm Haak and
Juha Kontinen and
Fabian M{\"{u}}ller and
Heribert Vollmer and
Fan Yang},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Counting of Teams in First-Order Team Logics},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {19:1--19:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.19},
doi = {10.4230/LIPICS.MFCS.2019.19},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HaakKMVY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/HirvonenKP19,
author = {{\AA}sa Hirvonen and
Juha Kontinen and
Arno Pauly},
editor = {T. V. Gopal and
Junzo Watada},
title = {Continuous Team Semantics},
booktitle = {Theory and Applications of Models of Computation - 15th Annual Conference,
{TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11436},
pages = {262--278},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14812-6\_16},
doi = {10.1007/978-3-030-14812-6\_16},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/HirvonenKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenY19,
author = {Juha Kontinen and
Fan Yang},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Logics for First-Order Team Properties},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {392--414},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_24},
doi = {10.1007/978-3-662-59533-6\_24},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00246,
author = {Anselm Haak and
Juha Kontinen and
Fabian M{\"{u}}ller and
Heribert Vollmer and
Fan Yang},
title = {Counting of Teams in First-Order Team Logics},
journal = {CoRR},
volume = {abs/1902.00246},
year = {2019},
url = {http://arxiv.org/abs/1902.00246},
eprinttype = {arXiv},
eprint = {1902.00246},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GradelKKV19,
author = {Erich Gr{\"{a}}del and
Phokion G. Kolaitis and
Juha Kontinen and
Heribert Vollmer},
title = {Logics for Dependence and Independence (Dagstuhl Seminar 19031)},
journal = {Dagstuhl Reports},
volume = {9},
number = {1},
pages = {28--46},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.1.28},
doi = {10.4230/DAGREP.9.1.28},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GradelKKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DurandHKMV18,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Approximation and dependence via multiteam semantics},
journal = {Ann. Math. Artif. Intell.},
volume = {83},
number = {3-4},
pages = {297--320},
year = {2018},
url = {https://doi.org/10.1007/s10472-017-9568-4},
doi = {10.1007/S10472-017-9568-4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DurandHKMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HannulaKVV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
title = {Complexity of Propositional Logics in Team Semantic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {2:1--2:14},
year = {2018},
url = {https://doi.org/10.1145/3157054},
doi = {10.1145/3157054},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HannulaKVV18.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/lfcs/HannulaKV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Polyteam Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {190--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_12},
doi = {10.1007/978-3-319-72056-2\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HannulaKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pgm/HyttinenPKC18,
author = {Antti Hyttinen and
Johan Pensar and
Juha Kontinen and
Jukka Corander},
editor = {Milan Studen{\'{y}} and
V{\'{a}}clav Kratochv{\'{\i}}l},
title = {Structure Learning for Bayesian Networks over Labeled DAGs},
booktitle = {International Conference on Probabilistic Graphical Models, {PGM}
2018, 11-14 September 2018, Prague, Czech Republic},
series = {Proceedings of Machine Learning Research},
volume = {72},
pages = {133--144},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v72/hyttinen18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:22 +0200},
biburl = {https://dblp.org/rec/conf/pgm/HyttinenPKC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02180,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Probabilistic team semantics},
journal = {CoRR},
volume = {abs/1803.02180},
year = {2018},
url = {http://arxiv.org/abs/1803.02180},
eprinttype = {arXiv},
eprint = {1803.02180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05873,
author = {Miika Hannula and
{\AA}sa Hirvonen and
Juha Kontinen and
Vadim Kulikov and
Jonni Virtema},
title = {Facets of Distribution Identities in Probabilistic Team Semantics},
journal = {CoRR},
volume = {abs/1812.05873},
year = {2018},
url = {http://arxiv.org/abs/1812.05873},
eprinttype = {arXiv},
eprint = {1812.05873},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-05873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EngstromKV17,
author = {Fredrik Engstr{\"{o}}m and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Dependence logic with generalized quantifiers: Axiomatizations},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {90--102},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.010},
doi = {10.1016/J.JCSS.2017.03.010},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EngstromKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KontinenMSV17,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
title = {Modal independence logic},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1333--1352},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw019},
doi = {10.1093/LOGCOM/EXW019},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KontinenMSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HannulaKL17,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
editor = {Thomas Eiter and
David Sands},
title = {On the Interaction of Inclusion Dependencies with Independence Atoms},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {212--226},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/2pgn},
doi = {10.29007/2PGN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HannulaKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kontinen17,
author = {Juha Kontinen},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {Computational Aspects of Logics in Team Semantics (Tutorial)},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {1:1--1:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.1},
doi = {10.4230/LIPICS.STACS.2017.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Kontinen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaKV17,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Polyteam Semantics},
journal = {CoRR},
volume = {abs/1704.02158},
year = {2017},
url = {http://arxiv.org/abs/1704.02158},
eprinttype = {arXiv},
eprint = {1704.02158},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HannulaKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HannulaK16,
author = {Miika Hannula and
Juha Kontinen},
title = {A finite axiomatization of conditional independence and inclusion
dependencies},
journal = {Inf. Comput.},
volume = {249},
pages = {121--137},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.04.001},
doi = {10.1016/J.IC.2016.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HannulaK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HannulaKL16,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
title = {On the finite and general implication problems of independence atoms
and keys},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {5},
pages = {856--877},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2016.02.007},
doi = {10.1016/J.JCSS.2016.02.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HannulaKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0001HKV16,
author = {Arnaud Durand and
Anselm Haak and
Juha Kontinen and
Heribert Vollmer},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Descriptive Complexity of {\#}AC\({}^{\mbox{0}}\) Functions},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {20:1--20:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.20},
doi = {10.4230/LIPICS.CSL.2016.20},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/0001HKV16.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/mfcs/KontinenKV16,
author = {Juha Kontinen and
Antti Kuusisto and
Jonni Virtema},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Decidability of Predicate Logics with Team Semantics},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {60:1--60:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.60},
doi = {10.4230/LIPICS.MFCS.2016.60},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KontinenKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CoranderHKPV16,
author = {Jukka Corander and
Antti Hyttinen and
Juha Kontinen and
Johan Pensar and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {A Logical Approach to Context-Specific Independence},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {165--182},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_11},
doi = {10.1007/978-3-662-52921-8\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CoranderHKPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HannulaKLV16,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On Quantified Propositional Logics and the Exponential Time Hierarchy},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {198--212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.14},
doi = {10.4204/EPTCS.226.14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaKLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AbramskyKVV16,
author = {Samson Abramsky and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
editor = {Samson Abramsky and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
title = {Introduction},
booktitle = {Dependence Logic, Theory and Applications},
pages = {1--3},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31803-5\_1},
doi = {10.1007/978-3-319-31803-5\_1},
timestamp = {Fri, 02 Nov 2018 09:27:04 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/AbramskyKVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/0001KV16,
author = {Arnaud Durand and
Juha Kontinen and
Heribert Vollmer},
editor = {Samson Abramsky and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
title = {Expressivity and Complexity of Dependence Logic},
booktitle = {Dependence Logic, Theory and Applications},
pages = {5--32},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31803-5\_2},
doi = {10.1007/978-3-319-31803-5\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/0001KV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0037838,
editor = {Samson Abramsky and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
title = {Dependence Logic, Theory and Applications},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31803-5},
doi = {10.1007/978-3-319-31803-5},
isbn = {978-3-319-31801-1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0037838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001HKV16,
author = {Arnaud Durand and
Anselm Haak and
Juha Kontinen and
Heribert Vollmer},
title = {Descriptive Complexity of {\#}AC\({}^{\mbox{0}}\) Functions},
journal = {CoRR},
volume = {abs/1604.06617},
year = {2016},
url = {http://arxiv.org/abs/1604.06617},
eprinttype = {arXiv},
eprint = {1604.06617},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001HKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DurandEKV15,
author = {Arnaud Durand and
Johannes Ebbing and
Juha Kontinen and
Heribert Vollmer},
title = {Dependence Logic with a Majority Quantifier},
journal = {J. Log. Lang. Inf.},
volume = {24},
number = {3},
pages = {289--305},
year = {2015},
url = {https://doi.org/10.1007/s10849-015-9218-3},
doi = {10.1007/S10849-015-9218-3},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DurandEKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HannulaK15,
author = {Miika Hannula and
Juha Kontinen},
title = {Hierarchies in independence and inclusion logic with strict semantics},
journal = {J. Log. Comput.},
volume = {25},
number = {3},
pages = {879--897},
year = {2015},
url = {https://doi.org/10.1093/logcom/exu057},
doi = {10.1093/LOGCOM/EXU057},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HannulaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KontinenMSV15,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
editor = {Stephan Kreutzer},
title = {A Van Benthem Theorem for Modal Team Semantics},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {277--291},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.277},
doi = {10.4230/LIPICS.CSL.2015.277},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KontinenMSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HannulaKVV15,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Complexity of Propositional Independence and Inclusion Logic},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {269--280},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_21},
doi = {10.1007/978-3-662-48057-1\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HannulaKVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DurandKRV15,
author = {Arnaud Durand and
Juha Kontinen and
Nicolas de Rugy{-}Altherre and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Javier Esparza and
Enrico Tronci},
title = {Tractability Frontier of Data Complexity in Team Semantics},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {73--85},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.6},
doi = {10.4204/EPTCS.193.6},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/DurandKRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Kontinen15,
author = {Juha Kontinen},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {On Natural Deduction in Dependence Logic},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {297--304},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.297},
doi = {10.1515/9781614516873.297},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Kontinen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HirvonenKKV15,
author = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {From the editors},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {VII--VIII},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.vii},
doi = {10.1515/9781614516873.VII},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HirvonenKKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035342,
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873},
doi = {10.1515/9781614516873},
isbn = {978-1-61451-687-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaKVV15,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
title = {Complexity of Propositional Independence and Inclusion Logic},
journal = {CoRR},
volume = {abs/1504.06135},
year = {2015},
url = {http://arxiv.org/abs/1504.06135},
eprinttype = {arXiv},
eprint = {1504.06135},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HannulaKVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001HKMV15,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Approximation and Dependence via Multiteam Semantics},
journal = {CoRR},
volume = {abs/1510.09040},
year = {2015},
url = {http://arxiv.org/abs/1510.09040},
eprinttype = {arXiv},
eprint = {1510.09040},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001HKMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GradelKVV15,
author = {Erich Gr{\"{a}}del and
Juha Kontinen and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
title = {Logics for Dependence and Independence (Dagstuhl Seminar 15261)},
journal = {Dagstuhl Reports},
volume = {5},
number = {6},
pages = {70--85},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.6.70},
doi = {10.4230/DAGREP.5.6.70},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GradelKVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-3321,
author = {Johannes Ebbing and
Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Heribert Vollmer},
title = {A Fragment of Dependence Logic Capturing Polynomial Time},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:3)2014},
doi = {10.2168/LMCS-10(3:3)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KontinenKLV14,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of two-variable dependence logic and IF-logic},
journal = {Inf. Comput.},
volume = {239},
pages = {237--253},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.08.004},
doi = {10.1016/J.IC.2014.08.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KontinenKLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KontinenS14,
author = {Juha Kontinen and
Jakub Szymanik},
title = {A characterization of definability of second-order generalized quantifiers
with applications to non-definability},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {6},
pages = {1152--1162},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2014.04.007},
doi = {10.1016/J.JCSS.2014.04.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KontinenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KontinenMSV14,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Modal Independence Logic},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {353--372},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Kontinen-Mueller-Schnoor-Vollmer.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KontinenMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/HannulaKL14,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
editor = {Jianzhong Li and
Xiaoyang Sean Wang and
Minos N. Garofalakis and
Ian Soboroff and
Torsten Suel and
Min Wang},
title = {On Independence Atoms and Keys},
booktitle = {Proceedings of the 23rd {ACM} International Conference on Conference
on Information and Knowledge Management, {CIKM} 2014, Shanghai, China,
November 3-7, 2014},
pages = {1229--1238},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661829.2662058},
doi = {10.1145/2661829.2662058},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/HannulaKL14.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}
}
@article{DBLP:journals/corr/HannulaK14,
author = {Miika Hannula and
Juha Kontinen},
title = {Hierarchies in independence and inclusion logic with strict semantics},
journal = {CoRR},
volume = {abs/1401.3232},
year = {2014},
url = {http://arxiv.org/abs/1401.3232},
eprinttype = {arXiv},
eprint = {1401.3232},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KontinenMSV14,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
title = {Modal Independence Logic},
journal = {CoRR},
volume = {abs/1404.0144},
year = {2014},
url = {http://arxiv.org/abs/1404.0144},
eprinttype = {arXiv},
eprint = {1404.0144},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KontinenMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaKL14,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
title = {On Independence Atoms and Keys},
journal = {CoRR},
volume = {abs/1404.4468},
year = {2014},
url = {http://arxiv.org/abs/1404.4468},
eprinttype = {arXiv},
eprint = {1404.4468},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KontinenKV14,
author = {Juha Kontinen and
Antti Kuusisto and
Jonni Virtema},
title = {Decidable Fragments of Logics Based on Team Semantics},
journal = {CoRR},
volume = {abs/1410.5037},
year = {2014},
url = {http://arxiv.org/abs/1410.5037},
eprinttype = {arXiv},
eprint = {1410.5037},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KontinenKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KontinenMSV14a,
author = {Juha Kontinen and
Julian{-}Steffen M{\"{u}}ller and
Henning Schnoor and
Heribert Vollmer},
title = {A Van Benthem Theorem for Modal Team Semantics},
journal = {CoRR},
volume = {abs/1410.6648},
year = {2014},
url = {http://arxiv.org/abs/1410.6648},
eprinttype = {arXiv},
eprint = {1410.6648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KontinenMSV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KontinenV13,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Axiomatizing first-order consequences in dependence logic},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {11},
pages = {1101--1117},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.05.006},
doi = {10.1016/J.APAL.2013.05.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KontinenV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EngstromK13,
author = {Fredrik Engstr{\"{o}}m and
Juha Kontinen},
title = {Characterizing quantifier extensions of dependence logic},
journal = {J. Symb. Log.},
volume = {78},
number = {1},
pages = {307--316},
year = {2013},
url = {https://doi.org/10.2178/jsl.7801210},
doi = {10.2178/JSL.7801210},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/EngstromK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KontinenVW13,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
Dag Westerst{\aa}hl},
title = {Editorial Introduction},
journal = {Stud Logica},
volume = {101},
number = {2},
pages = {233--236},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9484-5},
doi = {10.1007/S11225-013-9484-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KontinenVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GallianiHK13,
author = {Pietro Galliani and
Miika Hannula and
Juha Kontinen},
editor = {Simona Ronchi Della Rocca},
title = {Hierarchies in independence logic},
booktitle = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
2013, Torino, Italy},
series = {LIPIcs},
volume = {23},
pages = {263--280},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.CSL.2013.263},
doi = {10.4230/LIPICS.CSL.2013.263},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/GallianiHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EngstromKV13,
author = {Fredrik Engstr{\"{o}}m and
Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Dependence Logic with Generalized Quantifiers: Axiomatizations},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {138--152},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_14},
doi = {10.1007/978-3-642-39992-3\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EngstromKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenLV13,
author = {Juha Kontinen and
Sebastian Link and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Independence in Database Relations},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {179--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_17},
doi = {10.1007/978-3-642-39992-3\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/KontinenLV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-0611,
author = {Fredrik Engstr{\"{o}}m and
Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Dependence Logic with Generalized Quantifiers: Axiomatizations},
journal = {CoRR},
volume = {abs/1304.0611},
year = {2013},
url = {http://arxiv.org/abs/1304.0611},
eprinttype = {arXiv},
eprint = {1304.0611},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-0611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4391,
author = {Pietro Galliani and
Miika Hannula and
Juha Kontinen},
title = {Hierarchies in independence logic},
journal = {CoRR},
volume = {abs/1304.4391},
year = {2013},
url = {http://arxiv.org/abs/1304.4391},
eprinttype = {arXiv},
eprint = {1304.4391},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaK13,
author = {Miika Hannula and
Juha Kontinen},
title = {A finite axiomatization of conditional independence and inclusion
dependencies},
journal = {CoRR},
volume = {abs/1309.4927},
year = {2013},
url = {http://arxiv.org/abs/1309.4927},
eprinttype = {arXiv},
eprint = {1309.4927},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HannulaK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbramskyKVV13,
author = {Samson Abramsky and
Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
Heribert Vollmer},
title = {Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)},
journal = {Dagstuhl Reports},
volume = {3},
number = {2},
pages = {45--54},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.2.45},
doi = {10.4230/DAGREP.3.2.45},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbramskyKVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DurandK12,
author = {Arnaud Durand and
Juha Kontinen},
title = {Hierarchies in Dependence Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {4},
pages = {31:1--31:21},
year = {2012},
url = {https://doi.org/10.1145/2362355.2362359},
doi = {10.1145/2362355.2362359},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DurandK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0176,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Axiomatizing first order consequences in dependence logic},
journal = {CoRR},
volume = {abs/1208.0176},
year = {2012},
url = {http://arxiv.org/abs/1208.0176},
eprinttype = {arXiv},
eprint = {1208.0176},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KontinenN11,
author = {Juha Kontinen and
Ville Nurmi},
title = {Team Logic and Second-Order Logic},
journal = {Fundam. Informaticae},
volume = {106},
number = {2-4},
pages = {259--272},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-386},
doi = {10.3233/FI-2011-386},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KontinenN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KontinenN11,
author = {Juha Kontinen and
Hannu Niemist{\"{o}}},
title = {Extensions of {MSO} and the monadic counting hierarchy},
journal = {Inf. Comput.},
volume = {209},
number = {1},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.09.002},
doi = {10.1016/J.IC.2010.09.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KontinenN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KontinenV11,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Erratum to: On Definability in Dependence Logic},
journal = {J. Log. Lang. Inf.},
volume = {20},
number = {1},
pages = {133--134},
year = {2011},
url = {https://doi.org/10.1007/s10849-010-9125-6},
doi = {10.1007/S10849-010-9125-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KontinenV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KontinenV11,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {A Remark on Negation in Dependence Logic},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {55--65},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-036},
doi = {10.1215/00294527-2010-036},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KontinenV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DurandEKV11,
author = {Arnaud Durand and
Johannes Ebbing and
Juha Kontinen and
Heribert Vollmer},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Dependence logic with a majority quantifier},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {252--263},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.252},
doi = {10.4230/LIPICS.FSTTCS.2011.252},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DurandEKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KontinenKLV11,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of Two-Variable Dependence Logic and IF-Logic},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {289--298},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.14},
doi = {10.1109/LICS.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KontinenKLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenS11,
author = {Juha Kontinen and
Jakub Szymanik},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Characterizing Definability of Second-Order Generalized Quantifiers},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {187--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_20},
doi = {10.1007/978-3-642-20920-8\_20},
timestamp = {Tue, 01 Jun 2021 15:22:31 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3148,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of two-variable Dependence Logic and IF-Logic},
journal = {CoRR},
volume = {abs/1104.3148},
year = {2011},
url = {http://arxiv.org/abs/1104.3148},
eprinttype = {arXiv},
eprint = {1104.3148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-3324,
author = {Arnaud Durand and
Juha Kontinen},
title = {Hierarchies in Dependence Logic},
journal = {CoRR},
volume = {abs/1105.3324},
year = {2011},
url = {http://arxiv.org/abs/1105.3324},
eprinttype = {arXiv},
eprint = {1105.3324},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-3324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4750,
author = {Arnaud Durand and
Johannes Ebbing and
Juha Kontinen and
Heribert Vollmer},
title = {Dependence logic with a majority quantifier},
journal = {CoRR},
volume = {abs/1109.4750},
year = {2011},
url = {http://arxiv.org/abs/1109.4750},
eprinttype = {arXiv},
eprint = {1109.4750},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kontinen10,
author = {Juha Kontinen},
title = {Definability of second order generalized quantifiers},
journal = {Arch. Math. Log.},
volume = {49},
number = {3},
pages = {379--398},
year = {2010},
url = {https://doi.org/10.1007/s00153-010-0177-8},
doi = {10.1007/S00153-010-0177-8},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Kontinen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2893,
author = {Juha Kontinen and
Heribert Vollmer},
title = {On Second-Order Monadic Monoidal and Groupoidal Quantifiers},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(3:25)2010},
doi = {10.2168/LMCS-6(3:25)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KontinenV09,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {On Definability in Dependence Logic},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {317--332},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9082-0},
doi = {10.1007/S10849-009-9082-0},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KontinenV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Kontinen09,
author = {Juha Kontinen},
title = {A logical characterization of the counting hierarchy},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {1},
pages = {7:1--7:21},
year = {2009},
url = {https://doi.org/10.1145/1459010.1459017},
doi = {10.1145/1459010.1459017},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Kontinen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenN09,
author = {Juha Kontinen and
Ville Nurmi},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Team Logic and Second-Order Logic},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {230--241},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_19},
doi = {10.1007/978-3-642-02261-6\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KontinenS08,
author = {Juha Kontinen and
Jakub Szymanik},
title = {A Remark on Collective Quantification},
journal = {J. Log. Lang. Inf.},
volume = {17},
number = {2},
pages = {131--140},
year = {2008},
url = {https://doi.org/10.1007/s10849-007-9055-0},
doi = {10.1007/S10849-007-9055-0},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KontinenS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenV08,
author = {Juha Kontinen and
Heribert Vollmer},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {On Second-Order Monadic Groupoidal Quantifiers},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {238--248},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_21},
doi = {10.1007/978-3-540-69937-8\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kontinen06,
author = {Juha Kontinen},
title = {The hierarchy theorem for second order generalized quantifiers},
journal = {J. Symb. Log.},
volume = {71},
number = {1},
pages = {188--202},
year = {2006},
url = {https://doi.org/10.2178/jsl/1140641168},
doi = {10.2178/JSL/1140641168},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kontinen06.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.
last updated on 2024-04-16 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
