Keyphrases
- revised papers
- automated deduction
- lecture notes in artificial intelligence
- lecture notes
- papers are organized in topical sections
- soft computing
- book constitutes the refereed proceedings
- international conference
- computer science
- theorem proving
- artificial intelligence
- theorem prover
- international workshop
- international symposium
- inference rules
- industrial applications
- logic programming
- real estate
- deductive databases
- invited talk
- proceedings of the th international conference
- intelligent systems
- computational intelligence
- integrity constraints
- general purpose
- selected papers
- evolutionary algorithm
- mobile devices
- expert systems
- information systems