Login / Signup

The Minimal Negated Model Semantics of Assumable Logic Programs.

Shutao ZhangZhizheng Zhang
Published in: KSEM (3) (2023)
Keyphrases
  • logic programs
  • logic programming
  • stable models
  • high level
  • conceptual model
  • answer sets
  • fixpoint
  • computational properties
  • semantics for logic programs
  • nonmonotonic reasoning
  • default reasoning
  • fixpoint semantics