J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In IEEE-Conference on Tools for AI, pp 164 --171. IEEE, IEEE Computer Society Press, 1991. @ NUS Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reengineering Unification And T-Entailment For Mantra In C++ - Kharma (1996) (Correct)
....by appropriate guides. ffl Acquisitional efficiency the ability to acquire new knowledge using automatic methods. To date no single system optimises all four properties. The main reason behind this is the trade off between expressive power and computational tractability [24] Mantra [8, 9], a shell for knowledge representation, offers three different formalisms: logic, semantic nets, and frames. The user can represent his knowledge using any of the formalisms. Then infer knowledge from one or a combination of formalism, through this hybrid inference the functionality of one ....
G. Bittencourt, J. Calmet, and I.A. Tjandra. Mantra: A shell for hybrid knowledge representation. In Tools for Artificial Intelligence. IEEE Computer Society Press, 1991.
Reasoning on Knowledge in Symbolic Computing - Calmet, Homann, al. (1994) Self-citation (Calmet Tjandra) (Correct)
No context found.
J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In IEEE-Conference on Tools for AI, pp 164 --171. IEEE, IEEE Computer Society Press, 1991.
A Knowledge-Based Type System for Computer Algebra - Tjandra, Homann, Calmet (1994) Self-citation (Calmet Tjandra) (Correct)
No context found.
J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In IEEE-Conference on Tools for AI, pp 164 --171. IEEE, IEEE Computer Society Press, 1991.
A Unified-Algebra-based Specification Language for Symbolic.. - Calmet, Tjandra (1993) (1 citation) Self-citation (Calmet Tjandra) (Correct)
No context found.
J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In IEEE-Conference on Tools for AI, pages 164 {171. IEEE, IEEE Computer Society Press, 1991.
Unified Domains and Abstract Computational Structures - Calmet, Homann, Tjandra (1993) Self-citation (Calmet) (Correct)
No context found.
Calmet,J., Bittencourt,G., Tjandra, I.A., MANTRA: A Shell for Hybrid Knowledge Representation, Proceedings of the third International conference on Tools for Artificial Intelligence, San Jose USA, November 5 -- 8, 1991, IEEE Computer Society Press.
A Novel Approach Towards an Integration of Multiple.. - Calmet, Messing, Schü (1993) Self-citation (Calmet) (Correct)
....constraints we are furthermore able to amalgamate schematic different knowledge representations and to define a suitable negation operator more efficient than the stable semantics of ordinary deductive databases. An already implemented multivalued hybrid knowledge representation system MANTRA [4] provides already some of the necessary capabilities. We are currently extending it by a component that uses annotated logics. Up to now, hybrid knowledge representation has only considered hybrid inference within frames, semantic nets, rules, and first order logic, but our framework enables ....
J. Calmet, I.A. Tjandra, G. Bittencourt, MANTRA: A Shell for Hybrid Knowledge Representation Proceedings of the Third IEEE International Conference on Tools for Artificial Intelligence, San Jose, 1991, pp.164-171
Towards OM - An Object-Oriented Implementation of Mantra - Butler, Kharma Self-citation (Tjandra) (Correct)
....and hybrid inferences. It supports three different knowledge representation formalisms: logic, frames, and semantic nets. Knowledge is represented in one of the formalisms and then inferred from one or a combination of the formalisms. Mantra was developed in Karlsruhe in 1991 [Bittencourt, 1990; Bittencourt et al. 1991; Bittencourt et al. 1994] and implemented in Common Lisp. The motivations behind its development were: To provide a combination of knowledge representation formalisms since each formalism is usually suitable for a particular kind of knowledge. The user can then decide which representation is ....
Bittencourt, G., Calmet, J., and Tjandra, I.A. (1991). Mantra: A shell for hybrid knowledge representation. In Tools for Artificial Intelligence. IEEE Computer Society Press.
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.