Keyphrases
- international conference
- automated reasoning
- czech republic
- ifip wg
- computational intelligence
- web information systems and mining
- computational molecular biology
- decision procedures
- computer and information science
- koli calling
- knowledge representation
- web intelligence
- theorem prover
- neural network
- conference proceedings
- probabilistic reasoning
- modal logic
- constraint satisfaction problems
- artificial intelligence