A Paraconsistent ASP-like Language with Tractable Model Generation

Open in new window