SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks
| Autor: | Lehtonen, Tuomo Tapio Pietari, Niskanen, Andreas Johannes Alexand, Järvisalo, Matti Juhani |
|---|---|
| Přispěvatelé: | Modgil, Sanjay, Budzynska, Katarzyna, Lawrence, John, Helsinki Institute for Information Technology, Department of Computer Science, Constraint Reasoning and Optimization research group / Matti Järvisalo, The Finnish Center of Excellence in Computational Inference Research (COIN) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|