Login / Signup

On the Relation Between Approximation Fixpoint Theory and Justification Theory.

Simon MarynissenBart BogaertsMarc Denecker
Published in: IJCAI (2021)
Keyphrases
  • fixpoint
  • logic programs
  • difference equations
  • data exchange
  • proof theoretic