SOTAVerified

Logic Programs vs. First-Order Formulas in Textual Inference

2013-03-01WS 2013Unverified0· sign in to hype

Yuliya Lierler, Vladimir Lifschitz

Unverified — Be the first to reproduce this paper.

Reproduce

Tasks

Reproductions