Login / Signup
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.
Vernon Asuncion
Yan Zhang
Heng Zhang
Ruixuan Li
Published in:
J. Artif. Intell. Res. (2019)
Keyphrases
</>
function symbols
logic programs
logic programming
answer set programming
answer sets
stable models
background knowledge
fixpoint
normal form
inductive logic programming
horn clauses
answer set semantics
polynomial hierarchy
high level
deductive databases