Contradiction Removal within Well Founded Semantics.

Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício

Published in: LPNMR (1991)

Keyphrases

logic programs
logic programming
deductive databases
fixpoint
defeasible logic
general logic programs
genetic algorithm
neural network
case based reasoning
data complexity
normal logic programs
image sharpening
databases
decision making
image processing