Brian Knight

According to our database1, Brian Knight authored at least 36 papers between 1983 and 2013.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2013
Formulating the Temporal Causal Relationships Between Events and Their Results.
Proceedings of the Research and Development in Intelligent Systems XXX, 2013

2011
Temporal model for business process.
Intell. Decis. Technol., 2011

2010
A Case Based Reasoning Approach for the Monitoring of Business Workflows.
Proceedings of the Case-Based Reasoning. Research and Development, 2010

2008
Classification of Spreadsheet Errors
CoRR, 2008

A Structured Methodology for Spreadsheet Modelling
CoRR, 2008

An Evaluation of a Structured Spreadsheet Development Methodology
CoRR, 2008

Deriving Explanations From Partial Temporal Information.
Proceedings of the Explanation-aware Computing, 2008

2006
Using Set Operations to Deal with the Frame Problem.
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005
Visualizing a Temporal Consistence Checker.
Proceedings of the 9th International Conference on Information Visualisation, 2005

CBE-Conveyor: A Case-Based Reasoning System to Assist Engineers in Designing Conveyor Systems.
Proceedings of the Case-Based Reasoning, 2005

2004
Case Based Adaptation Using Interpolation over Nominal Values.
Proceedings of the Research and Development in Intelligent Systems XXI, 2004

2003
Representing The Dividing Instant.
Comput. J., 2003

Case Base Adaptation Using Solution-Space Metrics.
Proceedings of the IJCAI-03, 2003

Case Base Reduction Using Solution-Space Metrics.
Proceedings of the Case-Based Reasoning Research and Development, 2003

A Framework for Historical Case-Based Reasoning.
Proceedings of the Case-Based Reasoning Research and Development, 2003

2002
Case-based retrieval of 3-dimensional shapes for the design of metal castings.
J. Intelligent Manufacturing, 2002

Efficient methods for checking integrity: a structured spreadsheet engineering methodology.
Informatica (Slovenia), 2002

2001
Quality Control in Spreadsheets: A Visual Approach using Color Codings to Reduce Errors in Formulae.
Software Quality Journal, 2001

A Case Based Reasoning System Capturing Fire Modelling Expertise.
Comput. Artif. Intell., 2001

Reified Temporal Logics: An Overview.
Artif. Intell. Rev., 2001

2000
Quality Control in Spreadsheets: A Software Engineering-based Approach to Spreadsheet Development.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Maintenance of a Case-Base for the Retrieval of Rotationally Symmetric Shapes for the Design of Metal Castings.
Proceedings of the Advances in Case-Based Reasoning, 5th European Workshop, 2000

1999
Temporal representation of state transitions.
AI EDAM, 1999

Efficient Methods for Checking Integrity: An Integrated Spreadsheet Engineering Methodology (ISEM).
Proceedings of the Integrity and Internal Control in Information Systems, 1999

1998
FuelGen: Effective Evolutionary Design of Refuellings for Pressurized Water Reactors.
Comput. Artif. Intell., 1998

1997
Representing Temporal Relationships between Events and their Effects.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

1996
A Reified Temporal Logic.
Comput. J., 1996

1994
A Revised Theory of Action and Time Based on Intervals and Points.
Comput. J., 1994

A General Temporal Theory.
Comput. J., 1994

A Temporal Database Model Supporting Relative and Absolute Time.
Comput. J., 1994

1993
An extended temporal system based on points and intervals.
Inf. Syst., 1993

Information Loss in Temporal Knowledge Representations.
Comput. J., 1993

Time representation: A taxonomy of temporal models.
Artif. Intell. Rev., 1993

1992
A Deductive Approach to Temporal Databases.
Comput. J., 1992

A General Temporal Model Supporting Duration Reasoning.
AI Commun., 1992

1983
A Mathematical Basis for Entity Analysis.
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983


  Loading...