J. Calmet G. Bittencourt I.A. Tjandra  @ NUS Home/Search
Context Related
| iakswww.ira.uka.de/iakscal...tai91.ps Cached: PS.gz PS PDF Image Update Help From: iakswww.ira.uka.d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we present a shell for hybrid knowledge representation. This system supports three di erent knowledge representation formalisms: First-order logic, terminological language and semantic networks. The rst-order logic formalism allows the representation of assertional knowledge in the form of logic formulae, and the calculation of an entailment relation that, although weaker than the usual logic implication, has the advantage of being decidable. The terminological language... (Update)
Context of citations to this paper: More
...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,...
Cited by: More
Reasoning on Knowledge in Symbolic Computing - Calmet, Homann, al. (1994) (Correct)
A Knowledge-Based Type System for Computer Algebra - Tjandra, Homann, Calmet (1994) (Correct)
A Unified-Algebra-based Specification Language for Symbolic.. - Calmet, Tjandra (1993) (Correct)
Similar documents (at the sentence level):
23.2%: MANTRA: A Multi-Level Hybrid Knowledge Representation.. - Bittencourt, Calmet.. (1994) (Correct)
Active bibliography (related documents): More All
0.3: Automated Theory Formation for Tutoring Tasks in Pure.. - Colton, McCasland.. (Correct)
0.3: On-Line Allocation of Robot Resources to Task Plans - Lyons (1988) (Correct)
0.3: Towards OM - An Object-Oriented Implementation of Mantra - Butler, Kharma (Correct)
Similar documents based on text: More All
0.5: A Framework for Representing Algebraic Knowledge Using .. - Tjandra, Calmet.. (2002) (Correct)
0.5: Representation of Mathematical Knowledge - Calmet And Tjandra (1991) (Correct)
0.5: Hybrid Representation for Specification and Communication .. - Calmet, Homann, Tjandra (Correct)
Related documents from co-citation: More All
3: Data Abstraction and Polymorphism (context) - Cardelli, Wegner et al. - 1985
3: Unified algebras and institutions (context) - Mosses - 1989
3: A decidable first-order logic for knowledge representation (context) - Patel-Schneider - 1985
BibTeX entry: (Update)
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. http://citeseer.comp.nus.edu.sg/673062.html More
@misc{ bittencourt91mantra,
author = "G. Bittencourt and J. Calmet and I. Tjandra",
title = "Mantra: A shell for hybrid knowledge representation",
text = "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.",
year = "1991",
url = "citeseer.comp.nus.edu.sg/673062.html" }
Citations (may not include all citations):183 A Useful Four-Valued Logic (context) - Belnap - 1977
170 ACM Transactions on Programming Languages and Systems (context) - Martelli, Montanari et al. - 1982
65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Gilbert et al. - 1985
44 Digital Press (context) - Jr, LISP - 1984
11 A Decidable First-Order Logic for Knowledge Representation (context) - Patel-Schneider - 1985
11 Epistemological Problems of Arti cial Intelligence (context) - McCarthy - 1985
10 A Calculus for Inheritance in Monotonic Semantic Nets (context) - Thomason, Horty et al. - 1986
10 Frame Representation and DeclarativeProcedural Controversy (context) - Representation, Procedural et al. - 1985
10 Reasoning with Incomplete Information: Investigations of Non.. (context) - Etherington - 1986
10 Knowledge Retrieval as Specialized Inference (context) - Frisch - 1987
9 A four-Valued Semantics for Frame-Based Description Language.. (context) - Patel-Schneider - 1986
3 An Architecture for Hybrid Knowledge Representation (context) - Bittencourt - 1990
3 The Handbook of Arti cial Intelligence (context) - Barr, Feigenbaum - 1982
2 A Framework for Representing Algebraic Knowledge Using a Hyb.. - Calmet, Tjandra et al. - 1990
1 An AI Environment for Computer Algebra (context) - Calmet, Tjandra - 1991
1 Object-Oriented Programming in FLAVORS andc CommonORBIT (context) - De Smedt - 1987
1 The Integration of LEX-YACC into Kyoto Common Lisp (context) - Vigouroux - 1988
The graph only includes citing articles where the year of publication is known.
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 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.