Login / Signup

Soundness and Completeness of Partial Deductions for Well-Founded Semantics.

Halina PrzymusinskaTeodor C. PrzymusinskiHirohisa 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