aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation

Tuomo Tapio Pietari Lehtonen, Johannes P. Wallner, Matti Juhani Järvisalo

Research output: Non-textual form › Software › Scientific

2 Finished

2 results

Filter

Finished

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M.
Unknown funder
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project