© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modelling Human Testing Strategies: A Computer-Aided Approach to Knowledge Acquisition (Poster)
Sophiana Chua Abdullah and Roger E. Cooley
In Proceedings of Workshop W1 on Modeling Human Teaching Tactics and Strategies,held as part of the Fifth International Conference on Intelligent Tutoring Systems, ITS'2000, Montr�al, Canada, pages 182-196, June 2000.Bibtex Record
@inproceedings{1077,
author = {Sophiana Chua Abdullah and Roger E. Cooley},
title = {{M}odelling {H}uman {T}esting {S}trategies: {A} {C}omputer-{A}ided {A}pproach to {K}nowledge {A}cquisition ({P}oster)},
month = {June},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1077},
booktitle = {Proceedings of Workshop W1 on Modeling Human Teaching Tactics and Strategies,held as part of the Fifth International Conference on Intelligent Tutoring Systems, ITS'2000, Montr�al, Canada},
publication_type = {inproceedings},
refereed = {yes},
submission_id = {24371_964615318},
}