Issued Patents All Time
Showing 25 most recent of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12366440 | Interacting with machines using natural language input and an enhanced state graph | Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans | 2025-07-22 |
| 12320636 | Interacting with machines using natural language input and a state graph | Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans | 2025-06-03 |
| 12031814 | System for interacting with machines using natural language input | Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans | 2024-07-09 |
| 11900018 | Method for generating designs based on automatically built design space grammars | Matthew Klenk, Johan de Kleer | 2024-02-13 |
| 11725924 | Controlling mechanical systems based on natural language input | Shiwali Mohan, Matthew Klenk, Matthew Shreve, Aaron Ang, Kent Evans | 2023-08-15 |
| 11599709 | Natural language web browser | Kyle D. Dent, Daniel G. Bobrow | 2023-03-07 |
| 8706660 | System and method for efficient interpretation of natural images and document images in terms of objects and their parts | Evgeniy Bart, Prateek Sarkar | 2014-04-22 |
| 8577899 | Detecting duplicates in a shared knowledge base | — | 2013-11-05 |
| 8402542 | Non-sensitive-passage database for cut-and-paste attack detection systems | Tracy Holloway King, Philippe Jean-Paul Golle, Jessica N. Staddon | 2013-03-19 |
| 7788083 | Systems and methods for the generation of alternate phrases from packed meaning | — | 2010-08-31 |
| 7657420 | Systems and methods for the generation of alternate phrases from packed meaning | — | 2010-02-02 |
| 7302382 | Generating with lexical functional grammars | — | 2007-11-27 |
| 7225121 | Generating with Lexical Functional Grammars | Hadar Shemtov | 2007-05-29 |
| 7171403 | Systems and methods for efficient conjunction of Boolean variables | — | 2007-01-30 |
| 7165055 | Systems and methods for solving nogood databases | — | 2007-01-16 |
| 6064953 | Method for creating a disjunctive edge graph from subtrees during unification | Ronald M. Kaplan | 2000-05-16 |
| 5903860 | Method of conjoining clauses during unification using opaque clauses | Ronald M. Kaplan | 1999-05-11 |
| 5819210 | Method of lazy contexted copying during unification | Ronald M. Kaplan | 1998-10-06 |
| 5727222 | Method of parsing unification based grammars using disjunctive lazy copy links | — | 1998-03-10 |
| 5581780 | Stored string data with next and alternative information a processor can use to reach next and alternative locations in memory | Ronald M. Kaplan, Martin Kay | 1996-12-03 |
| 5533183 | User interface with multiple workspaces for sharing display system objects | D. Austin Henderson, Jr., Stuart K. Card | 1996-07-02 |
| 5450598 | Finite state machine data storage where data transition is accomplished without the use of pointers | Ronald M. Kaplan, Martin Kay | 1995-09-12 |
| 5438511 | Disjunctive unification | Ronald M. Kaplan | 1995-08-01 |
| 5394521 | User interface with multiple workspaces for sharing display system objects | D. Austin Henderson, Jr., Stuart K. Card | 1995-02-28 |
| 5325091 | Text-compression technique using frequency-ordered array of word-number mappers | Ronald M. Kaplan | 1994-06-28 |