Keyphrases
- automated reasoning
- advances in artificial intelligence
- international conference
- learning analytics and knowledge
- databases and information systems
- annual conference
- conference proceedings
- atlantic web intelligence
- invited speakers
- invited talk
- knowledge representation
- theorem proving
- intelligent web
- papers cover
- knowledge discovery and data mining
- centre for advanced studies
- theorem prover
- probabilistic reasoning
- selected papers
- book constitutes the refereed proceedings
- workshop proceedings
- progress in artificial intelligence
- reasoning tasks
- proof theory
- acm conference
- san diego
- carefully reviewed and selected from submissions
- short papers
- program chairs
- lecture notes
- international symposium
- lecture notes in artificial intelligence
- australasian database conference
- student research workshop
- international workshop
- data mining
- oral presentation
- czech republic
- computational intelligence
- markov random field
- logic programming