Mark Proctor

Person

London, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Node sharing for a rule engine coded in a compiled language
- Patent number 11,928,609
- Issue date Mar 12, 2024
- Red Hat, Inc.
- Luca Molteni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Framework for modeling with domain model capabilities
- Patent number 10,817,268
- Issue date Oct 27, 2020
- Red Hat, Inc.
- Roger Martinez Palleja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pluggable knowledge types in a rule engine
- Patent number 10,755,186
- Issue date Aug 25, 2020
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Thread coordination in a rule engine using a state machine
- Patent number 10,430,234
- Issue date Oct 1, 2019
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Building a hybrid reactive rule engine for relational and graph rea...
- Patent number 10,339,454
- Issue date Jul 2, 2019
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tabular widget with mergable cells
- Patent number 10,061,758
- Issue date Aug 28, 2018
- Red Hat, Inc.
- Michael Anstis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient binary protocol marshalling for rule engine sessions
- Patent number 9,361,582
- Issue date Jun 7, 2016
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Property reactive modifications in a rete network
- Patent number 9,286,570
- Issue date Mar 15, 2016
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pattern behavior support in a rule engine
- Patent number 9,213,942
- Issue date Dec 15, 2015
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using left and right unlinking
- Patent number 8,930,297
- Issue date Jan 6, 2015
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulation and test framework for a rule engine
- Patent number 8,756,049
- Issue date Jun 17, 2014
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-dimensional tuple support in rule engines
- Patent number 8,712,949
- Issue date Apr 29, 2014
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Knowledgebase partitioning
- Patent number 8,645,296
- Issue date Feb 4, 2014
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Left and right unlinking for a shared knowledge base
- Patent number 8,600,914
- Issue date Dec 3, 2013
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing churn from excessive unlinking by logically unlinking inpu...
- Patent number 8,589,322
- Issue date Nov 19, 2013
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lazily enabled truth maintenance in rule engines
- Patent number 8,538,905
- Issue date Sep 17, 2013
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus to abstract away rule languages
- Patent number 8,418,135
- Issue date Apr 9, 2013
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-result set calculation support in rule engines
- Patent number 8,417,659
- Issue date Apr 9, 2013
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multiple entry point network for stream support in a rule engine
- Patent number 8,352,402
- Issue date Jan 8, 2013
- Red Hat, Inc.
- Edson Tirelli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sequential mode in a Rete rule engine
- Patent number 8,315,967
- Issue date Nov 20, 2012
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient binary protocol marshalling for rule engine sessions
- Patent number 8,271,419
- Issue date Sep 18, 2012
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Alpha node hashing in a rule engine
- Patent number 8,024,281
- Issue date Sep 20, 2011
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mechanism to abstract fact types from a rule engine
- Patent number 7,991,727
- Issue date Aug 2, 2011
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus to define a ruleflow
- Patent number 7,912,801
- Issue date Mar 22, 2011
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pluggable dialects for a rule engine
- Patent number 7,904,402
- Issue date Mar 8, 2011
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
NODE SHARING FOR A RULE ENGINE CODED IN A COMPILED LANGUAGE
- Publication number 20220156616
- Publication date May 19, 2022
- Red Hat, Inc.
- Luca Molteni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FRAMEWORK FOR MODELING WITH DOMAIN MODEL CAPABILITIES
- Publication number 20190050207
- Publication date Feb 14, 2019
- Red Hat, Inc.
- Roger Martinez Palleja
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
THREAD COORDINATION IN A RULE ENGINE USING A STATE MACHINE
- Publication number 20170236062
- Publication date Aug 17, 2017
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BUILDING A HYBRID REACTIVE RULE ENGINE FOR RELATIONAL AND GRAPH REA...
- Publication number 20170200083
- Publication date Jul 13, 2017
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PLUGGABLE KNOWLEDGE TYPES IN A RULE ENGINE
- Publication number 20170061289
- Publication date Mar 2, 2017
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROPERTY REACTIVE MODIFICATIONS IN A RETE NETWORK
- Publication number 20140201124
- Publication date Jul 17, 2014
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TABULAR WIDGET WITH MERGABLE CELLS
- Publication number 20130262974
- Publication date Oct 3, 2013
- Red Hat, Inc.
- Michael Anstis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT BINARY PROTOCOL MARSHALLING FOR RULE ENGINE SESSIONS
- Publication number 20120330877
- Publication date Dec 27, 2012
- Red Hat, Inc.
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-DIMENSIONAL TUPLE SUPPORT IN RULE ENGINES
- Publication number 20120143811
- Publication date Jun 7, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-RESULT SET CALCULATION SUPPORT IN RULE ENGINES
- Publication number 20120143812
- Publication date Jun 7, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LAZILY ENABLED TRUTH MAINTENANCE IN RULE ENGINES
- Publication number 20120143809
- Publication date Jun 7, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEFT AND RIGHT UNLINKING FOR A SHARED KNOWLEDGE BASE
- Publication number 20120136811
- Publication date May 31, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD TO REDUCE CHURN FROM EXCESSIVE UNLINKING
- Publication number 20120136820
- Publication date May 31, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING LEFT AND RIGHT UNLINKING SIMULTANEOUSLY
- Publication number 20120136821
- Publication date May 31, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATION AND TEST FRAMEWORK FOR A RULE ENGINE
- Publication number 20120016831
- Publication date Jan 19, 2012
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT BINARY PROTOCOL MARSHALLING FOR RULE ENGINE SESSIONS
- Publication number 20110055137
- Publication date Mar 3, 2011
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTIPLE ENTRY POINT NETWORK FOR STREAM SUPPORT IN A RULE ENGINE
- Publication number 20110040708
- Publication date Feb 17, 2011
- Red Hat, Inc.
- Edson Tirelli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATTERN BEHAVIOR SUPPORT IN A RULE ENGINE
- Publication number 20110040709
- Publication date Feb 17, 2011
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
KNOWLEDGEBASE PARTITIONING
- Publication number 20110040714
- Publication date Feb 17, 2011
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Alpha node hashing in a rule engine
- Publication number 20090222386
- Publication date Sep 3, 2009
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Beta node indexing in a rule engine
- Publication number 20090222397
- Publication date Sep 3, 2009
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mechanism to abstract fact types from a rule engine
- Publication number 20090216702
- Publication date Aug 27, 2009
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Pluggable dialects for a rule engine
- Publication number 20090063382
- Publication date Mar 5, 2009
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Sequential mode in a Rete engine
- Publication number 20090063385
- Publication date Mar 5, 2009
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus to define a ruleflow
- Publication number 20080301079
- Publication date Dec 4, 2008
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus to abstract away rule languages
- Publication number 20080301078
- Publication date Dec 4, 2008
- Mark Proctor
- G06 - COMPUTING CALCULATING COUNTING

