Keyphrases
- lecture notes
- theorem prover
- computer science
- user interface
- lecture notes in artificial intelligence
- theorem proving
- automated reasoning
- international symposium
- inference rules
- first order logic
- automated theorem proving
- automated deduction
- computer algebra
- formal semantics
- advances in artificial intelligence
- international conference
- artificial intelligence
- data mining
- timed automata
- natural deduction
- selected papers
- higher order logic
- trends in artificial intelligence
- machine learning
- international workshop
- end users
- expert systems
- high level
- conference proceedings
- graphical user interfaces
- probabilistic reasoning
- propositional logic
- pacific rim