Finite State Implementations of Knowledge-Based Programs

Ron van der Meyden. Finite State Implementations of Knowledge-Based Programs. In Vijay Chandru, V. Vinay, editors, Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings. Volume 1180 of Lecture Notes in Computer Science, pages 262-273, Springer, 1996.

@inproceedings{Meyden96,
  title = {Finite State Implementations of Knowledge-Based Programs},
  author = {Ron van der Meyden},
  year = {1996},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Meyden96},
  cites = {0},
  citedby = {0},
  pages = {262-273},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings},
  editor = {Vijay Chandru and V. Vinay},
  volume = {1180},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62034-6},
}