Login / Signup

First-Order Stable Model Semantics with Intensional Functions.

Michael BartholomewJoohyung Lee
Published in: CoRR (2023)
Keyphrases
  • stable model semantics
  • logic programs
  • answer set programming
  • stable models
  • loop formulas
  • first order logic
  • modulo theories
  • answer set programs
  • database
  • general purpose
  • horn clauses
  • knowledge base
  • answer sets