Keyphrases
- default logic
- keywords
- information retrieval
- commonsense knowledge
- database systems
- topic models
- latent dirichlet allocation
- related topics
- topic detection
- current issues
- topic modeling
- theorem prover
- answer sets
- situation calculus
- artificial intelligence
- learning algorithm
- closed world assumption
- disjunctive logic programming
- database
- covering a wide range
- hot topics
- nonmonotonic logics
- key concepts
- logic programming
- data mining
- databases