On strong equivalence theorem for answer set semantics with strong negationстатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 4 сентября 2018 г.
Аннотация:We discuss the problem of finding a minimal deductive base for paraconsistent and ordinary answer set semantics satisfying the strong equivalence theorem.