On the Termination of Logic Programs with Function Symbols.

Sergio Greco Francesca Spezzano Irina Trubitsyna

Published in: ICLP (Technical Communications) (2012)

Keyphrases

function symbols
logic programs
logic programming
answer set programming
answer sets
stable models
fixpoint
background knowledge
horn clauses
inductive logic programming
expert systems
relational databases
active rules
normal logic programs