Author:
Calmet Jacques,Tjandra Indra A.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. N.D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein, editors, Modern Use of Multiple-Valued Logics. D. Reidel, 1977.
2. R.J. Brachman, R.E. Fikes, and H.J. Levesque. Krypton: A functional approach to knowledge representation. IEEE Computer, 16(10), pp. 67–73, October 1983.
3. G. Bittencourt. An Architecture for Hybrid Knowledge Representation. PhD thesis, Universität Karlsruhe, Institut für Algorithme und Kognitive Systeme, 1990.
4. J. Calmet and I.A. Tjandra. A unified-algebra-based specification language for symbolic computing. In A. Miola, editor, Design and Implementaion of Symbolic Computation Systems. Springer-Verlag, LNCS 722, pp. 122–133, 1993.
5. J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In E. Lee, B. Wah, N.G. Bourbakis, and W.T. Tsai, editors, Tools for Artificial Intelligence, pp. 164–171. IEEE Computer Society Press, 1991.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献