Composing Normal Programs with Function Symbols.

Sabrina Baselice Piero A. Bonatti

Published in: ICLP (2008)

Keyphrases

function symbols
logic programs
first order logic
normal form
answer set programming
logic programming
horn clauses
knuth bendix
stable models
reasoning tasks
constraint programming
consistency checking
equational theories
databases
answer sets
background knowledge
database systems