Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System, apparatus and method for supporting formal verification of informal inference on a computer

System, apparatus and method for supporting formal verification of informal inference on a computer

US Patent 11868913 · Granted Jan 9, 2024

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System, apparatus and method for supporting formal verification of informal infe2021
System, apparatus and method for supporting formal verification of informal infe2018
Method and system for creating a program to preform a desired task based on prog2011
System and method for constructing cognitive programs2010
Plan and candidate plan based system for achieving one or more goals and sub-goa2009
System and method for constructing cognitive programs2009
Method and system for constructing cognitive programs2008
DNA sequences useful for computation2000
Dual polarization wave clutter reduction1998
Fault tolerant and gate circuit1995
Feed forward neural network for unary associative memory1991