From 0449b1d51e2aaa30ac2aac5efed77afff5aac85c Mon Sep 17 00:00:00 2001 From: Arne Meier Date: Fri, 19 Apr 2024 08:35:28 +0200 Subject: [PATCH] bibs update --- bibliography/My_Conference_Publications.bib | 77 +++- bibliography/My_Editorship.bib | 19 + bibliography/My_Journal_Publications.bib | 32 +- bibliography/conf.html | 145 ++++++- bibliography/editorship.html | 431 ++++++++++++++++++++ bibliography/journal.html | 48 ++- 6 files changed, 707 insertions(+), 45 deletions(-) create mode 100644 bibliography/My_Editorship.bib create mode 100644 bibliography/editorship.html diff --git a/bibliography/My_Conference_Publications.bib b/bibliography/My_Conference_Publications.bib index 73a9ba8..a560919 100644 --- a/bibliography/My_Conference_Publications.bib +++ b/bibliography/My_Conference_Publications.bib @@ -1,26 +1,77 @@ %% This BibTeX bibliography file was created using BibDesk. %% http://bibdesk.sourceforge.net/ -%% Created for Arne Meier at 2023-05-04 11:52:18 +0200 +%% Created for Arne Meier at 2024-04-18 12:53:08 +0200 %% Saved with string encoding Unicode (UTF-8) -@inproceedings{ijcai23, - author = {Johannes K. Fichte and Markus Hecher and Yasir Mahmood and Arne Meier}, +@inproceedings{DBLP:conf/ijcai/HecherMMS24, + author = {Markus Hecher and Yasir Mahmood and Arne Meier and Johannes Schmidt}, booktitle = {{IJCAI}}, - date-added = {2023-05-04 11:48:26 +0200}, - date-modified = {2023-05-04 11:49:32 +0200}, + date-added = {2024-04-18 12:53:02 +0200}, + date-modified = {2024-04-18 12:53:02 +0200}, + note = {accepted for publication}, + publisher = {ijcai.org}, + title = {Quantitative Claim-Centric Reasoning in Logic-Based Argumentation}, + year = {2024}} + +@inproceedings{DBLP:conf/aaai/FrohlichM24, + author = {Nicolas Fr{\"{o}}hlich and Arne Meier}, + booktitle = {{AAAI}}, + date-added = {2024-04-18 12:51:47 +0200}, + date-modified = {2024-04-18 12:51:47 +0200}, + pages = {10517--10524}, + publisher = {{AAAI} Press}, + title = {Submodel Enumeration for {CTL} Is Hard}, + year = {2024}} + +@inproceedings{fm24, + author = {Nicolas Fr{\"{o}}hlich and Arne Meier}, + booktitle = {{AAAI}}, + date-added = {2024-01-15 19:26:10 +0100}, + date-modified = {2024-01-15 19:26:50 +0100}, + publisher = {{AAAI} Press}, + title = {Submodel Enumeration for CTL Is Hard}, + year = {2024}} + +@inproceedings{DBLP:conf/foiks/0001HKMV18, + author = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema}, + booktitle = {FoIKS}, + date-added = {2023-08-22 15:49:49 +0800}, + date-modified = {2023-08-22 15:49:49 +0800}, + pages = {186--206}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + title = {Probabilistic Team Semantics}, + volume = {10833}, + year = {2018}} + +@inproceedings{DBLP:conf/jelia/HannulaHKMMV23, + author = {Miika Hannula and Minna Hirvonen and Juha Kontinen and Yasir Mahmood and Arne Meier and Jonni Virtema}, + booktitle = {{JELIA}}, + pages = {665--680}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + title = {Logics with Probabilistic Team Semantics and the Boolean Negation}, + volume = {14281}, + year = {2023}} + +@inproceedings{HKMM23, + author = {Markus Hecher and Johannes K. Fichte and Yasir Mahmood and Arne Meier}, + booktitle = {Proc. IJCAI 2023}, + date-added = {2023-06-27 11:32:33 +0200}, + date-modified = {2023-06-27 11:33:22 +0200}, title = {Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation}, year = {2023}} @inproceedings{DBLP:conf/aiml/FrohlichM22, author = {Nicolas Fr{\"{o}}hlich and Arne Meier}, booktitle = {AiML}, - date-added = {2023-05-04 11:48:05 +0200}, - date-modified = {2023-05-04 11:48:05 +0200}, + date-added = {2023-06-27 11:31:31 +0200}, + date-modified = {2023-06-27 11:31:31 +0200}, pages = {391--406}, publisher = {College Publications}, title = {Submodel Enumeration of Kripke Structures in Modal Logic}, @@ -146,18 +197,6 @@ @inproceedings{DBLP:conf/foiks/0001MR18 year = {2018}, bdsk-url-1 = {https://doi.org/10.1007/978-3-319-30024-5_15}} -@inproceedings{DBLP:conf/foiks/0001HKMV18, - author = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema}, - booktitle = {Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018. Proceedings}, - date-added = {2018-03-22 16:02:08 +0000}, - date-modified = {2018-03-22 16:04:04 +0000}, - editor = {Flavio Ferrarotti and Stefan Woltran}, - publisher = {Springer}, - series = {Lecture Notes in Computer Science}, - title = {Probabilistic Team Semantics}, - year = {2018}, - bdsk-url-1 = {https://doi.org/10.1007/978-3-319-30024-5_15}} - @inproceedings{DBLP:conf/mfcs/HellaKMV17, author = {Lauri Hella and Antti Kuusisto and Arne Meier and Jonni Virtema}, bibsource = {dblp computer science bibliography, https://dblp.org}, diff --git a/bibliography/My_Editorship.bib b/bibliography/My_Editorship.bib new file mode 100644 index 0000000..11023e3 --- /dev/null +++ b/bibliography/My_Editorship.bib @@ -0,0 +1,19 @@ +%% This BibTeX bibliography file was created using BibDesk. +%% http://bibdesk.sourceforge.net/ + +%% Created for Arne Meier at 2024-04-18 12:51:34 +0200 + + +%% Saved with string encoding Unicode (UTF-8) + + + +@proceedings{DBLP:conf/foiks/2024, + date-added = {2024-04-18 12:51:33 +0200}, + date-modified = {2024-04-18 12:51:33 +0200}, + editor = {Arne Meier and Magdalena Ortiz}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + title = {Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings}, + volume = {14589}, + year = {2024}} diff --git a/bibliography/My_Journal_Publications.bib b/bibliography/My_Journal_Publications.bib index 68d0ffb..f4f803c 100644 --- a/bibliography/My_Journal_Publications.bib +++ b/bibliography/My_Journal_Publications.bib @@ -1,18 +1,41 @@ %% This BibTeX bibliography file was created using BibDesk. %% http://bibdesk.sourceforge.net/ -%% Created for Arne Meier at 2023-05-04 11:50:33 +0200 +%% Created for Arne Meier at 2023-08-22 15:49:04 +0800 %% Saved with string encoding Unicode (UTF-8) +@article{10.1145/3582499, + abstract = {Argumentation is a well-established formalism dealing with conflicting information by generating and comparing arguments. It has been playing a major role in AI for decades. In logic-based argumentation, we explore the internal structure of an argument. Informally, a set of formulas is the support for a given claim if it is consistent, subset-minimal, and implies the claim. In such a case, the pair of the support and the claim together is called an argument. In this article, we study the propositional variants of the following three computational tasks studied in argumentation: ARG (exists a support for a given claim with respect to a given set of formulas), ARG-Check (is a given set a support for a given claim), and ARG-Rel (similarly as ARG plus requiring an additionally given formula to be contained in the support). ARG-Check is complete for the complexity class DP, and the other two problems are known to be complete for the second level of the polynomial hierarchy (Creignou et al. 2014 and Parson et al., 2003) and, accordingly, are highly intractable. Analyzing the reason for this intractability, we perform a two-dimensional classification: First, we consider all possible propositional fragments of the problem within Schaefer's framework (STOC 1978) and then study different parameterizations for each of the fragments. We identify a list of reasonable structural parameters (size of the claim, support, knowledge base) that are connected to the aforementioned decision problems. Eventually, we thoroughly draw a fine border of parameterized intractability for each of the problems showing where the problems are fixed-parameter tractable and when this exactly stops. Surprisingly, several cases are of very high intractability (para-NP and beyond).}, + address = {New York, NY, USA}, + articleno = {26}, + author = {Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, + date-added = {2023-06-27 11:30:07 +0200}, + date-modified = {2023-06-27 11:30:07 +0200}, + doi = {10.1145/3582499}, + issn = {1529-3785}, + issue_date = {July 2023}, + journal = {ACM Trans. Comput. Logic}, + keywords = {Parameterized complexity, Schaefer's framework, logic-based argumentation}, + month = {may}, + number = {3}, + numpages = {25}, + publisher = {Association for Computing Machinery}, + title = {Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework}, + url = {https://doi.org/10.1145/3582499}, + volume = {24}, + year = {2023}, + bdsk-url-1 = {https://doi.org/10.1145/3582499}} + @article{Haak:2023aa, + abstract = {Logarithmic space-bounded complexity classes such as {\$}{\$}{$\backslash$}textbf{\{}L{\}} {\$}{\$}and {\$}{\$}{$\backslash$}textbf{\{}NL{\}} {\$}{\$}play a central role in space-bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the structure of computational problems such as computing the determinant and counting paths in directed acyclic graphs. Though parameterised complexity theory was initiated roughly three decades ago by Downey and Fellows, a satisfactory study of parameterised logarithmic space-bounded computation was developed only in the last decade by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space-bounded models developed by Elberfeld, Stockhusen and Tantau. They defined the operators {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}textbf{\{}W{\}}{\}}{\$}{\$}and {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{$\backslash$}beta {\$}{\$}for parameterised space complexity classes by allowing bounded nondeterminism with multiple-read and read-once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}textbf{\{}W{\}}{\}}{\$}{\$}and {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{$\backslash$}beta {\$}{\$}by Stockhusen and Tantau, we introduce variants based on tail-nondeterminism, {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{\{}{$\backslash$}textbf{\{}W{\}}{\}}{$[$}1{$]$}{\}}{\$}{\$}and {\$}{\$}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}beta {\{}{$\backslash$}textbf{\{}tail{\}}{\}}{\}}{\$}{\$}. Then, we consider counting versions of all four operators and apply them to the class {\$}{\$}{$\backslash$}textbf{\{}L{\}} {\$}{\$}. We obtain several natural complete problems for the resulting classes: counting of paths in digraphs, counting first-order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0, 1)-matrices is {\$}{\$}{$\backslash$}{\#}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}beta {\{}{$\backslash$}textbf{\{}tail{\}}{\}}{\}}{$\backslash$}textbf{\{}L{\}} {\$}{\$}-hard and can be written as the difference of two functions in {\$}{\$}{$\backslash$}{\#}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}beta {\{}{$\backslash$}textbf{\{}tail{\}}{\}}{\}}{$\backslash$}textbf{\{}L{\}} {\$}{\$}. These problems exhibit the richness of the introduced counting classes. Our results further indicate interesting structural characteristics of these classes. For example, we show that the closure of {\$}{\$}{$\backslash$}{\#}{$\backslash$}textbf{\{}para{\}}{\_}{\{}{$\backslash$}beta {\{}{$\backslash$}textbf{\{}tail{\}}{\}}{\}}{$\backslash$}textbf{\{}L{\}} {\$}{\$}under parameterised logspace parsimonious reductions coincides with {\$}{\$}{$\backslash$}{\#}{$\backslash$}textbf{\{}para{\}}{\_}{$\backslash$}beta {$\backslash$}textbf{\{}L{\}} {\$}{\$}. In other words, in the setting of read-once access to nondeterministic bits, tail-nondeterminism coincides with unbounded nondeterminism modulo parameterised reductions. Initiating the study of closure properties of these parameterised logspace counting classes, we show that all introduced classes are closed under addition and multiplication, and those without tail-nondeterminism are closed under parameterised logspace parsimonious reductions. Finally, we want to emphasise the significance of this topic by providing a promising outlook highlighting several open problems and directions for further research.}, author = {Haak, Anselm and Meier, Arne and Prakash, Om and Rao, B. V. Raghavendra}, date = {2023/04/21}, - date-added = {2023-05-04 11:50:21 +0200}, - date-modified = {2023-05-04 11:50:29 +0200}, + date-added = {2023-06-27 11:28:33 +0200}, + date-modified = {2023-06-27 11:28:33 +0200}, doi = {10.1007/s00453-023-01114-2}, id = {Haak2023}, isbn = {1432-0541}, @@ -25,12 +48,11 @@ @article{Haak:2023aa @article{10.1093/logcom/exac070, author = {Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, date-added = {2022-11-17 21:20:33 +0200}, - date-modified = {2022-11-17 21:21:17 +0200}, + date-modified = {2023-08-22 15:49:04 +0800}, doi = {10.1093/logcom/exac070}, eprint = {https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac070/47041664/exac070.pdf}, issn = {0955-792X}, journal = {J. Log. Comput.}, - note = {exac070}, title = {{A parameterized view on the complexity of dependence and independence logic}}, url = {https://doi.org/10.1093/logcom/exac070}, year = {2022}, diff --git a/bibliography/conf.html b/bibliography/conf.html index bef40c7..430e6fe 100644 --- a/bibliography/conf.html +++ b/bibliography/conf.html @@ -404,6 +404,131 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - -
Hecher M, Mahmood Y, Meier A and Schmidt J (2024), "Quantitative Claim-Centric Reasoning in Logic-Based Argumentation", In IJCAI. ijcai.org. +

