Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
On the almighty wand
2012-01-01 Brochenin, Remi; S., Demri; E., Lozes
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 Answer Set Solvers for Cautious Reasoning
2015-01-01 Brochenin, Remi; Maratea, Marco
Abstract Solvers for Quantified Boolean Formulas and their Applications
2015-01-01 Brochenin, Remi; Maratea, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the almighty wand | 1-gen-2012 | Brochenin, Remi; S., Demri; E., Lozes | |
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 Answer Set Solvers for Cautious Reasoning | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
Abstract Solvers for Quantified Boolean Formulas and their Applications | 1-gen-2015 | Brochenin, Remi; Maratea, Marco |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile