A Quantifier-Free Completion of Logic Programs.

Robert F. Stärk

Published in: CSL (1989)

Keyphrases

logic programs
loop formulas
logic programming
rewrite systems
answer sets
stable models
fixpoint
answer set programming
inductive logic programming
first order logic
computational properties
term rewriting
horn clauses
databases
database
relational database systems
machine learning