[BibTeX]

+
BibTeX: +
+@inproceedings{DBLP:conf/ijcai/HecherMMS24,
+  author = {Markus Hecher and Yasir Mahmood and Arne Meier and Johannes Schmidt},
+  title = {Quantitative Claim-Centric Reasoning in Logic-Based Argumentation},
+  booktitle = {IJCAI},
+  publisher = {ijcai.org},
+  year = {2024},
+  note = {accepted for publication}
+}
+
Fröhlich N and Meier A (2024), "Submodel Enumeration for CTL Is Hard", In AAAI. , pp. 10517-10524. AAAI Press. +

[BibTeX]

+
BibTeX: +
+@inproceedings{DBLP:conf/aaai/FrohlichM24,
+  author = {Nicolas Fröhlich and Arne Meier},
+  title = {Submodel Enumeration for CTL Is Hard},
+  booktitle = {AAAI},
+  publisher = {AAAI Press},
+  year = {2024},
+  pages = {10517--10524}
+}
+
Fröhlich N and Meier A (2024), "Submodel Enumeration for CTL Is Hard", In AAAI. AAAI Press. +

[BibTeX]

+
BibTeX: +
+@inproceedings{fm24,
+  author = {Nicolas Fröhlich and Arne Meier},
+  title = {Submodel Enumeration for CTL Is Hard},
+  booktitle = {AAAI},
+  publisher = {AAAI Press},
+  year = {2024}
+}
+
Durand A, Hannula M, Kontinen J, Meier A and Virtema J (2018), "Probabilistic Team Semantics", In FoIKS. Vol. 10833, pp. 186-206. Springer. +

