Login / Signup
Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.
Vernon Asuncion
Yan Zhang
Heng Zhang
Published in:
AAAI (2017)
Keyphrases
</>
function symbols
logic programs
polynomially bounded
logic programming
answer set programming
fixpoint
answer sets
stable models
background knowledge
horn clauses
inductive logic programming
existentially quantified
database
knowledge base
data model
query language