Login / Signup
-equivalence with A, C, and AC function symbols.
Mauricio Ayala-Rincón
Washington de Carvalho Segundo
Maribel Fernández
Daniele Nantes-Sobrinho
Ana Cristina Rocha Oliveira
Published in:
Theor. Comput. Sci. (2019)
Keyphrases
</>
function symbols
logic programs
first order logic
logic programming
answer set programming
normal form
knuth bendix
horn clauses
reasoning tasks
consistency checking
constraint programming
equational theories
incomplete information
inductive logic programming
stable models
data integration
knowledge representation