A connectionist approach to finding stable models and other structures in nonmonotonic reasoning (1993)

by R Vingrálek
Venue:in Proceedings of the Second International Workshop on Logic Programming and NonMonotonic Reasoning