Login / Signup

Inlining External Sources in Answer Set Programs.

Christoph Redl
Published in: Theory Pract. Log. Program. (2019)
Keyphrases
  • answer set programs
  • answer set programming
  • answer sets
  • logic programs
  • stable models
  • virtual machine
  • logic programming
  • reasoning tasks
  • event calculus
  • knowledge base
  • update operators