Context-aware Generation of Proof Scripts for Theorem Proving.
Chuanhu ChengYan XiongWenchao HuangLu MaPublished in: BigCom (2020)
Keyphrases
- context aware
- theorem proving
- proof planning
- theorem prover
- contextual information
- geometry theorem proving
- first order logic
- decision procedures
- inference rules
- context awareness
- automated theorem proving
- automated deduction
- mobile devices
- ubiquitous computing
- automated reasoning
- ambient intelligence
- proof procedure
- parallel search
- term rewriting
- consequence finding
- pervasive computing
- mobile computing
- context aware systems
- context aware ubiquitous learning
- ubiquitous learning
- proof search
- smart environments
- mobile users
- mobile applications
- context aware services
- ubiquitous environment
- predicate calculus
- smart home
- user context
- smart spaces
- propositional logic
- context aware preferences