Automated Reasoning Group
Edit Page
Report
Scan day: 07 March 2014 UTC
18
Virus safety - good
Description: Details of the group concerned with the development and application of theorem proving methodologies. Includes an introduction to their work, a list of members, and publications.
Our research group studies the development of computational methods that carry out some emulation of reasoning. This involves studying logic-based and other techniques that improve how some form of reasoning can be approximated by computation. One of our main activities involves the development and application of theorem provers.
Size: 331 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Automated Reasoning Group |
| Keywords: | automated reasoning, theorem proving, artificial intelligence, logic, formal verification |
| Description: | Home page of the Automated Reasoning Group at the Computer Lab, Cambridge University |
| IP-address: | 128.232.0.20 |