The Treatment of Negation in Logic Programs for Representing Legislation

Robert A. Kowalski. The Treatment of Negation in Logic Programs for Representing Legislation. In ICAIL. pages 11-15, 1989. [doi]

Abstract

Abstract is missing.