Mark Proctor

Person

Patents Grantslast 30 patents

Node sharing for a rule engine coded in a compiled language

Framework for modeling with domain model capabilities

Pluggable knowledge types in a rule engine

Thread coordination in a rule engine using a state machine

Building a hybrid reactive rule engine for relational and graph rea...

Tabular widget with mergable cells

Efficient binary protocol marshalling for rule engine sessions

Property reactive modifications in a rete network

Pattern behavior support in a rule engine

Using left and right unlinking

Simulation and test framework for a rule engine

Multi-dimensional tuple support in rule engines

Knowledgebase partitioning

Left and right unlinking for a shared knowledge base

Reducing churn from excessive unlinking by logically unlinking inpu...

Lazily enabled truth maintenance in rule engines

Method and apparatus to abstract away rule languages

Multi-result set calculation support in rule engines

Multiple entry point network for stream support in a rule engine

Sequential mode in a Rete rule engine

Efficient binary protocol marshalling for rule engine sessions

Alpha node hashing in a rule engine

Mechanism to abstract fact types from a rule engine

Method and apparatus to define a ruleflow

Pluggable dialects for a rule engine

Patents Applicationslast 30 patents

NODE SHARING FOR A RULE ENGINE CODED IN A COMPILED LANGUAGE

FRAMEWORK FOR MODELING WITH DOMAIN MODEL CAPABILITIES

THREAD COORDINATION IN A RULE ENGINE USING A STATE MACHINE

BUILDING A HYBRID REACTIVE RULE ENGINE FOR RELATIONAL AND GRAPH REA...

PLUGGABLE KNOWLEDGE TYPES IN A RULE ENGINE

PROPERTY REACTIVE MODIFICATIONS IN A RETE NETWORK

TABULAR WIDGET WITH MERGABLE CELLS

EFFICIENT BINARY PROTOCOL MARSHALLING FOR RULE ENGINE SESSIONS

MULTI-DIMENSIONAL TUPLE SUPPORT IN RULE ENGINES

MULTI-RESULT SET CALCULATION SUPPORT IN RULE ENGINES

LAZILY ENABLED TRUTH MAINTENANCE IN RULE ENGINES

LEFT AND RIGHT UNLINKING FOR A SHARED KNOWLEDGE BASE

METHOD TO REDUCE CHURN FROM EXCESSIVE UNLINKING

USING LEFT AND RIGHT UNLINKING SIMULTANEOUSLY

SIMULATION AND TEST FRAMEWORK FOR A RULE ENGINE

EFFICIENT BINARY PROTOCOL MARSHALLING FOR RULE ENGINE SESSIONS

MULTIPLE ENTRY POINT NETWORK FOR STREAM SUPPORT IN A RULE ENGINE

PATTERN BEHAVIOR SUPPORT IN A RULE ENGINE

KNOWLEDGEBASE PARTITIONING

Alpha node hashing in a rule engine

Beta node indexing in a rule engine

Mechanism to abstract fact types from a rule engine

Pluggable dialects for a rule engine

Sequential mode in a Rete engine

Method and apparatus to define a ruleflow

Method and apparatus to abstract away rule languages