First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).
Amelia HarrisonYuliya LierlerPublished in: IJCAI (2017)
Keyphrases
- extended abstract
- logic programs
- general logic programs
- horn clauses
- logic programming
- answer set programs
- loop formulas
- model theoretic
- answer sets
- answer set programming
- fixpoint
- stable models
- disjunctive logic programs
- default logic
- normal logic programs
- partial deduction
- computational properties
- background knowledge
- inductive logic programming
- first order logic
- default theories
- propositional theories
- term rewriting systems
- strong equivalence
- deductive databases
- integrity constraints
- semantics for logic programs
- knowledge base
- autoepistemic logic
- answer set semantics
- stable model semantics
- valued logic