Login / Signup
Negation-limited formulas.
Siyao Guo
Ilan Komargodski
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
horn clauses
logic programs
decision trees
compositional semantics