From informal knowledge to formal logic: a realistic case study in medical protocols. Marcos, M., Balser, M., Ten Teije, A., & Van Harmelen, F. In Gomez-Perez, A. & Benjamins, R., editors, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management (\EKAW\-2002), LNAI, pages 3–13, Madrid, Spain, 2002. Springer.
From informal knowledge to formal logic: a realistic case study in medical protocols [pdf]Paper  bibtex   

Downloads: 0