17th European Conference on Artificial Intelligence
Event name
17th European Conference on Artificial Intelligence
Start date
29-08-2006
End date
01-09-2006
Location
Riva del Garda
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Egly, Uwe ; Seidl, Martina ; Woltran, Stefan | A Solver for QBFs in Nonprenex Form | Konferenzbeitrag Inproceedings ![]() | 2006 | |
2 | Seyfang, Andreas ; Miksch, Silvia ; Marcos, Mar ; Wittenberg, Jolanda ; Polo-Conde, Cristina ; Rosenbrand, Kitty ; Brewka, Gerd ; Coradeschi, Silvia ; Perini, Anna ; Traverso, Paolo | Bridging the Gap between Informal and Formal Guideline Representations | Konferenzbeitrag Inproceedings | 2006 | |
3 | Votruba, Peter ; Seyfang, Andreas ; Paesold, Michael ; Miksch, Silvia ; Brewka, Gerd ; Coradeschi, Silvia ; Perini, Anna ; Traverso, Paolo | Environment-Driven Skeletal Plan Execution for the Medical Domain | Konferenzbeitrag Inproceedings | 2006 |