Higher order logic applied to expert systems for alarm analysis, filtering, correlation… Grant US-8219512-B2 United States of America 10 Jul 2012
Computer mediated natural language based communication augmented by arbitrary and… Grant US-8145474-B1 United States of America 27 Mar 2012
Higher order logic applied to expert systems for alarm analysis, filtering, correlation… Grant US-8027946-B1 United States of America 27 Sep 2011
Expert system knowledge-deficiency reduction through automated database updates from semi-s… Application US-6374261-B1 United States of America 16 Apr 2002