A Paraconsistent ASP-like Language with Tractable Model Generation

Andrzej Szalas

Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge representation tool. Though existing ASP variants enjoy efficient implementations, generating an answer set…