Twenty-Ninth AAAI Conference on Artificial Intelligence

Event name
Twenty-Ninth AAAI Conference on Artificial Intelligence
 
Event type
Event for scientific audience
 
Start date
25-01-2015
End date
30-01-2015
 
Location
Austin
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Elkind, Edith ; Faliszewski, Piotr ; Lackner, Martin ; Obraztsova, Svetlana The Complexity of Recognizing Incomplete Single-Crossing PreferencesKonferenzbeitrag Inproceedings 2015
2Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 1-Jan-2015
3Lukasiewicz, Thomas ; Martinez, Maria Vanina ; Pieris, Andreas ; Simari, Gerardo I. From Classical to Consistent Query Answering under Existential RulesKonferenzbeitrag Inproceedings 2015
4Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015