Tensor-Based Abduction in Horn Propositional Programs.
Yaniv AspisKrysia BrodaAlessandra RussoPublished in: ILP Up-and-Coming / Short Papers (2018)
Keyphrases
- propositional logic
- propositional knowledge base
- horn clauses
- knowledge compilation
- belief revision
- np hard
- fixpoint
- logic programming
- answer set programs
- computer programs
- background knowledge
- first order logic
- high order
- answer set programming
- horn logic
- abductive reasoning
- knowledge base
- logic programs
- probabilistic logic
- reasoning tasks
- loop formulas
- constraint satisfaction problems
- lower bound