On Saturation with Flexible Function Symbols.

Regimantas Pliuskevicius

Published in: MFCS (1996)

Keyphrases

function symbols
logic programs
first order logic
answer set programming
horn clauses
knuth bendix
logic programming
normal form
reasoning tasks
database
artificial intelligence