The power of non-ground rules in Answer Set Programming.
Manuel BichlerMichael MorakStefan WoltranPublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- answer set programming
- logic programs
- answer sets
- logic programming
- answer set semantics
- constraint logic programming
- strong equivalence
- stable model semantics
- answer set programs
- causal theories
- reasoning tasks
- definite clause
- stable models
- derivation rules
- background knowledge
- disjunctive logic programming
- artificial intelligence
- haplotype inference
- machine learning
- declarative programming
- update semantics
- default theories
- fixpoint
- inductive logic programming
- natural language
- database systems
- knowledge base
- genetic algorithm