Declarative Boolean Optimization: Pushing the Envelope

Forskningsresultat

Forskningsresultat per år 2020 2020 2021 2022 2023 2023

• 29 Konferensbidrag
• 4 Artikel
• 2 Kapitel
• 1 Antologi eller special utgåva

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2021

  Acceptance in Incomplete Argumentation Frameworks

  Baumeister, D., Järvisalo, M., Neugebauer, D., Niskanen, A. & Rothe, J., juni 2021, I: Artificial Intelligence. 295, 35 s., 103470.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2021, I: Journal of Artificial Intelligence Research. 71, s. 265-318 54 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2021, I: Theory and Practice of Logic Programming. 21, 6, s. 717–734 18 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• SAT Competition 2020

  Froleyks, N., Heule, M., Iser, M., Järvisalo, M. & Suda, M., dec. 2021, I: Artificial Intelligence. 301, 25 s., 103572.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil