Keyphrases
- automated reasoning
- atlantic web intelligence
- advances in artificial intelligence
- intelligent web
- databases and information systems
- international conference
- lecture notes
- computer science
- web intelligence
- annual conference
- acm conference
- knowledge representation
- theorem proving
- reasoning systems
- selected papers
- conference on artificial intelligence
- theorem prover
- progress in artificial intelligence
- centre for advanced studies
- probabilistic reasoning
- lecture notes in artificial intelligence
- international workshop
- intelligence and security informatics
- reasoning tasks
- knowledge discovery and data mining
- learning analytics and knowledge
- international symposium
- conference proceedings
- australasian database conference
- acm sigkdd
- knowledge representation and reasoning
- artificial intelligence in medicine
- student research workshop
- acm sigmis cpr
- computational intelligence
- invited talk
- neural network
- machine learning
- artificial intelligence and law
- fuzzy logic
- np complete
- first order logic
- artificial intelligence