36th AAAI Conference on Artificial Intelligence (AAAI 2022)

View Statistics Email Alert RSS Feed

Description

Event name
36th AAAI Conference on Artificial Intelligence (AAAI 2022)
 
Event type
Event for scientific audience
 
Start date
22-02-2022
End date
01-03-2022
 
Country
United States
 
Event format Veranstaltungsformat
Online

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gruenbacher, Sophie A. ; Lechner, Mathias ; Hasani, Ramin ; Rus, Daniela ; Henzinger, Thomas A. ; Smolka, Scott A. ; Grosu, Radu GoTube: Scalable Statistical Verification of Continuous-Depth ModelsInproceedings Konferenzbeitrag 28-Jun-2022
2Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria Large-Neighbourhood Search for Optimisation in Answer-Set SolvingInproceedings Konferenzbeitrag 28-Jun-2022
3Brill, Markus ; Delemazure, Théo ; George, Anne-Marie ; Lackner, Martin ; Schmidt-Kraepelin, Ulrike Liquid Democracy with Ranked DelegationsInproceedings Konferenzbeitrag 28-Jun-2022
4Chen, Jiehua ; Lackner, Martin ; Maly, Jan Participatory Budgeting with Donations and Diversity ConstraintsInproceedings Konferenzbeitrag 28-Jun-2022