Login / Signup

On Heuer's Procedure for Verifying Strong Equivalence.

Jorge FandinnoVladimir Lifschitz
Published in: JELIA (2023)
Keyphrases
  • strong equivalence
  • logic programs
  • database systems
  • computational complexity
  • probability distribution
  • autoepistemic logic