Keyphrases
- automated deduction
- lecture notes
- computer science
- lecture notes in artificial intelligence
- theorem proving
- theorem prover
- international symposium
- international conference
- inference rules
- advances in artificial intelligence
- logic programming
- virtual environment
- deductive databases
- artificial intelligence
- international workshop
- virtual world
- event detection
- knowledge discovery
- knowledge discovery and data mining
- text classification
- machine learning
- first order logic
- logic programs
- book constitutes the refereed proceedings
- intelligence and security informatics