Stable Models for Infinitary Formulas with Extensional Atoms.
Amelia HarrisonVladimir LifschitzPublished in: CoRR (2016)
Keyphrases
- stable models
- logic programs
- logic programming
- horn clauses
- answer sets
- normal logic programs
- answer set programming
- stable model semantics
- fixpoint
- general theory
- background knowledge
- semantics for logic programs
- universal quantification
- loop formulas
- computational properties
- answer set semantics
- inductive logic programming
- search space
- strong equivalence
- deductive databases
- database
- computational problems
- partial order
- expert systems
- propositional theories
- machine learning