JAIR 2024
105 papers
A Fortiori Case-Based Reasoning: From Theory to Data
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij A Hybrid Intelligence Method for Argument Mining
Michiel van der Meer, Enrico Liscio, Catholijn M. Jonker, Aske Plaat, Piek Vossen, Pradeep K. Murukannaiah Best of Both Worlds: Agents with Entitlements
Martin Hoefer, Marco Schmalhofer, Giovanna Varricchio Boolean Observation Games
Hans van Ditmarsch, Sunil Simon Can Fairness Be Automated? Guidelines and Opportunities for Fairness-Aware AutoML
Hilde J. P. Weerts, Florian Pfisterer, Matthias Feurer, Katharina Eggensperger, Edward Bergman, Noor H. Awad, Joaquin Vanschoren, Mykola Pechenizkiy, Bernd Bischl, Frank Hutter Computational Argumentation-Based Chatbots: A Survey
Federico Castagna, Nadin Kökciyan, Isabel Sassoon, Simon Parsons, Elizabeth Sklar Computing Unsatisfiable Cores for LTLf Specifications
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini Cross-Domain Constituency Parsing by Leveraging Heterogeneous Data
Peiming Guo, Meishan Zhang, Yulong Chen, Jianling Li, Min Zhang, Yue Zhang Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
Jayanta Mandi, James Kotary, Senne Berden, Maxime Mulamba, Victor Bucarey, Tias Guns, Ferdinando Fioretto Detecting Change Intervals with Isolation Distributional Kernel
Yang Cao, Ye Zhu, Kai Ming Ting, Flora D. Salim, Hong Xian Li, Luxing Yang, Gang Li Digraph K-Coloring Games: New Algorithms and Experiments
Andrea D'Ascenzo, Mattia D'Emidio, Michele Flammini, Gianpiero Monaco Does CLIP Know My Face?
Dominik Hintersdorf, Lukas Struppek, Manuel Brack, Felix Friedrich, Patrick Schramowski, Kristian Kersting Human Activity Recognition in an Open World
Derek S. Prijatelj, Samuel Grieggs, Jin Huang, Dawei Du, Ameya Shringi, Christopher Funk, Adam Kaufman, Eric Robertson, Walter J. Scheirer Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities
Carl Orge Retzlaff, Srijita Das, Christabel Wayllace, Payam Mousavi, Mohammad Afshari, Tianpei Yang, Anna Saranti, Alessa Angerschmid, Matthew E. Taylor, Andreas Holzinger Language-Models-as-a-Service: Overview of a New Paradigm and Its Challenges
Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge Learning to Resolve Social Dilemmas: A Survey
Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models
Farzane Aminmansour, Taher Jafferjee, Ehsan Imani, Erin J. Talvitie, Michael Bowling, Martha White Mixed Fair Division: A Survey
Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh Quantization Aware Factorization for Deep Neural Network Compression
Daria Cherniuk, Stanislav Abukhovich, Anh Huy Phan, Ivan V. Oseledets, Andrzej Cichocki, Julia Gusak Query-Driven Qualitative Constraint Acquisition
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker Robust Average-Reward Reinforcement Learning
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou Satisfiability Modulo User Propagators
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere Selfishly Prepaying in Financial Credit Networks
Hao Zhou, Yongzhao Wang, Konstantinos Varsos, Nicholas Bishop, Rahul Savani, Anisoara Calinescu, Michael J. Wooldridge Separating and Collapsing Electoral Control Types
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles Simulating Counterfactuals
Juha Karvanen, Santtu Tikka, Matti Vihola Symbolic Task Inference in Deep Reinforcement Learning
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination
Yang Li, Shao Zhang, Jichen Sun, Wenhao Zhang, Yali Du, Ying Wen, Xinbing Wang, Wei Pan The Complexity of Subelection Isomorphism Problems
Piotr Faliszewski, Krzysztof Sornat, Stanislaw Szufa The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models
Moschoula Pternea, Prerna Singh, Abir Chakraborty, Yagna D. Oruganti, Mirco Milletarí, Sayli Bapat, Kebei Jiang The State of Computer Vision Research in Africa
Abdul-Hakeem Omotayo, Ashery Mbilinyi, Lukman Ismaila, Houcemeddine Turki, Mahmoud Abdien, Karim Gamal, Idriss Tondji, Yvan Pimi, Naome A. Etori, Marwa M. Matar, Clifford Broni-Bediako, Abigail Oppong, Mai Gamal, Eman Ehab, Gbètondji J.-S. Dovonon, Zainab Akinjobi, Daniel Ajisafe, Oluwabukola G. Adegboro, Mennatullah Siam Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)
Pouria Salehi, Yang Ba, Nayoung Kim, Ahmadreza Mosallanezhad, Anna Pan, Myke C. Cohen, Yixuan Wang, Jieqiong Zhao, Shawaiz Bhatti, James Sung, Erik Blasch, Michelle V. Mancenido, Erin K. Chiou Uncertainty as a Fairness Measure
Selim Kuzucu, Jiaee Cheong, Hatice Gunes, Sinan Kalkan Undesirable Biases in NLP: Addressing Challenges of Measurement
Oskar van der Wal, Dominik Bachmann, Alina Leidinger, Leendert van Maanen, Willem H. Zuidema, Katrin Schulz Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management
Bernd Dudzik, Jasper van der Waa, Pei-Yu Chen, Roel Dobbe, Inago M. D. R. de Troya, Roos M. Bakker, Maaike H. T. de Boer, Quirine T. S. Smit, Davide Dell'Anna, Emre Erdogan, Pinar Yolum, Shihan Wang, Selene Baez Santamaría, Lea Krause, Bart A. Kamphorst Weighted, Circular and Semi-Algebraic Proofs
Ilario Bonacina, Maria Luisa Bonet, Jordi Levy