Optimization of Rule-Based Systems Using State Space Graphs.

@article{DBLP:journals/tkde/ZupanC98,
  author    = {Blaz Zupan and
               Albert Mo Kim Cheng},
  title     = {Optimization of Rule-Based Systems Using State Space Graphs},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {2},
  year      = {1998},
  pages     = {238-254},
  ee        = {db/journals/tkde/ZupanC98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1998 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Online Edition: IEEE Computer Society DL

References

[1]

Serge Abiteboul, Eric Simon: Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theor. Comput. Sci. 78(1): 137-158(1991) BibTeX

[2]

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 BibTeX

[3]

...

[4]

...

[5]

Jeng-Rung Chen, Albert Mo Kim Cheng: Response Time Analysis of EQL Real-Time Rule-Based Systems. IEEE Trans. Knowl. Data Eng. 7(1): 26-43(1995) BibTeX

[6]

...

[7]

...

[8]

Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang: Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885(1993) BibTeX

[9]

...

[10]

...

[11]

...

[12]

...

[13]

...

[14]

Toru Ishida: An Optimization Algorithm for Production Systems. IEEE Trans. Knowl. Data Eng. 6(4): 549-558(1994) BibTeX

[15]

...

[16]

Christopher A. Marsh: The ISA Expert System: A Prototype System for Failure Diagnosis on the Space Station. IEA/AIE (Vol. 1) 1988: 60-74 BibTeX

[17]

Aloysius K. Mok: Formal Analysis of Real-Time Equational Rule-Based Systems. IEEE Real-Time Systems Symposium 1989: 308-318 BibTeX

[18]

Alexander J. Pasik: A Source-to-Source Transformation for Increasing Rule-Based System Parallelism. IEEE Trans. Knowl. Data Eng. 4(4): 336-343(1992) BibTeX

[19]

...

[20]

...

[21]

...

[22]

C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng: MRL: A Real-Time Rule-Based Production System. IEEE Real-Time Systems Symposium 1990: 267-277 BibTeX

[23]

...