On Computing World Views of Epistemic Logic Programs.
Tran Cao SonTiep LePatrick Thor KahlAnthony P. LeclercPublished in: IJCAI (2017)
Keyphrases
- logic programs
- logic program updates
- logic programming
- answer sets
- stable models
- fixpoint
- answer set programming
- prolog programs
- background knowledge
- inductive logic programming
- computational properties
- term rewriting systems
- database
- stable model semantics
- nonmonotonic reasoning
- horn clauses
- normal logic programs
- partial deduction
- loop formulas
- materialized views
- propositional logic
- expressive power
- existentially quantified