Login / Signup

The Valid Model Semantics for Logic Programs.

Catriel BeeriRaghu RamakrishnanDivesh SrivastavaS. Sudarshan
Published in: PODS (1992)
Keyphrases
  • belief revision