Graphs and colorings for answer set programming
Kathrin KonczakThomas LinkeTorsten SchaubPublished in: CoRR (2005)
Keyphrases
- answer set programming
- logic programming
- logic programs
- answer sets
- constraint logic programming
- stable model semantics
- causal theories
- reasoning tasks
- answer set programs
- knowledge representation
- tree decomposition
- stable models
- graph theory
- haplotype inference
- graph mining
- machine learning
- qualitative spatial and temporal reasoning
- graph model
- programming language