Freeness Analysis for Logic Programs - And Correctness?

Michael Codish Dennis Dams Gilberto Filé Maurice Bruynooghe

Published in: ICLP (1993)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
computational properties
artificial intelligence
background knowledge
fixpoint
stable models
programming language
inductive logic programming
definite clause