Login / Signup
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
Hudson Turner
Published in:
CoRR (2003)
Keyphrases
</>
strong equivalence
logic programs
constraint satisfaction
machine learning
natural language
answer sets