Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, Matti (Projektledare)

Avdelningen för datavetenskap

Projektinformation

Status	Slutfört
Gällande start-/slutdatum	01/01/2015 → 31/12/2018

Finansiering

Unknown funder

25 Konferensbidrag
5 Artikel
4 Programvara
1 Konferensartikel

Applications of MaxSAT in Data Analysis
Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J., 2019, Proceedings of Pragmatics of SAT 2015 and 2018. Le Berre, D. & Järvisalo, M. (red.). Manchester, UK: EasyChair Publications, s. 50-64 15 s. (EPiC Series in Computing; vol. 59).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). Palo Alto, CA: AAAI Press, s. 2938-2945 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, nr. 1).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
A Preference-Based Approach to Backbone Computation with Application to Argumentation
Previti, A. & Järvisalo, M., 2018, SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (red.). New York: ACM, s. 896-902 8 s.
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil

13 Referentgranskning av manuskript
12 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
4 Public Talks
2 Akademiskt besök på HU
Mer

33rd AAAI Conference on Artificial Intelligence (Evenemang)
Matti Järvisalo (Medlem av programkommitté)
2019
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018) (Evenemang)
Matti Järvisalo (Medlem av programkommitté)
2018
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Evenemang)
Matti Järvisalo (Medlem av programkommitté)
2018
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript