Negation-Limited Formulas.

Siyao Guo Ilan Komargodski

Published in: APPROX-RANDOM (2015)

Keyphrases

logic programming
horn clauses
expert systems
logic programs
limited resources
information systems
database systems
optimal solution
fixpoint