a study of a generalisation relation and of its algorithmic properties Colin...  Home/Search
Context
Related
| lirmm.fr/mab/IMG/pdf/HDVFI96.pdf 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: lirmm.fr/mab/IMG/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Signatures, as introduced to cope with semantics of programming languages, provide an interesting framework for knowledge representation. They allow structured and recursive properties that attribute representation does not permit, and at the same time seem to be algorithmically treatable. We recall how a generalisation relation on terms can be introduced by means of the classical special symbol , whose meaning is "indeterminate", and the partial order inductively defined on the terms.... (Update)
Similar documents (at the sentence level):
77.8%: On Sets of Terms: A Study of a Generalisation Relation.. - Higuera, Daniel-Vatonne (1996) (Correct)
Active bibliography (related documents): More All
0.5: Unified Versioning through Feature Logic - Zeller, Snelting (1997) (Correct)
0.5: Conceptual Graphs: fundamental notions - Chein, Mugnier (1992) (Correct)
0.1: On Cube-Free Median Graphs - Bresar, Klavzar, al. (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ generalisation-sets,
author = "Study Of Generalisation",
title = "On Sets of Terms:",
url = "citeseer.ist.psu.edu/741409.html" }
Citations (may not include all citations):4212 Computers and intractability: guide to the theory of NP-comp.. (context) - Garey, Johnson - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1987
480 An overview of the KL-ONE Knowledge Representation system (context) - Brachman, Schmolze - 1985
392 A theory and Methodology of Inductive Learning (context) - Michalski - 1983
388 Conceptual structures: Information Processing in Mind and Ma.. (context) - Sowa - 1984
197 The complexity of concept languages - Donini, Lenzerini et al.
193 Reasoning and revision in Hybrid Representation systems (context) - Nebel - 1987
166 Unification revisited (context) - Lassez, Maher et al. - 1986
152 Restructuring Lattice Theory: an approach based on hierarchi.. (context) - Wille - 1982
149 Quantifying Inductive Bias: AI Learning Algorithms and Valia.. (context) - Haussler - 1988
124 Lattice Theory (context) - Birkhoff - 1967
98 The Handbook of Artificial Intelligence (context) - Barr, Feigenbaum - 1981
92 Subtyping recursive types - Amadio, Cardelli - 1991
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990
82 Logic for computer science: foundations of automatic theorem.. (context) - Gallier - 1986
69 A further note on Inductive Generalization (context) - Plotkin - 1971
49 Version spaces: a candidate elimination approach to rule lea.. (context) - Mitchell - 1977
48 Disunification: a survey - Comon - 1991
47 A Polynomial Approach to the Constructive Induction of Struc.. (context) - Kietz, Morik - 1994
43 Conceptual graphs: Fundamental notions - Chein, Mugnier - 1992
27 Equivalence and transformations of regular systems. Applicat.. (context) - Courcelle - 1986
25 Explicit representation of terms defined by counter examples (context) - Lassez, Marriott - 1987
21 Induction of concepts in the predicate calculus (context) - Vere - 1975
13 Algebraic Semantics (context) - Guessarian - 1981
6 Medians in median graphs (context) - Bandelt, Barthelemy - 1984
2 Principles of Database and Knowledge-base systems (context) - Uhlman - 1988
2 INNE: induction in networks (context) - Liquire, Sallantin - 1989
2 An algebraic semantics approach to the effective resolution .. (context) - At-Kaci - 1986
1 Langages algbriques (context) - Autebert - 1987
1 Les termes: un modle algbrique de reprsentation et structura.. (context) - Daniel-Vatonne, Higuera - 1993
1 Logique, Rduction, Rsolution (context) - Lalement - 1990
1 Les termes : un modle de reprsentation et de structuration d.. (context) - Daniel-Vatonne - 1993
Documents on the same site (http://www.lirmm.fr/mab/IMG/pdf/): More
GeneNest: automated generation and - Visualization Of Gene (Correct)
Journal Of Computational Biology - Volume Number Mary (Correct)
Algorithmic Aspects of Tree Amalgamation - Böcker, al. (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