Login / Signup

Constructive Negation Using Typed Existence Properties.

John G. ClearyLunjin Lu
Published in: PLILP/ALP (1998)
Keyphrases
  • desirable properties
  • data sets
  • logic programs
  • artificial intelligence
  • relational databases
  • deductive databases