4 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
Fernando Sáenz-Pérez
Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual impli…