ATS: A Language That Combines Programming with Theorem Proving.
Sa CuiKevin DonnellyHongwei XiPublished in: FroCoS (2005)
Keyphrases
- theorem proving
- programming language
- automatic programming
- predicate calculus
- automated deduction
- first order logic
- programming environment
- parallel search
- object oriented programming
- proof planning
- scripting language
- theorem prover
- automated reasoning
- decision procedures
- inference rules
- term rewriting
- automated theorem proving
- geometry theorem proving
- proof procedure
- consequence finding
- natural language
- machine learning
- computer programs
- logical inference
- operational semantics
- knowledge representation
- distributed search
- target language
- knowledge base