Login / Signup

Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation.

Alexandre Miguel PintoLuís Moniz Pereira
Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
  • logic programs
  • logic programming
  • semantics for logic programs
  • metamodel
  • stable models
  • knowledge representation
  • answer sets
  • answer set programming