Keyphrases
- automated reasoning
- knowledge discovery and data mining
- advances in artificial intelligence
- international conference
- databases and information systems
- annual conference
- acm conference
- acm sigkdd
- conference on artificial intelligence
- knowledge representation
- theorem prover
- reasoning systems
- intelligence and security informatics
- theorem proving
- probabilistic reasoning
- centre for advanced studies
- invited talk
- reasoning tasks
- selected papers
- international workshop
- conference proceedings
- lecture notes in artificial intelligence
- knowledge discovery
- czech republic
- computer science
- student research workshop
- knowledge representation and reasoning
- australasian database conference
- learning analytics and knowledge
- progress in artificial intelligence
- atlantic web intelligence
- acm sigmis cpr
- researchers and practitioners
- computer society
- artificial intelligence and law
- artificial intelligence
- machine learning
- acceptance rate
- poster session
- lecture notes
- computational intelligence
- invited speakers
- state space
- bayesian networks
- neural network