Author of the publication

Recent Progress in Machine-Expert Collaboration for Knowledge Acquisition

, and . Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), page 291-298. Singapore, World Scientific, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Development of a Dynamic Bolus Phantom System for Magnetic Particle Imaging, , , , , , , , and . page p. 22, Ilmenau, Germany. (September 2019)An Experimental Evaluation of Integrating Machine Learning with Knowledge Acquisition Through Direct Interaction with Domain Experts, and . Proceedings of the 1996 Pacific Knowledge Acquisition Workshop (PKAW'96), page 170-189. Sydney, UNSW Press, (1996)Long-term Stable Measurement Phantoms for Quantitative Magnetic Particle Imaging, , , , , , , , and . (July 2017)Recent Progress in Machine-Expert Collaboration for Knowledge Acquisition, and . Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), page 291-298. Singapore, World Scientific, (1995)Mass analysis at the advent of the 21st century, and . Chemical Reviews, 101 (2): 571--606 (February 2001)405BM Times Cited:38 Cited References Count:409.Restoring Natural Language as a Computerised Mathematics Input Method., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)Toward an Object-Oriented Structure for Mathematical Text., , and . MKM, volume 3863 of Lecture Notes in Computer Science, page 217-233. Springer, (2005)Equational Reasoning for Linking with First-Class Primitive Modules., and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 412-428. Springer, (2000)System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types., , , and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 294-309. Springer, (2004)A calculus with polymorphic and polyvariant flow types., , , and . J. Funct. Program., 12 (3): 183-227 (2002)