Keyphrases
- answer set programming
- invited talk
- logic programs
- logic programming
- answer sets
- reasoning tasks
- constraint logic programming
- selected papers
- causal theories
- answer set programs
- stable model semantics
- temporal reasoning
- temporal information
- knowledge discovery and data mining
- haplotype inference
- stable models
- temporal constraints
- constraint satisfaction problems
- information retrieval
- database
- knowledge representation
- search algorithm
- artificial intelligence