Login / Signup
Soundness and Completeness of Partial Deductions for Well-Founded Semantics.
Halina Przymusinska
Teodor C. Przymusinski
Hirohisa Seki
Published in:
LPAR (1992)
Keyphrases
</>
logic programming
logic programs
fixpoint
normal logic programs
deductive databases
defeasible logic
partial information
data sets
databases
decision trees
multiscale
video sequences
search algorithm