Login / Signup

An Axiomatization of D-scheme Strong Equivalence.

Douglas R. Troeger
Published in: J. Comput. Syst. Sci. (1983)
Keyphrases
  • strong equivalence
  • logic programs
  • artificial intelligence
  • situation calculus
  • stable models