[BibTeX]

+
BibTeX: +
+@inproceedings{DBLP:conf/foiks/0001HKMV18,
+  author = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema},
+  title = {Probabilistic Team Semantics},
+  booktitle = {FoIKS},
+  publisher = {Springer},
+  year = {2018},
+  volume = {10833},
+  pages = {186--206}
+}
+
Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A and Virtema J (2023), "Logics with Probabilistic Team Semantics and the Boolean Negation", In JELIA. Vol. 14281, pp. 665-680. Springer. +

[BibTeX]

+
BibTeX: +
+@inproceedings{DBLP:conf/jelia/HannulaHKMMV23,
+  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},
+  booktitle = {JELIA},
+  publisher = {Springer},
+  year = {2023},
+  volume = {14281},
+  pages = {665--680}
+}
+
Hecher M, Fichte JK, Mahmood Y and Meier A (2023), "Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation", In Proc. IJCAI 2023. +

[BibTeX]

+
BibTeX: +
+@inproceedings{HKMM23,
+  author = {Markus Hecher and Johannes K. Fichte and Yasir Mahmood and Arne Meier},
+  title = {Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation},
+  booktitle = {Proc. IJCAI 2023},
+  year = {2023}
+}
+
Fröhlich N and Meier A (2022), "Submodel Enumeration of Kripke Structures in Modal Logic", In AiML. , pp. 391-406. College Publications. +

