default search action
Artificial Intelligence, Volume 340
Volume 340, 2025
- Simon Odense, Artur d'Avila Garcez:
A semantic framework for neurosymbolic computation. 104273 - Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi:
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. 104276 - Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Athanor: Local search over abstract constraint specifications. 104277 - Jinlin Li, Xiao Zhou:
CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction. 104278 - Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
Explain it as simple as possible, but no simpler - Explanation via model simplification for addressing inferential gap. 104279 - Meike Zehlike, Alex Loosley, Håkan Jonsson, Emil Wiedemann, Philipp Hacker:
Beyond incompatibility: Trade-offs between mutually exclusive fairness criteria in machine learning and law. 104280 - Elena Burceanu, Marius Leordeanu:
Learning a fast 3D spectral approach to object segmentation and tracking over space and time. 104281 - Sam Baron, Andrew J. Latham, Somogy Varga:
Explainable AI and stakes in medicine: A user study. 104282 - Antonio Rago, Oana Cocarascu, Joel Oksanen, Francesca Toni:
Argumentative review aggregation and dialogical explanations. 104291
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.