Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence

Book title Buchtitel
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence
 
ISBN
978-1-956792-09-6
 
Editor Herausgeber_in
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur, Zeynep G. ; Hecher, Markus ; Fichte, Johannes Klaus Abstracting the Indistinguishable in ASPInproceedings Konferenzbeitrag 2026
2Marzari, Luca ; Marchesini, Enrico Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement LearningInproceedings Konferenzbeitrag 2026
3Marzari, Luca ; Bartocci, Ezio ; Marchesini, Enrico A Survey on the Verification of Reinforcement Learning PoliciesInproceedings Konferenzbeitrag 2026
4Saribatur, Zeynep G. Towards Reasonable AI: Foundations for Abstraction and Generalized ReasoningInproceedings Konferenzbeitrag 2026
5Eiter, Thomas ; Geibinger, Tobias ; Saribatur, Zeynep G. An XAI View on Explainable ASP: Methods, Systems, and PerspectivesInproceedings Konferenzbeitrag 2026