Keyphrases
- automated reasoning
- lecture notes
- advances in artificial intelligence
- computer science
- atlantic web intelligence
- conference on artificial intelligence
- selected papers
- international conference
- web intelligence
- databases and information systems
- reasoning systems
- intelligent web
- probabilistic reasoning
- lecture notes in artificial intelligence
- theorem proving
- theorem prover
- knowledge representation
- international symposium
- reasoning tasks
- annual conference
- acm conference
- artificial intelligence
- intelligence and security informatics
- knowledge representation and reasoning
- machine learning
- computational intelligence
- progress in artificial intelligence
- inference rules
- artificial intelligence and law
- centre for advanced studies
- international workshop
- computer science education
- expert systems
- conference proceedings
- knowledge discovery and data mining
- national science foundation
- acm sigmis cpr
- learning analytics and knowledge