Publications
- 2024
- E-pub ahead of print
Logical characterizations of algebraic circuit classes over integral domains
Barlag, T., Chudigiewitsch, F. & Gaube, S. A., 13 May 2024, (E-pub ahead of print) In: Mathematical Structures in Computer Science. 34, 5, p. 346-374 29 p.Research output: Contribution to journal › Article › Research › peer review
- Published
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Mahmood, Y., Virtema, J., Barlag, T. & Ngomo, A. C. N., 29 Mar 2024, Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024. Meier, A. & Ortiz, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-42 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14589 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2023
- Published
Unified Foundations of Team Semantics via Semirings
Barlag, T., Hannula, M., Kontinen, J., Pardal, N. & Virtema, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 75-85 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2021
- Published
A Logical Characterization of Constant-Depth Circuits over the Reals
Barlag, T. & Vollmer, H., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Vol. abs/2005.04916. p. 16-30 15 p. (Lecture Notes in Computer Science (LNCS); vol. 13038).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review