23 citations · 88 across the 36 of their papers we have counts for
1 paper · 2 filters
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…