Keyphrases
- automated reasoning
- lecture notes
- advances in artificial intelligence
- computer science
- atlantic web intelligence
- web intelligence
- international conference
- conference on artificial intelligence
- intelligent web
- databases and information systems
- selected papers
- reasoning systems
- knowledge representation
- theorem proving
- international symposium
- theorem prover
- probabilistic reasoning
- reasoning tasks
- annual conference
- lecture notes in artificial intelligence
- acm conference
- artificial intelligence
- intelligence and security informatics
- centre for advanced studies
- knowledge discovery and data mining
- conference proceedings
- knowledge representation and reasoning
- data mining
- acm sigkdd
- learning analytics and knowledge
- machine learning
- expert systems
- computational intelligence
- knowledge base
- logic programming
- program chairs
- student research workshop
- first order logic
- inference rules