20152019

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

  • 11 Konferensbidrag
  • 5 Programvara
  • 1 Doktorsavhandling

Implicit Hitting Set Algorithms for Constraint Optimization

Saikko, P., 2019, Helsinki: Helsingin yliopisto.

Forskningsoutput: AvhandlingDoktorsavhandlingSamling av artiklar

Öppen tillgång

A Hybrid Approach to Optimization in Answer Set Programming

Saikko, P. H. A., Dodaro, C., Alviano, M. & Järvisalo, M. J., 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Thielscher, M., Toni, F. & Wolter, F. (red.). AAAI Press, s. 32-41 10 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Reduced Cost Fixing for Maximum Satisfiability

Bacchus, F., Hyttinen, A. J., Järvisalo, M. J. & Saikko, P. H. A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). Lang, J. (red.). Palo Alto, California: AAAI Press, s. 5209-5213 5 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

A Core-Guided Approach to Learning Optimal Causal Graphs

Hyttinen, A., Saikko, P. & Järvisalo, M., 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Sierra, C. (red.). International Joint Conferences on Artificial Intelligence, s. 645-651 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Priser

CP 2017 Distinguished Paper Award

Fahiem Bacchus (!!Recipient), Hyttinen, Antti (!!Recipient), Järvisalo, Matti (!!Recipient) & Saikko, Paul (!!Recipient), 2017

Pris: Pris och hedersbetygelser

Aktiviteter

  • 1 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

SAT/SMT/AR Summer School 2018

Paul Saikko (Närvarande)

3 jul 20186 jul 2018

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium