Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017.
Published in: ACL2 (2017)
Keyphrases
- theorem prover
- lecture notes in artificial intelligence
- lecture notes
- international conference
- international workshop
- trends in artificial intelligence
- pacific rim
- theorem proving
- first order logic
- computer science
- advances in artificial intelligence
- inference rules
- automated reasoning
- automated theorem proving
- term rewriting
- selected papers
- international symposium
- conference proceedings
- formal proof
- computer algebra
- expert systems
- formal semantics
- proof planning
- working conference
- natural deduction
- natural language learning
- computer algebra systems
- mathematical knowledge
- book constitutes the refereed proceedings
- knowledge discovery and data mining
- computational intelligence
- probabilistic model
- boolean algebra
- multi disciplinary
- artificial intelligence
- proof search
- learning algorithm