NEITHER: A Propositional Theory Refinement
Edit Page
Report
Scan day: 07 February 2014 UTC
18
Virus safety - good
Description: A system to modify an incomplete or incorrect rule base to make it consistent with a set of input training examples. Written in C++ [Free]
The NEITHER Theory Revision System NEITHER is a propositional theory refinement system that will modify a incomplete or incorrect rule base so as to make it consistent with a set of input training examples. NEITHER has been extended to revise both Horn clauses and M-of-N rules. An iterative greedy method is used to efficiently compute repairs.
Size: 345 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The NEITHER Theory Revision System |
| Keywords: | |
| Description: | |
| IP-address: | 128.83.120.139 |
WHOIS Info
| NS | Name Servers: CHISOS.OTS.UTEXAS.EDU 128.83.185.39 GLASS.ITS.UTEXAS.EDU 129.116.136.5 |
| WHOIS | |
| Date | activated: 13-Aug-1985 last updated: 15-Aug-2012 expires: 31-Jul-2014 |