Virtual-U: An Online Learning Environment.
Proceedings of WebNet 97, 1997
A general approach for determining the validity of commonsense assertions using conditional logics.
Int. J. Intell. Syst., 1990
Novel Terms and Cooperation in a Natural Language Interface.
Proceedings of the Knowledge Based Computer Systems, 1989
Tableau-Based Theorem Proving In Normal Conditional Logics.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988