-
1
-
-
26944435683
-
Knowledge acquisition with a pure graph-based knowledge representation model
-
[BGM99a]
-
[BGM99a] J.F. Baget, D. Genest, and M.L. Mugnier. Knowledge acquisition with a pure graph-based knowledge representation model. In Proc. of KAW'99, volume 2, pages 7.1.1-7.1.20, 1999.
-
(1999)
Proc. of KAW'99
, vol.2
-
-
Baget, J.F.1
Genest, D.2
Mugnier, M.L.3
-
2
-
-
84958652268
-
A pure graph-based solution to the SCG-1 initiative
-
[BGM99b] J.F. Baget, D. Genest, M.L. Mugnier. Proc. of ICCS'99, Springer
-
[BGM99b] J.F. Baget, D. Genest, and M.L. Mugnier. A pure graph-based solution to the SCG-1 initiative. In Proc. of ICCS'99, volume 1640 of LNAI, pages 355-376. Springer, 1999.
-
(1999)
LNAI
, vol.1640
, pp. 355-376
-
-
-
4
-
-
26944480924
-
Extensions of simple conceptual graphs: The complexity of rules and constraints
-
[BM02]
-
[BM02] J.F. Baget and M.L. Mugnier, Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. JAIR, 16(12):425-465, 2002.
-
(2002)
JAIR
, vol.16
, Issue.12
, pp. 425-465
-
-
Baget, J.F.1
Mugnier, M.L.2
-
5
-
-
26944454170
-
-
[Bor04] Borland
-
[Bor04] Borland. Together software, 2004. http://www.borland.com/ together/.
-
(2004)
Together Software
-
-
-
7
-
-
84948977539
-
Positive nested conceptual graphs
-
[CM97]
-
[CM97] M. Chein and M.L. Mugnier. Positive nested conceptual graphs. In ICCS'97 [ICC97], pages 95-109.
-
ICCS'97 [ICC97]
, pp. 95-109
-
-
Chein, M.1
Mugnier, M.L.2
-
8
-
-
35048820155
-
Concept types and coreference in simple conceptual graphs
-
[CM04]. Proc. of ICCS'04, Springer
-
[CM04] M. Chein and M.L. Mugnier. Concept types and coreference in simple conceptual graphs. In Proc. of ICCS'04, volume 3127 of LNAI, pages 303-318. Springer, 2004.
-
(2004)
LNAI
, vol.3127
, pp. 303-318
-
-
Chein, M.1
Mugnier, M.L.2
-
9
-
-
0012350039
-
Nested graphs: A graph-based knowledge representation model with FOL semantics
-
[CMS98]. Morgan Kaufmann Publishers
-
[CMS98] M. Chein, M.L. Mugnier, and G. Simonet. Nested graphs: A graph-based knowledge representation model with FOL semantics. In Proc. of KR'98, pages 524-534. Morgan Kaufmann Publishers, 1998.
-
(1998)
Proc. of KR'98
, pp. 524-534
-
-
Chein, M.1
Mugnier, M.L.2
Simonet, G.3
-
10
-
-
33646007861
-
-
[Gen04a]. CoGITaNT 5.1.5
-
[Gen04a] D. Genest. CoGITaNT 5.1.5, 2004. http://cogitant.sourceforge. net.
-
(2004)
-
-
Genest, D.1
-
11
-
-
33645997991
-
-
[Gen04b]. Gentleware. Poseidon SE
-
[Gen04b] Gentleware. Poseidon SE, 2004. http://www.gentleware.com/.
-
(2004)
-
-
-
12
-
-
26944467322
-
La plate-forme CoGITo: Manuel d'utilisation
-
[Hae95], LIRMM
-
[Hae95] O. Haemmerlé. La plate-forme CoGITo: manuel d'utilisation. Technical Report 95012, LIRMM, 1995.
-
(1995)
Technical Report 95012
-
-
Haemmerlé, O.1
-
13
-
-
26944434960
-
-
[IBM04] IBM
-
[IBM04] IBM. Rational rose, 2004. http://www-306.ibm.com/software/ rational/.
-
(2004)
Rational Rose
-
-
-
14
-
-
33646000995
-
-
[ICC97] ICCS'97, Springer
-
[ICC97] ICCS'97, volume 1257 of LNAI, Springer, 1997.
-
(1997)
LNAI
, vol.1257
-
-
-
15
-
-
84948975042
-
A sound and complete CG proof procedure combining projection with analytic tableaux
-
[KS97]
-
[KS97] G. Kerdiles and É. Salvat. A sound and complete CG proof procedure combining projection with analytic tableaux. In ICCS'97 [ICC97], pages 371-385.
-
ICCS'97 [ICC97]
, pp. 371-385
-
-
Kerdiles, G.1
Salvat, É.2
-
16
-
-
0030365252
-
Représenter des connaissances et raisonner avec des graphes
-
[MC96]
-
[MC96] M.L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d'intelligence artificielle, 10(1):7-56, 1996.
-
(1996)
Revue D'intelligence Artificielle
, vol.10
, Issue.1
, pp. 7-56
-
-
Mugnier, M.L.1
Chein, M.2
-
18
-
-
26944483660
-
Theorem proving using graph operations in the conceptual graph formalism
-
[Sal98]
-
[Sal98] É. Salvat. Theorem proving using graph operations in the conceptual graph formalism. In Proc. of ECAI'98, 1998.
-
(1998)
Proc. of ECAI'98
-
-
Salvat, É.1
-
20
-
-
84958766962
-
Conceptual graphs and first-order logic
-
[Wer95]. Proc. of ICCS'95, Springer
-
[Wer95] M. Wermelinger. Conceptual graphs and first-order logic. In Proc. of ICCS'95, volume 964 of LNAI, pages 323-337. Springer, 1995.
-
(1995)
LNAI
, vol.964
, pp. 323-337
-
-
Wermelinger, M.1
|