Resources Contact Us Home
Method for efficiently checking coverage of rules derived from a logical theory

Image Number 6 for United States Patent #7379941.

The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree is transformed into a database of a coverage check apparatus. The rule is converted into a partial proof tree that has nodes. The partial proof tree is transformed into a database query of the coverage check apparatus. The query is executed to identify tuples in the database that correspond to the nodes of the partial proof tree.

  Recently Added Patents
Remote management of networked systems using secure modular platform
Pickup device and method for manufacturing the same
Semiconductor device including multi-chip
Fuel cell and a method of manufacturing a fuel cell
System and method for multi-threaded MIMO OFDM channel equalizer
Authentication for social networking messages
  Randomly Featured Patents
One piece channel suture packages
Game board
Cleaning bench for removing contaminants from semiconductor process equipment
Door lock mechanism
Stretching machine
Valve body
Method for making polynucleotides having desired characteristics
System and method for internet access to a personal television service
Package including an elastic container protector and a method and machine for fitting the protector
Delta sigma modulator and method for compensating delta sigma modulators for loop delay