Sign in
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.
Maja H. Kirkeby
Robert Glück
Published in:
PPDP (2020)
Keyphrases
</>
term rewriting systems
main contribution
database
probabilistic model
image reconstruction
software engineering
logic programs