Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Pedro Cabalar, MartÃn Diéguez, David Fernández-Duque +3
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…
cs.LO2025
Proceedings 40th International Conference on Logic Programming
Pedro Cabalar, Francesco Fabiano, Martin Gebser +2
Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…