SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

Tuomo Tapio Pietari Lehtonen, Andreas Johannes Alexand Niskanen, Matti Juhani Järvisalo

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 Slutfört

2 resultat

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M.
Unknown funder
01/01/2015 → 31/12/2018
Projekt: Helsingfors Universitetets treåriga forskningsprojekt
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt