Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11868913 | System, apparatus and method for supporting formal verification of informal inference on a computer | — | 2024-01-09 |
| 11170312 | System, apparatus and method for supporting formal verification of informal inference on a computer | — | 2021-11-09 |
| 10043134 | System, apparatus and method for supporting formal verification of informal inference on a computer | — | 2018-08-07 |
| 7873587 | Method and system for creating a program to preform a desired task based on programs learned from other tasks | — | 2011-01-18 |
| 7853540 | System and method for constructing cognitive programs | — | 2010-12-14 |
| 7640221 | Plan and candidate plan based system for achieving one or more goals and sub-goals | — | 2009-12-29 |
| 7548893 | System and method for constructing cognitive programs | — | 2009-06-16 |
| 7437335 | Method and system for constructing cognitive programs | — | 2008-10-14 |
| 6124444 | DNA sequences useful for computation | — | 2000-09-26 |
| 5805106 | Dual polarization wave clutter reduction | — | 1998-09-08 |
| 5457403 | Fault tolerant and gate circuit | — | 1995-10-10 |
| 5023833 | Feed forward neural network for unary associative memory | John E. Moody, Frank Wilczek | 1991-06-11 |