Sign in

Structures with Many-Valued Information and Their Relational Proof Theory.

Ivo DüntschWendy MacCaullEwa Orlowska
Published in: ISMVL (2000)
Keyphrases
  • proof theory
  • machine learning
  • relational databases
  • np hard
  • graphical models
  • default reasoning