I. A. Tjandra, J. Calmet, G. Bittencourt  Home/Search
Context Related
| iakswww.ira.uka.de/iakscalm...ke90.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iakswww.ira.uka.d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose an approach to represent algebraic knowledge, using a hybrid knowledge representation system. This system includes assertional, terminological and semantic network representations as well as production system rules. (Update)
Context of citations to this paper: More
.... application of MANTRA which is to design an environment for mathematical knowledge representation suitable for Computer Algebra Systems [7] [6] Considering the fact that mathematical domains of computation are inherently modular and that there are inter relationships among...
Cited by: More
Mantra: A Shell For Hybrid Knowledge Representation - Calmet Bittencourt Tjandra (1991) (Correct)
MANTRA: A Multi-Level Hybrid Knowledge Representation.. - Bittencourt, Calmet.. (1994) (Correct)
Active bibliography (related documents): More All
1.5: Learning Complete Computational Structures - Calmet, Tjandra (1990) (Correct)
0.5: An Artificial Intelligence Environment for Computer Algebra - Calmet, Tjandra (1982) (Correct)
0.3: Unified Domains and Abstract Computational Structures - Calmet, Homann, Tjandra (1993) (Correct)
Similar documents based on text: More All
0.4: Hybrid Representation for Specification and Communication .. - Calmet, Homann, Tjandra (Correct)
0.3: Representation of Mathematical Knowledge - Calmet And Tjandra (1991) (Correct)
0.2: An Expert System for Correctness of Symbolic Computation - Calmet, Tjandra (Correct)
Related documents from co-citation: More All
2: A useful four-valued logic (context) - Belnap - 1977
2: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRY.. (context) - Brachman, Pigman et al. - 1985
2: Knowledge Retrieval as Specialized Inference (context) - Frisch - 1986
BibTeX entry: (Update)
J. Calmet, I.A. Tjandra, G. Bittencourt, A Framework for Representing Algebraic Knowledge Using a Hybrid Knowledge Representation System, Proceeding of The Fourth International Symposium on Knowledge Engineering, 1990. http://citeseer.ist.psu.edu/tjandra02framework.html More
@misc{ calmet90framework,
author = "J. Calmet and I. Tjandra and G. Bittencourt",
title = "A Framework for Representing Algebraic Knowledge Using a Hybrid Knowledge
Representation System",
text = "J. Calmet, I.A. Tjandra, G. Bittencourt, A Framework for Representing Algebraic
Knowledge Using a Hybrid Knowledge Representation System, Proceeding of
The Fourth International Symposium on Knowledge Engineering, 1990.",
year = "1990",
url = "citeseer.ist.psu.edu/tjandra02framework.html" }
Citations (may not include all citations):65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Gilbert et al. - 1985
32 Computer Algebra Symbolic and Algebraic Computation (context) - Buchberger, Collins et al. - 1983
10 Knowledge Retrieval as Specialized Inference ; Report No (context) - Frisch - 1987
4 Springer-Verlag Berlin Heidelberg New York Tokyo (context) - Bauer, Woessner et al. - 1984
4 Automated Theorem Proving ; Vieweg (context) - Bibel - 1982
2 Intelligent Computer Algebra System: Myth (context) - Calmet - 1988
2 Maple User's Guide ; WATCOM Publications Limited (context) - CHAR, GEDDES et al. - 1985
1 A Hybrid System Architecture and its Uni ed Semantics ; Acce.. (context) - Bittencourt - 1989
1 A Uni ed Formalism for Knowledge Representation (context) - Bittencourt - 1988
1 The Second Scandinavian Conference on Arti cial Intelligence (context) - Bittencourt, to et al. - 1989
1 An automated consultant for MACSYMA ; Proceedings of IJCAI (context) - Genesereth - 1977
1 On Inheritance Hierarchies with Exceptions ; Proceedings of .. (context) - Etherington - 1986
1 A Knowledge-Based System for Computer Algebra ; ACM-SIGSAM B.. (context) - Calmet, Lugiez - 1987
1 An Overview of the Scratchpad II Language and System ; IBM T.. (context) - Fortenbacher, Jenks et al. - 1986
Documents on the same site (http://iaks-www.ira.uka.de/iaks-calmet/publications.html): More
Validating Access to External Information Sources in a Mediator.. - Mann (2001) (Correct)
Learning Complete Computational Structures - Calmet, Tjandra (1990) (Correct)
Restoring the Link to Computer Science - Calmet (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC