-
2
-
-
26944480924
-
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
-
Baget, J.-F., and Mugnier, M.-L. 2002. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. Journal of Artificial Intelligence Research 16:425-465. http://www.cs.washington.edu/research/jair/contents/v16.html.
-
(2002)
Journal of Artificial Intelligence Research
, vol.16
, pp. 425-465
-
-
Baget, J.-F.1
Mugnier, M.-L.2
-
3
-
-
77949688078
-
Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the SISYPHUS-I Case Study
-
Gaines, B. R.; Musen, M. A.; and Kremer, R. C., eds., Banff, Alberta, Canada, October 16-21, 1999. Online proceedings at
-
Baget, J.-F.; Genest, D.; and Mugnier, M.-L. 1999. Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the SISYPHUS-I Case Study. In Gaines, B. R.; Musen, M. A.; and Kremer, R. C., eds., Twelfth Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, October 16-21, 1999. Online proceedings at http://sern.ucalgary.ca/KSI/KAW/KAW99/papers.html.
-
(1999)
Twelfth Workshop on Knowledge Acquisition, Modeling and Management
-
-
Baget, J.-F.1
Genest, D.2
Mugnier, M.-L.3
-
5
-
-
7044226608
-
Simple conceptual graphs revisited: Hypergraphs and conjunctive tupes for efficient projection algorithms
-
de Moor, A.; Lex, W.; and Ganter, B., eds., Springer
-
Baget, J.-F. 2003. Simple conceptual graphs revisited: Hypergraphs and conjunctive tupes for efficient projection algorithms. In de Moor, A.; Lex, W.; and Ganter, B., eds., Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, volume 2746 of Lecture Notes in Artificial Intelligence, 229-242. Springer.
-
(2003)
Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, volume 2746 of Lecture Notes in Artificial Intelligence
, pp. 229-242
-
-
Baget, J.-F.1
-
7
-
-
84957621531
-
Piece Resolution: Towards Larger Perspectives
-
(1998)
-
Coulondre, S., and Salvat, Éric. 1998. Piece Resolution: Towards Larger Perspectives. In Mugnier and Chein (1998), 179-193.
-
(1998)
Mugnier and Chein
, pp. 179-193
-
-
Coulondre, S.1
Salvat, Éric2
-
8
-
-
22044446412
-
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT
-
(1998)
-
Genest, D., and Salvat, Éric. 1998. A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT. In Mugnier and Chein (1998), 154-161.
-
(1998)
Mugnier and Chein
, pp. 154-161
-
-
Genest, D.1
Salvat, Éric2
-
9
-
-
0029719626
-
Chasing constrained tuple-generating dependencies
-
June 3-5, 1996, Montreal, Canada, ACM Press
-
Maher, M. J., and Srivastava, D. 1996. Chasing constrained tuple-generating dependencies. In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada, 128-138. ACM Press.
-
(1996)
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
, pp. 128-138
-
-
Maher, M. J.1
Srivastava, D.2
-
11
-
-
85167426397
-
-
eds. Springer
-
Mugnier, M.-L., and Chein, M., eds. 1998. Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998, Proceedings, volume 1453 of Lecture Notes in Computer Science. Springer.
-
(1998)
Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998, Proceedings, volume 1453 of Lecture Notes in Computer Science
-
-
Mugnier, M.-L.1
Chein, M.2
-
12
-
-
84958655477
-
Knowledge Representation and Reasonings Based on Graph Homomorphism
-
Ganter, B., and Mineau, G. W., eds., Springer
-
Mugnier, M.-L. 2000. Knowledge Representation and Reasonings Based on Graph Homomorphism. In Ganter, B., and Mineau, G. W., eds., Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, volume 1867 of Lecture Notes in Computer Science, 172-192. Springer.
-
(2000)
Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, volume 1867 of Lecture Notes in Computer Science
, pp. 172-192
-
-
Mugnier, M.-L.1
-
13
-
-
84955569247
-
Sound and Complete Forward and Backward Chainings of Graphs Rules
-
Eklund, P. W.; Ellis, G.; and Mann, G., eds., Springer
-
Salvat, Éric., and Mugnier, M.-L. 1996. Sound and Complete Forward and Backward Chainings of Graphs Rules. In Eklund, P. W.; Ellis, G.; and Mann, G., eds., Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19-22, 1996, Proceedings, volume 1115 of Lecture Notes in Computer Science, 248-262. Springer.
-
(1996)
Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19-22, 1996, Proceedings, volume 1115 of Lecture Notes in Computer Science
, pp. 248-262
-
-
Salvat, Éric1
Mugnier, M.-L.2
-
14
-
-
26944483660
-
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism
-
Prade, H., ed., Brighton, UK, August 23-28 1998, Proceedings, John Wiley and Sons
-
Salvat, Éric. 1998. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. In Prade, H., ed., 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings, 356-360. John Wiley and Sons.
-
(1998)
13th European Conference on Artificial Intelligence
, pp. 356-360
-
-
Salvat, Éric1
|