Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Aktiviteter

Aktiviteter per år 2015 2015 2016 2017 2018 2019 2019

• 33 Referentgranskning av manuskript
• 12 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 4 Public Talks
• 4 Handledare eller bihandledare av doktorsavhandling
• 7 Mer
  • 4 Akademiskt besök på HU
  • 1 Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
  • 1 !!Invited talk
  • 1 Akademisk besök på annan institution

Aktiviteter per år

Sökresultat

• 10th International Workshop on Pragmatics of SAT (Evenemang)

  Järvisalo, M. (Ordförande för programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 12th Annual Symposium on Combinatorial Search (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 35th Conference on Uncertainty in Artificial Intelligence (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 22nd International Conference on Theory and Applications of Satisfiability Testing (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 34th ACM/SIGAPP Symposium on Applied Computing (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 33rd AAAI Conference on Artificial Intelligence (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 36th International Conference on Machine Learning (ICML 2019) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 33rd Annual Conference on Neural Information Processing Systems (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2019

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  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)

  Järvisalo, M. (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)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 32nd AAAI Conference on Artificial Intelligence (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 32nd Annual Conference on Neural Information Processing Systems (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Journal on Satisfiability, Boolean Modeling and Computation (Tidskrift)

  Järvisalo, M. (Medlem i redaktionell ledning)

  2018 → …

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• ACM Symposium On Applied Computing (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 30th IEEE International Conference on Tools with Artificial Intelligence (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 15th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2018) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Annals of Mathematics and Artificial Intelligence (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Artificial Intelligence (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2018

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 29th IEEE International Conference on Tools with Artificial Intelligence (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Program Committee Member of 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2017) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Program Committee Member of 31st AAAI Conference on Artificial Intelligence (AAAI 2017) (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• International Journal of Approximate Reasoning (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Theory and Practice of Logic Programming (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Program Committee Member of 30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems (IEA/AIE 2017), Special Track on Applications of Argumentation (Evenemang)

  Järvisalo, M. (Medlem av programkommitté)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Journal of Artificial Intelligence Research (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2017

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Information Sciences (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Journal of Automated Reasoning (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Journal of Artificial Intelligence Research (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Artificial Intelligence (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript