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
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2026
Probabilistic Abduction in a Fuzzy Logic Framework
Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko
We study the problem of explaining observations about the probabilities of events, such as "it rains of the time", "rain and snow are equally likely", etc. We explain these…