Login / Signup

Notes on Constructive Negation.

Grigori Mints
Published in: Synth. (2006)
Keyphrases
  • logic programs
  • logic programming
  • note taking
  • deductive databases
  • predicate logic
  • bayesian networks
  • databases
  • artificial intelligence
  • knowledge base
  • multi agent
  • evolutionary algorithm
  • fixpoint