Spectra with Only Unary Function Symbols.

Arnaud Durand Ronald Fagin Bernd Loescher

Published in: CSL (1997)

Keyphrases

function symbols
logic programs
first order logic
logic programming
normal form
pairwise
answer set programming
horn clauses
knuth bendix
reasoning tasks
consistency checking
equational theories
stable models
constraint programming
background knowledge
expert systems
search algorithm
optimal solution