[BibTeX]

+
BibTeX: +
+@inproceedings{DBLP:conf/aiml/FrohlichM22,
+  author = {Nicolas Fröhlich and Arne Meier},
+  title = {Submodel Enumeration of Kripke Structures in Modal Logic},
+  booktitle = {AiML},
+  publisher = {College Publications},
+  year = {2022},
+  pages = {391--406}
+}
+
Gutsfeld JO, Meier A, Ohrem C and Virtema J (2022), "Temporal Team Semantics Revisited", In LICS. , pp. 44:1-44:13. ACM.

[BibTeX]

@@ -606,24 +731,6 @@ }
Durand A, Hannula M, Kontinen J, Meier A and Virtema J (2018), "Probabilistic Team Semantics", In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018. Proceedings. Springer. -

[BibTeX]

-
BibTeX: -
-@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},
-  publisher = {Springer},
-  year = {2018}
-}
-
Hella L, Kuusisto A, Meier A and Virtema J (2017), "Model Checking and Validity in Propositional and Modal Inclusion Logics", In 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. Vol. 83, pp. 32:1-32:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

[BibTeX] [DOI] [URL]

@@ -1029,7 +1136,7 @@
diff --git a/bibliography/editorship.html b/bibliography/editorship.html new file mode 100644 index 0000000..84e617c --- /dev/null +++ b/bibliography/editorship.html @@ -0,0 +1,431 @@ + + + +JabRef references + + + + + + +
+ +Matching entries: 0 +
settings...
+ +
+ + + + + + + + + +
(2024), "Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings" Vol. 14589 Springer. +

