Default Logic and Bounded Treewidth

Fichte, J. K., Hecher, M. & Schindler, I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Verlag, p. 130-142 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10792 LNCS).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Efficient distributed execution of multi-component scenario-based models

Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G. & Marron, A., 2018, Model-Driven Engineering and Software Development. Selic, B., Pires, L. F. & Hammoudi, S. (eds.). Springer Verlag, p. 449-483 35 p. (Communications in Computer and Information Science; vol. 880).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Enumeration complexity of poor man’s propositional dependence logic

Meier, A. & Reinbold, C., 2018, Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). 1. ed. Springer Verlag, p. 303-321 19 p. (Lecture Notes in Computer Science (LNCS); vol. 10833)(Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Probabilistic team semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). Springer Verlag, p. 186-206 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10833 LNCS).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Towards systematic and automatic handling of execution traces associated with scenario-based models

Greenyer, J., Gritzner, D., Harel, D. & Marron, A., 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). p. 560-566 7 p.

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Model checking and validity in propositional and modal inclusion logics

Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 1 Dec 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J.-F. & Bodlaender, H. L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 83).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

On the complexity of hard enumeration problems

Creignou, N., Kröll, M., Pichler, R., Skritek, S. & Vollmer, H., 16 Feb 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer Verlag, p. 183-195 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits

Haak, A. & Vollmer, H., 6 Aug 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer Verlag, p. 234-248 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Approximation and Dependence via Multiteam Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 4 Mar 2016, Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Gyssens, M. & Simari, G. (eds.). Cham, p. 271-291 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9616).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Backdoors for Linear Temporal Logic

Meier, A., Ordyniak, S., Sridharan, R. & Schindler, I., 2016, 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. Guo, J. & Hermelin, D. (eds.). Vol. 63. p. 23:1-23:17 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 63).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Dependence Logic, Theory and Applications

Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Dependence Logic: Theory and Applications. Cham, (Logics for Dependence and Independence).

Research output: Chapter in book/report/conference proceeding › Foreword/postscript › Research

Descriptive complexity of #AC0 functions

Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 2016, Computer Science Logic 2016, CSL 2016. Talbot, J.-M. & Regnier, L. (eds.). (Leibniz International Proceedings in Informatics, LIPIcs; vol. 62).

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Expressivity and Complexity of Dependence Logic

Durand, A., Kontinen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, p. 5-32

Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review