BROCHENIN, REMI
BROCHENIN, REMI
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Abstract Answer Set Solvers for Cautious Reasoning
2015-01-01 Brochenin, Remi; Maratea, Marco
Abstract Disjunctive Answer Set Solvers
2014-01-01 Brochenin, Remi; Lierler, Yuliya; Maratea, Marco
Abstract solvers for dung’s argumentation frameworks
2015-01-01 Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
Abstract Solvers for Quantified Boolean Formulas and their Applications
2015-01-01 Brochenin, Remi; Maratea, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Answer Set Solvers for Cautious Reasoning | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
| Abstract Disjunctive Answer Set Solvers | 1-gen-2014 | Brochenin, Remi; Lierler, Yuliya; Maratea, Marco | |
| Abstract solvers for dung’s argumentation frameworks | 1-gen-2015 | Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan | |
| Abstract Solvers for Quantified Boolean Formulas and their Applications | 1-gen-2015 | Brochenin, Remi; Maratea, Marco |