2 citations
- Bonn Aachen International Center for Information TechnologyDE1 paper
- Consejo Superior de Investigaciones CientíficasES1 paper
- Instituto de FilosofíaES1 paper
- Lamarr Institute for Machine Learning and Artificial Intelligence1 paper
- Software Competence Center Hagenberg (Austria)AT1 paper
- Universidade do PortoPT1 paper
- Universitat Politècnica de ValènciaES1 paper
- University of BonnDE1 paper
- University of Milano-BicoccaIT1 paper
- University of PisaIT1 paper
- University of SheffieldGB1 paper
- University of TrentoIT1 paper
4 papers
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar
Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a ty…
Zoom In Disparities in Healthcare LLM Q&A
Ipek Baris Schlicht, Burcu Sayin, Zhixue Zhao +5
Equitable access to reliable health information is vital when integrating AI into healthcare. Yet, information quality varies across languages, raising concerns about the reliabili…
Recovery operators in quasi-Nelson logic: the prelinear case
Tommaso Flaminio, Lluis Godo, Umberto Rivieccio
This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…
An Explanation-oriented Inquiry Dialogue Game for Expert Collaborative Recommendations
Qurat-ul-ain Shaheen, Katarzyna Budzynska, Carles Sierra
This work presents a requirement analysis for collaborative dialogues among medical experts and an inquiry dialogue game based on this analysis for incorporating explainability int…