Login / Signup

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.

Maja H. KirkebyRobert Glück
Published in: PPDP (2020)
Keyphrases
  • term rewriting systems
  • main contribution
  • database
  • probabilistic model
  • image reconstruction
  • software engineering
  • logic programs