Jan Treur, Mark Willems. Formal Notions for Verification of Dynamics of Knowledge-Based Systems. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 189-199, ADERIAS-LIA, Universite de Savoie, 1995.
@inproceedings{TreurW95,
title = {Formal Notions for Verification of Dynamics of Knowledge-Based Systems},
author = {Jan Treur and Mark Willems},
year = {1995},
tags = {rule-based},
researchr = {https://researchr.org/publication/TreurW95},
cites = {0},
citedby = {0},
pages = {189-199},
booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995},
editor = {Marc Ayel and Marie-Christine Rousset},
publisher = {ADERIAS-LIA, Universite de Savoie},
}