Thirty-Second International Joint Conference on Artificial Intelligence

Event name
Thirty-Second International Joint Conference on Artificial Intelligence
 
Event type
Event for scientific audience
 
Start date
19-08-2023
End date
25-08-2023
 
Location
Macau
Country
China
 
Conference Track
Multi Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
2Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint AtomsInproceedings Konferenzbeitrag Aug-2023
3Eiben, Eduard ; Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan Learning Small Decision Trees with Large DomainInproceedings Konferenzbeitrag 2023
4Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question AnsweringInproceedings Konferenzbeitrag Aug-2023