TY  - CPAPER
AU  - Sáenz Pérez, Fernando
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/24995
AB  - HypotheticalDatalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual implication (i.e., the neck of a Horn clause) stands for inferring facts, an...
LA  - eng
M2  - 64
KW  - Hypothetical Datalog
TI  - Restricted Predicates for Hypothetical Datalog
TY  - conference paper
ER  -