-
1
-
-
0028401306
-
Case-based reasoning: Foundational issues, methodological variations, and system approachs
-
A. Aamodt and E. Plaza. Case-Based reasoning: Foundational Issues, Methodological Variations, and System Approachs. AICOM, 7(1):39-59, 1994.
-
(1994)
AICOM
, vol.7
, Issue.1
, pp. 39-59
-
-
Aamodt, A.1
Plaza, E.2
-
2
-
-
0003727420
-
-
Cambridge University Press
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook Theory, Implementation and Applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
3
-
-
0002207742
-
A foundation for region-based qualitative geometry
-
W. Horn, editor. John Wiley & Sons Ltd.
-
B. Bennett, Anthony G. Cohn, Paolo Torrini, and Shyamanta M. Hazarika. A foundation for region-based qualitative geometry. In W. Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000). Berlin, Germany, pages 204-208. John Wiley & Sons Ltd., 2000.
-
(2000)
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000). Berlin, Germany
, pp. 204-208
-
-
Bennett, B.1
Cohn, A.G.2
Torrini, P.3
Hazarika, S.M.4
-
4
-
-
0003895611
-
Towards a new formal model of transformational adaptation in case-based reasoning
-
H. Prade, editor. John Wiley & Sons Ltd.
-
R. Bergmann and W. Wilke. Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98), Brighton, UK, pages 53-57. John Wiley & Sons Ltd., 1998.
-
(1998)
Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98), Brighton, UK
, pp. 53-57
-
-
Bergmann, R.1
Wilke, W.2
-
5
-
-
27644530192
-
La carte-modèle et les chorèmes
-
In French
-
R. Brunet. La carte-modèle et les chorèmes. Mappemonde, 86(4):3-6, 1986. In French.
-
(1986)
Mappemonde
, vol.86
, Issue.4
, pp. 3-6
-
-
Brunet, R.1
-
6
-
-
84867449775
-
Chorèmes et graphes pour modéliser les interactions entre organisation spatiale et fonctionnement des exploitations agricoles
-
T. Libourel, editor. SIGMA. In French
-
M. Capitaine, S. Lardon, F. Le Ber, and J.-L. Metzger. Chorèmes et graphes pour modéliser les interactions entre organisation spatiale et fonctionnement des exploitations agricoles. In T. Libourel, editor, Géomatique et espace rural. Journées CASSINI 2001, Montpellier, France, pages 145-163. SIGMA, 2001. In French.
-
(2001)
Géomatique et Espace Rural. Journées CASSINI 2001, Montpellier, France
, pp. 145-163
-
-
Capitaine, M.1
Lardon, S.2
Le Ber, F.3
Metzger, J.-L.4
-
8
-
-
0003084712
-
Representing and reasoning with qualitative spatial relations about regions
-
O. Stock, editor. Kluwer Academic Publishers
-
A. G. Cohn, B. Bennett, J. Gooday, and N. M. Gotts. Representing and reasoning with qualitative spatial relations about regions. In O. Stock, editor, Spatial and Temporal Reasoning, pages 97-134. Kluwer Academic Publishers, 1997.
-
(1997)
Spatial and Temporal Reasoning
, pp. 97-134
-
-
Cohn, A.G.1
Bennett, B.2
Gooday, J.3
Gotts, N.M.4
-
9
-
-
85015276012
-
Qualitative and topological relationships in spatial databases
-
D. J. Abel and B. C. Ooi, editors, LNCS 692. Springer-Verlag
-
Z. Cui, A.G. Cohn, and D.A. Randell. Qualitative and Topological Relationships in Spatial Databases. In D. J. Abel and B. C. Ooi, editors, Advances in Spatial Databases. Third International Symposium SSD'93, Singapore, LNCS 692, pages 296-315. Springer-Verlag, 1993.
-
(1993)
Advances in Spatial Databases. Third International Symposium SSD'93, Singapore
, pp. 296-315
-
-
Cui, Z.1
Cohn, A.G.2
Randell, D.A.3
-
10
-
-
84867472429
-
Managing rural areas. From pratices to model
-
J. Brossier, L. de Bonneval, and E. Landais, editors, Science Update. INRA Éditions
-
J.-P. Deffontaines, J.-P. Cheylan, S. Lardon, and H. Théry. Managing rural areas. From pratices to model. In J. Brossier, L. de Bonneval, and E. Landais, editors, Systems studies in agriculture and rural development, Science Update, pages 383-392. INRA Éditions, 1993.
-
(1993)
Systems Studies in Agriculture and Rural Development
, pp. 383-392
-
-
Deffontaines, J.-P.1
Cheylan, J.-P.2
Lardon, S.3
Théry, H.4
-
11
-
-
0001776513
-
Reasoning in description logics
-
G. Brewka, editor. CSLI Publications
-
F.-M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation, pages 191-236. CSLI Publications, 1996.
-
(1996)
Principles of Knowledge Representation
, pp. 191-236
-
-
Donini, F.-M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
12
-
-
85030846174
-
Reasoning about binary topological relations
-
O. Gunther and H.-J. Schek, editors, LNCS 525. Springer
-
M. J. Egehofer. Reasoning about binary topological relations. In O. Gunther and H.-J. Schek, editors, Advances in Spatial Databases, Second International Symposium, SSD'91, LNCS 525, pages 143-160. Springer, 1991.
-
(1991)
Advances in Spatial Databases, Second International Symposium, SSD'91
, pp. 143-160
-
-
Egehofer, M.J.1
-
13
-
-
0002384832
-
Foundations of spatioterminological reasoning with description logics
-
Morgan Kaufmann Publishers
-
V. Haarslev, C. Lutz, and R. Möller. Foundations of Spatioterminological Reasoning with Description Logics. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 98), Trento, Italy, pages 112-123. Morgan Kaufmann Publishers, 1998.
-
(1998)
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 98), Trento, Italy
, pp. 112-123
-
-
Haarslev, V.1
Lutz, C.2
Möller, R.3
-
14
-
-
0032592921
-
A description logic with concrete domains and a role-forming predicate operator
-
V. Haarslev, C. Lutz, and R. Möller. A description logic with concrete domains and a role-forming predicate operator. Journal of Logic and Computation, 9(3):351-384, 1999.
-
(1999)
Journal of Logic and Computation
, vol.9
, Issue.3
, pp. 351-384
-
-
Haarslev, V.1
Lutz, C.2
Möller, R.3
-
17
-
-
84877623125
-
Using description logics for knowledge intensive case-based reasoning
-
B. Faltings and I. Smith, editors. Springer Verlag
-
G. Kamp. Using description logics for knowledge intensive case-based reasoning. In B. Faltings and I. Smith, editors, Third European Workshop on Case-Based Reasoning (EWCBR'96), Lausanne, Switzerland, pages 204-218. Springer Verlag, 1996.
-
(1996)
Third European Workshop on Case-based Reasoning (EWCBR'96), Lausanne, Switzerland
, pp. 204-218
-
-
Kamp, G.1
-
18
-
-
0030283994
-
Planning from second principles
-
J. Koehler. Planning from second principles. Artificial Intelligence, 87:145-186, 1996.
-
(1996)
Artificial Intelligence
, vol.87
, pp. 145-186
-
-
Koehler, J.1
-
20
-
-
23844519875
-
Les modèles graphiques pour représenter l'organisation spatiale des activités agricoles
-
ENST. In French
-
S. Lardon, M. Capitaine, and M. Benoît. Les modèles graphiques pour représenter l'organisation spatiale des activités agricoles. In Représentations graphiques dans les systèmes complexes naturels et artificiels. Journées de Rochebrune, Megève, France, pages 127-150. ENST, 2000. In French.
-
(2000)
Représentations Graphiques dans les Systèmes Complexes Naturels et Artificiels. Journées de Rochebrune, Megève, France
, pp. 127-150
-
-
Lardon, S.1
Capitaine, M.2
Benoît, M.3
-
21
-
-
23844502880
-
Analyse de l'interaction experts - Informaticiens pour la modélisation de connaissances spatiales
-
INSA Rouen. In French
-
F. Le Ber, C. Brassac, and J.-L. Metzger. Analyse de l'interaction experts - informaticiens pour la modélisation de connaissances spatiales. In IC'2002, Journées Francophones d'Ingénierie des Connaissances, Rouen, France, pages 29-38. INSA Rouen, 2002. In French.
-
(2002)
IC'2002, Journées Francophones D'Ingénierie des Connaissances, Rouen, France
, pp. 29-38
-
-
Le Ber, F.1
Brassac, C.2
Metzger, J.-L.3
-
23
-
-
0345222885
-
The design of an object-based system for representing and classifying spatial structures and relations
-
Special Issue on Spatial and Temporal Reasoning
-
F. Le Ber and A. Napoli. The design of an object-based system for representing and classifying spatial structures and relations. Journal of Universal Computer Science, 8(8):751-773, 2002. Special Issue on Spatial and Temporal Reasoning.
-
(2002)
Journal of Universal Computer Science
, vol.8
, Issue.8
, pp. 751-773
-
-
Le Ber, F.1
Napoli, A.2
-
24
-
-
0038766186
-
Using classification in case-based planning
-
W. Wahlster, editor. John Wiley & Sons Ltd.
-
J. Lieber and A. Napoli. Using Classification in Case-Based Planning. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 96), Budapest, Hungary, pages 132-136. John Wiley & Sons Ltd., 1996.
-
(1996)
Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 96), Budapest, Hungary
, pp. 132-136
-
-
Lieber, J.1
Napoli, A.2
-
25
-
-
0038766192
-
Correct and complete retrieval for case-based problem-solving
-
H. Prade, editor. John Wiley & Sons Ltd.
-
J. Lieber and A. Napoli. Correct and Complete Retrieval for Case-Based Problem-Solving. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98), Brighton, UK, pages 68-72. John Wiley & Sons Ltd., 1998.
-
(1998)
Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98), Brighton, UK
, pp. 68-72
-
-
Lieber, J.1
Napoli, A.2
-
26
-
-
0037751938
-
Représentation et classification de structures spatiales
-
PhD Thesis, Université Henri Poincaré, Nancy. In French
-
L. Mangelinck. Représentation et classification de structures spatiales. Application à la reconnaissance de paysages agricoles. PhD Thesis, Université Henri Poincaré, Nancy, 1998. In French.
-
(1998)
Application À la Reconnaissance de Paysages Agricoles
-
-
Mangelinck, L.1
-
27
-
-
84957692781
-
Terminological default reasoning about spatial information: A first step
-
C. Freksa and D. M. Mark, editors, LNCS 1661. Springer
-
R. Möller and M. Wessel. Terminological Default Reasoning about spatial information: A First Step. In C. Freksa and D. M. Mark, editors, Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT'99, Stade, Germany, LNCS 1661, pages 189-204. Springer, 1999.
-
(1999)
Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT'99, Stade, Germany
, pp. 189-204
-
-
Möller, R.1
Wessel, M.2
-
28
-
-
0028476658
-
An object-based representation system for organic synthesis planning
-
A. Napoli, C. Laurenço, and R. Ducournau. An object-based representation system for organic synthesis planning. International Journal of Human-Computer Studies, 41(1/2):5-32, 1994.
-
(1994)
International Journal of Human-computer Studies
, vol.41
, Issue.1-2
, pp. 5-32
-
-
Napoli, A.1
Laurenço, C.2
Ducournau, R.3
-
29
-
-
0012240087
-
Representing spatial organisation in extensive livestock farming
-
M. Naïtlho and S. Lardon. Representing spatial organisation in extensive livestock farming. In Integrating Animal Science Advances into the Search of Sustainability, 5th Int. Livestock Farming Systems Symposium, Fribourg, Switzerland, August 1999, pages 187-190, 2000.
-
(2000)
Integrating Animal Science Advances into the Search of Sustainability, 5th Int. Livestock Farming Systems Symposium, Fribourg, Switzerland, August 1999
, pp. 187-190
-
-
Naïtlho, M.1
Lardon, S.2
-
30
-
-
0002317045
-
Modelling topological and metrical properties in physical processes
-
R. Brachman, H. Levesque, and R. Reiter, editors. Morgan Kaufmann Publishers
-
D. A. Randell and A. G. Cohn. Modelling Topological and Metrical Properties in Physical Processes. In R. Brachman, H. Levesque, and R. Reiter, editors, Conference on Principles of Knowledge Representation and Reasoning (KR 89). Toronto, Canada, pages 55-66. Morgan Kaufmann Publishers, 1989.
-
(1989)
Conference on Principles of Knowledge Representation and Reasoning (KR 89). Toronto, Canada
, pp. 55-66
-
-
Randell, D.A.1
Cohn, A.G.2
-
32
-
-
85011043422
-
Computing transitivity tables: A challenge for automated theorem provers
-
LNCS 607. Springer-Verlag
-
D. A. Randell, A. G. Cohn, and Z. Cui. Computing Transitivity Tables: A Challenge For Automated Theorem Provers. In Proceedings of the 11th International Conference on Automated Deduction, CADE'92, LNCS 607, pages 786-790. Springer-Verlag, 1992.
-
(1992)
Proceedings of the 11th International Conference on Automated Deduction, CADE'92
, pp. 786-790
-
-
Randell, D.A.1
Cohn, A.G.2
Cui, Z.3
-
34
-
-
77955351070
-
Study and formalization of a case-based reasoning system using a description logic
-
B. Smyth and P. Cunningham, editors, LNCS 1488. Springer
-
S. Salotti and V. Ventos. Study and formalization of a case-based reasoning system using a description logic. In B. Smyth and P. Cunningham, editors, Advances in Case-Based Reasoning, Proceedings of the 4th European Workshop (EWCBR-98), Dublin, Ireland, LNCS 1488, pages 286-297. Springer, 1998.
-
(1998)
Advances in Case-based Reasoning, Proceedings of the 4th European Workshop (EWCBR-98), Dublin, Ireland
, pp. 286-297
-
-
Salotti, S.1
Ventos, V.2
|