Forskningsresultat per år
Forskningsresultat per år
- 12 resultat
Sökresultat
-
2019
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm
Korhonen, T., Berg, J. & Järvisalo, M., juni 2019, I: ACM Journal of Experimental Algorithmics. 24, 1, 19 s., 1.9.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Towards Transformational Creation of Novel Songs
Toivanen, J. M., Järvisalo, M., Alm, O., Ventura, D., Vainio, M. & Toivonen, H., 2 jan. 2019, I: Connection Science. 31, 1, s. 4-32 29 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
2018
Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores
Alviano, M., Dodaro, C., Järvisalo, M., Maratea, M. & Previti, A., juli 2018, I: Theory and Practice of Logic Programming. 18, 3-4, s. 319-336 18 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Empirical Hardness of Finding Optimal Bayesian Network Structures: Algorithm Selection and Runtime Prediction
Malone, B., Kangas, K., Järvisalo, M., Koivisto, M. & Myllymäki, P., jan. 2018, I: Machine Learning. 107, 1, s. 247-283 37 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
2017
Abstract dialectical frameworks: An overview
Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J. P. & Woltran, S., juli 2017, I: The IfCoLog Journal of Logics and their Applications. 4, 8, s. 2263-2317Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig
Öppen tillgång -
A Constraint Optimization Approach to Causal Discovery from Subsampled Time Series Data
Hyttinen, A., Plis, S., Järvisalo, M., Eberhardt, F. & Danks, D., nov. 2017, I: International Journal of Approximate Reasoning. 90, s. 208-225 18 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity
Cussens, J., Järvisalo, M., Korhonen, J. H. & Bartlett, M., 2017, I: Journal of Artificial Intelligence Research. 58, s. 185-229 45 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
Wallner, J. P., Niskanen, A. & Järvisalo, M., 2017, I: Journal of Artificial Intelligence Research. 60, s. 1-40 40 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
Berg, J. & Järvisalo, M., mars 2017, I: Artificial Intelligence. 244, s. 110-142 33 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Foundations of implementations for formal argumentation
Cerutti, F., Gaggl, S. A., Thimm, M. & Wallner, J. P., 30 okt. 2017, I: The IfCoLog Journal of Logics and their Applications. 4, 8, s. 2623-2705 83 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig
-
2016
Separating OR, SUM, and XOR Circuits
Find, M., Göös, M., Järvisalo, M., Kaski, P., Koivisto, M. & Korhonen, J. H., aug. 2016, I: Journal of Computer and System Sciences. 82, 5, s. 793-801 9 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
2015
Improved Answer-Set Programming Encodings for Abstract Argumentation
Gaggl, S. A., Manthey, N., Ronca, A., Wallner, J. P. & Woltran, S., 2015, I: Theory and Practice of Logic Programming. 15, special issue 4-5, s. 434-448 15 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgång