Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.