MANTRA: a shell for hybrid knowledge representation
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 164-171
- https://doi.org/10.1109/tai.1991.167091
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982