[BibTeX]

+
BibTeX: +
+@proceedings{DBLP:conf/foiks/2024,,
+  editor = {Arne Meier and Magdalena Ortiz},
+  title = {Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
+  publisher = {Springer},
+  year = {2024},
+  volume = {14589}
+}
+
+ + + + \ No newline at end of file diff --git a/bibliography/journal.html b/bibliography/journal.html index 30da07d..e5c38ad 100644 --- a/bibliography/journal.html +++ b/bibliography/journal.html @@ -404,6 +404,51 @@ + + + + + + + + + + + + + + + + + +
Mahmood Y, Meier A and Schmidt J (2023), "Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework", ACM Trans. Comput. Logic. New York, NY, USA, may, 2023. Vol. 24(3) Association for Computing Machinery. +

[Abstract] [BibTeX] [DOI] [URL]

+
Abstract: Argumentation is a well-established formalism dealing with conflicting information by generating and comparing arguments. It has been playing a major role in AI for decades. In logic-based argumentation, we explore the internal structure of an argument. Informally, a set of formulas is the support for a given claim if it is consistent, subset-minimal, and implies the claim. In such a case, the pair of the support and the claim together is called an argument. In this article, we study the propositional variants of the following three computational tasks studied in argumentation: ARG (exists a support for a given claim with respect to a given set of formulas), ARG-Check (is a given set a support for a given claim), and ARG-Rel (similarly as ARG plus requiring an additionally given formula to be contained in the support). ARG-Check is complete for the complexity class DP, and the other two problems are known to be complete for the second level of the polynomial hierarchy (Creignou et al. 2014 and Parson et al., 2003) and, accordingly, are highly intractable. Analyzing the reason for this intractability, we perform a two-dimensional classification: First, we consider all possible propositional fragments of the problem within Schaefer's framework (STOC 1978) and then study different parameterizations for each of the fragments. We identify a list of reasonable structural parameters (size of the claim, support, knowledge base) that are connected to the aforementioned decision problems. Eventually, we thoroughly draw a fine border of parameterized intractability for each of the problems showing where the problems are fixed-parameter tractable and when this exactly stops. Surprisingly, several cases are of very high intractability (para-NP and beyond).
BibTeX: +
+@article{10.1145/3582499,
+  author = {Mahmood, Yasir and Meier, Arne and Schmidt, Johannes},
+  title = {Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework},
+  journal = {ACM Trans. Comput. Logic},
+  publisher = {Association for Computing Machinery},
+  year = {2023},
+  volume = {24},
+  number = {3},
+  url = {https://doi.org/10.1145/3582499},
+  doi = {10.1145/3582499}
+}
+
Haak A, Meier A, Prakash O and Rao BVR (2023), "Parameterised Counting in Logspace", Algorithmica. +

[Abstract] [BibTeX] [DOI] [URL]

+
Abstract: Logarithmic space-bounded complexity classes such as $$backslashtextbfL $$and $$backslashtextbfNL $$play a central role in space-bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the structure of computational problems such as computing the determinant and counting paths in directed acyclic graphs. Though parameterised complexity theory was initiated roughly three decades ago by Downey and Fellows, a satisfactory study of parameterised logarithmic space-bounded computation was developed only in the last decade by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space-bounded models developed by Elberfeld, Stockhusen and Tantau. They defined the operators $$backslashtextbfpara_backslashtextbfW$$and $$backslashtextbfpara_backslashbeta $$for parameterised space complexity classes by allowing bounded nondeterminism with multiple-read and read-once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators $$backslashtextbfpara_backslashtextbfW$$and $$backslashtextbfpara_backslashbeta $$by Stockhusen and Tantau, we introduce variants based on tail-nondeterminism, $$backslashtextbfpara_backslashtextbfW[1]$$and $$backslashtextbfpara_backslashbeta backslashtextbftail$$. Then, we consider counting versions of all four operators and apply them to the class $$backslashtextbfL $$. We obtain several natural complete problems for the resulting classes: counting of paths in digraphs, counting first-order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0, 1)-matrices is $$backslash#backslashtextbfpara_backslashbeta backslashtextbftailbackslashtextbfL $$-hard and can be written as the difference of two functions in $$backslash#backslashtextbfpara_backslashbeta backslashtextbftailbackslashtextbfL $$. These problems exhibit the richness of the introduced counting classes. Our results further indicate interesting structural characteristics of these classes. For example, we show that the closure of $$backslash#backslashtextbfpara_backslashbeta backslashtextbftailbackslashtextbfL $$under parameterised logspace parsimonious reductions coincides with $$backslash#backslashtextbfpara_backslashbeta backslashtextbfL $$. In other words, in the setting of read-once access to nondeterministic bits, tail-nondeterminism coincides with unbounded nondeterminism modulo parameterised reductions. Initiating the study of closure properties of these parameterised logspace counting classes, we show that all introduced classes are closed under addition and multiplication, and those without tail-nondeterminism are closed under parameterised logspace parsimonious reductions. Finally, we want to emphasise the significance of this topic by providing a promising outlook highlighting several open problems and directions for further research.
BibTeX: +
+@article{Haak:2023aa,
+  author = {Haak, Anselm and Meier, Arne and Prakash, Om and Rao, B. V. Raghavendra},
+  title = {Parameterised Counting in Logspace},
+  journal = {Algorithmica},
+  year = {2023},
+  url = {https://doi.org/10.1007/s00453-023-01114-2},
+  doi = {10.1007/s00453-023-01114-2}
+}
+
Kontinen J, Meier A and Mahmood Y (2022), "A parameterized view on the complexity of dependence and independence logic", J. Log. Comput..

[BibTeX] [DOI] [URL]

@@ -417,7 +462,6 @@ title = {A parameterized view on the complexity of dependence and independence logic}, journal = {J. Log. Comput.}, year = {2022}, - note = {exac070}, url = {https://doi.org/10.1093/logcom/exac070}, doi = {10.1093/logcom/exac070} } @@ -865,7 +909,7 @@