Mark Proctor

Orcid: 0000-0002-1746-072X

According to our database1, Mark Proctor authored at least 13 papers between 2002 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment.
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019

Rule Modularity and Execution Control Enhancements for a Java-Based Rule Engine.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
Reducing the Cost of the Linear Growth Effect Using Adaptive Rules with Unlinking and Lazy Rule Evaluation.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017
The Effectiveness of DMN Portability.
Proceedings of the Doctoral Consortium, 2017

2015
Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

2013
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

2011
Drools: A Rule Engine for Complex Event Processing.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information.
IEEE Trans. Knowl. Data Eng., 2010

2009
Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

2008
Adding Uncertainty to a Rete-OO Inference Engine.
Proceedings of the Rule Representation, 2008

2007
Relational Declarative Programming with JBoss Drools.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates.
Proceedings of the Advances in Rule Interchange and Applications, International Symposium, 2007

2002
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002


  Loading...