Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23)
 
ISBN
978-1-956792-03-4
 
Editor Herausgeber_in
 
Publisher Herausgeber
International Joint Conferences on Artificial Intelligence
 
First Edition Erstausgabe
First Edition
 
Series Schriftenreihe
IJCAI
 

Publications Publikationen

Results 1-12 of 12 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
2Schidler-2023-Computing Twin-width with SAT and Branch Bound-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing Twin-width with SAT and Branch & BoundInproceedings Konferenzbeitrag 2023
3Daniele, Alessandro ; Campari, Tommaso ; Malhotra, Sagar ; Serafini, Luciano Deep Symbolic Learning: Discovering Symbols and Rules from PerceptionsInproceedings Konferenzbeitrag 2023
4Di Stefano-2023-Description Logics with Pointwise Circumscription-vor.pdf.jpgDi Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Description Logics with Pointwise CircumscriptionInproceedings Konferenzbeitrag 2023
5Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint AtomsInproceedings Konferenzbeitrag Aug-2023
6Eiben, Eduard ; Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan Learning Small Decision Trees with Large DomainInproceedings Konferenzbeitrag 2023
7Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question AnsweringInproceedings Konferenzbeitrag Aug-2023
8de Colnet-2023-On Translations between ML Models for XAI Purposes-vor.pdf.jpgde Colnet, Alexis ; Marquis, Pierre On Translations between ML Models for XAI PurposesInproceedings Konferenzbeitrag 2023
9Ceylan-2023-Optimal Seat Arrangement What Are the Hard and Easy Cases-vor.pdf.jpgCeylan, Esra ; Chen, Jiehua ; Roy, Sanjukta Optimal Seat Arrangement: What Are the Hard and Easy Cases?Inproceedings Konferenzbeitrag 2023
10Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan The Parameterized Complexity of Finding Concise Local ExplanationsInproceedings Konferenzbeitrag 2023
11Christakis-2023-Specifying and Testing k-Safety Properties for Machine-Le...-vor.pdf.jpgChristaki, Maria ; Eniser, Hasan Ferit ; Hoffmann, Jörg ; Singla, Adish ; Wüstholz, Valentin Specifying and Testing k-Safety Properties for Machine-Learning ModelsInproceedings Konferenzbeitrag 2023
12Lanzinger, Matthias ; Nissl, Markus ; Sallinger, Emanuel ; Wałęga, Przemysław Temporal Datalog with Existential QuantificationInproceedings Konferenzbeitrag 2023