First-order stable model semantics with intensional functions.

Michael Bartholomew Joohyung Lee

Published in: Artif. Intell. (2019)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
first order logic
normal logic programs
logic programming
loop formulas
query evaluation
cost model
database systems
query processing
conjunctive queries
inductive logic programming