substructural logics < subsumption < subsumption problem

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
000527 (1987)	M. Rusinowitch	Démonstration automatique par des techniques de réécriture
000A55 (1990)	A. Napoli ; R. Ducournau ; C. Laurenco	An Object-Oriented Approach to Classification
000D02 (1991)	A. Napoli	Subsumption and Classification-based Reasoning in Object-based Representations
000D03 (1991)	A. Napoli	Classification dans une représentation à objets
000D04 (1991)	A. Napoli ; C. Laurenço ; R. Ducournau	Techniques de classification pour modéliser la synthèse de molécules organiques
000E18 (1992)	A. Napoli ; R. Ducournau	Subsumption in Object-Based Representations
000E19 (1992)	A. Napoli	Subsumption and Classification-Based Reasoning in Object-Based Representations
000E34 (1992)	A. Napoli	An Object-based Approach to Computer-Aided Planning of Organic Syntheses
000F20 (1992)	A. Napoli ; R. Ducournau	Partial Orderings in Object-Based Representations
001040 (1993)	A. Napoli ; C. Laurenço	Représentations à objets et classification. Conception d'un système d'aide à la planification de synthèses organiques
001053 (1993)	A. Napoli	An Introduction to Multi-Categorization and Multi-Classification
001061 (1993)	A. Napoli ; P. Volle	Une introduction aux logiques terminologiques
001065 (1993)	A. Napoli ; J. Lieber	Classifying Knowledge for Reusability - An Application to Organic Synthesis Planning
001098 (1993)	A. Napoli ; J. Lieber	Finding Strategies in Organic Synthesis Planning with Case-Based Reasoning
001146 (1993)	A. Napoli	Eléments pour une catégorisation et une classification symboliques multidimensionnelles
001185 (1993)	A. Napoli	Une modélisation des objets de la synthèse organique
001514 (1994)	A. Napoli ; J. Lieber	A First Study on Case-Based Planning in Organic Synthesis
001515 (1994)	A. Napoli ; C. Laurenço ; R. Ducournau	An Object-Based Representation System for Organic Synthesis Planning
001576 (1994)	A. Napoli	Studies about the Integration of Classification-Based Reasoning and Object-Oriented Programming
001577 (1994)	L. Dekker ; A. Napoli	Report on the IJCAI-93 Workshop on ``Object-Based Representation Systems''
001847 (1995)	A. Napoli	Objects, Classes, Specialization and Subsumption

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "subsumption" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "subsumption" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    subsumption
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022