Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions - researchr publication

researchr

You are not signed in
Sign in
Sign up

C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli. Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. Journal of Automated Reasoning, 2(2):155-170, 1986.

Abstract is missing.

runs on WebDSL