-
1
-
-
0028401306
-
Case-based reasoning: Foundational issues, methodological variations and system approaches
-
Aamodt A, Plaza E (1994) Case-based reasoning: Foundational issues, methodological variations and system approaches. AI Commun 7:39-59
-
(1994)
AI Commun
, vol.7
, pp. 39-59
-
-
Aamodt, A.1
Plaza, E.2
-
2
-
-
0343766990
-
Model-based redesign of technical systems
-
In: Aberytwith, Wales
-
Alberts LK, Bakker RR, Beekman D, Wognum PM (1993) Model-based redesign of technical systems. In: Proceedings of the 4th international workshop on principles of diagnosis, Aberytwith, Wales
-
(1993)
Proceedings of the 4th International Workshop on Principles of Diagnosis
-
-
Alberts, L.K.1
Bakker, R.R.2
Beekman, D.3
Wognum, P.M.4
-
4
-
-
30244486301
-
The use of model based diagnosis in redesign
-
In: 11th ECAI, Amsterdam, The Netherlands
-
Bakker RR, Eldonk SJ, Wognum PM, Mars NI (1994) The use of model based diagnosis in redesign. In: Proceedings of the workshop on reasoning about physical system, 11th ECAI, Amsterdam, The Netherlands, pp 647-651
-
(1994)
Proceedings of the Workshop on Reasoning About Physical System
, pp. 647-651
-
-
Bakker, R.R.1
Eldonk, S.J.2
Wognum, P.M.3
Mars, N.I.4
-
5
-
-
34547133327
-
-
Springer-Verlag, London
-
Blessing L, Wallace K, Pahl G, Beitz W, Wallace K, Bauert F (1999) Engineering design: A systematic approach. Springer-Verlag, London
-
(1999)
Engineering Design: A Systematic Approach
-
-
Blessing, L.1
Wallace, K.2
Pahl, G.3
Beitz, W.4
Wallace, K.5
Bauert, F.6
-
7
-
-
0027696331
-
Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis
-
Chittaro L, Guida G, Tasso C, Toppano E (1993) Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis. IEEE Trans Syst Man Cybern 23(6):1718-1751
-
(1993)
IEEE Trans Syst Man Cybern
, vol.23
, Issue.6
, pp. 1718-1751
-
-
Chittaro, L.1
Guida, G.2
Tasso, C.3
Toppano, E.4
-
8
-
-
10244247712
-
Predicting change propagation in complex design
-
Clarkson PJ, Simons CS, Eckert CM (2004) Predicting change propagation in complex design. SME J Mech Des 126(5):765-797
-
(2004)
SME J Mech Des
, vol.126
, Issue.5
, pp. 765-797
-
-
Clarkson, P.J.1
Simons, C.S.2
Eckert, C.M.3
-
10
-
-
0030121846
-
Redesign of technical systems
-
Eldonk SJ, Alberts LK, Bakker RR, Diker F, Wognum PM (1996) Redesign of technical systems. Knowl Based Syst 9(2):93-104
-
(1996)
Knowl Based Syst
, vol.9
, Issue.2
, pp. 93-104
-
-
Eldonk, S.J.1
Alberts, L.K.2
Bakker, R.R.3
Diker, F.4
Wognum, P.M.5
-
11
-
-
85170073746
-
The unified problem-solving method development Language UPML
-
Fensel D, Motta E, Harmelen F, Benjamins R, Crubezy M, Decker S, Gaspari M, Groenboom R, Grosso W, Musen M, Plaza E, Schreiber G, Studer R, Wielinga B (2003) The unified problem-solving method development Language UPML. J Knowl Inf Syst 5(1):83-131
-
(2003)
J Knowl Inf Syst
, vol.5
, Issue.1
, pp. 83-131
-
-
Fensel, D.1
Motta, E.2
Harmelen, F.3
Benjamins, R.4
Crubezy, M.5
Decker, S.6
Gaspari, M.7
Groenboom, R.8
Grosso, W.9
Musen, M.10
Plaza, E.11
Schreiber, G.12
Studer, R.13
Wielinga, B.14
-
12
-
-
0021613150
-
Qualitative process theory
-
Forbus KD (1984) Qualitative process theory. Artif Intell 24(1-3):85-168
-
(1984)
Artif Intell
, vol.24
, Issue.1-3
, pp. 85-168
-
-
Forbus, K.D.1
-
13
-
-
79951605117
-
-
Sandia National Laboratories. Livermore, USA
-
Friedman-Hill E (2004) Jess 7.0 manual. Sandia National Laboratories. Livermore, USA, http://herzberg.ca.sandia.gov/jess/docs/index.shtml
-
(2004)
Jess 7.0 Manual
-
-
Friedman-Hill, E.1
-
14
-
-
1842650939
-
Exploiting hierarchical domain structure to compute similarity
-
Ganesan P, Garcia-Molina H, Widom J (2003) Exploiting hierarchical domain structure to compute similarity. ACM Trans Inf Syst 21(1):64-93
-
(2003)
ACM Trans Inf Syst
, vol.21
, Issue.1
, pp. 64-93
-
-
Ganesan, P.1
Garcia-Molina, H.2
Widom, J.3
-
17
-
-
0026121769
-
Software requirements analysis for real-time process-control systems
-
Jaffe MS, Leveson NG, Heimdahl MP, Melhart B (1991) Software requirements analysis for real-time process-control systems. IEEE Trans Softw Eng 17(3):241-257
-
(1991)
IEEE Trans Softw Eng
, vol.17
, Issue.3
, pp. 241-257
-
-
Jaffe, M.S.1
Leveson, N.G.2
Heimdahl, M.P.3
Melhart, B.4
-
18
-
-
85132112110
-
Ontologies for knowledge management: Aninformation systems perspective
-
Jurisica I, Mylopoulos J, Yu E (2004) Ontologies for knowledge management: Aninformation systems perspective. J Knowl Inf Syst 6(4):380-401
-
(2004)
J Knowl Inf Syst
, vol.6
, Issue.4
, pp. 380-401
-
-
Jurisica, I.1
Mylopoulos, J.2
Yu, E.3
-
19
-
-
0029214247
-
Case-based reasoning system for mixing equipment selection
-
Kraslawski A, Koiranen T, Nystrom L (1995) Case-based reasoning system for mixing equipment selection. Comput Chem Eng 19:S821-S826
-
(1995)
Comput Chem Eng
, vol.19
-
-
Kraslawski, A.1
Koiranen, T.2
Nystrom, L.3
-
20
-
-
0013058116
-
XSD: A hierarchical access method for indexing XML schemata
-
Kotsakis E (2002) XSD: A hierarchical access method for indexing XML schemata. J Knowl Inf Syst 4(2):168-201
-
(2002)
J Knowl Inf Syst
, vol.4
, Issue.2
, pp. 168-201
-
-
Kotsakis, E.1
-
21
-
-
0029755251
-
Diagnosis based on explicit means-end models
-
Larsson JE (1996) Diagnosis based on explicit means-end models. Artif Intell 80(1):29-93
-
(1996)
Artif Intell
, vol.80
, Issue.1
, pp. 29-93
-
-
Larsson, J.E.1
-
22
-
-
0028408684
-
Modeling goals and functions on complex industrial plants
-
Lind M (1994) Modeling goals and functions on complex industrial plants. Appl Artif Intell 8:259-283
-
(1994)
Appl Artif Intell
, vol.8
, pp. 259-283
-
-
Lind, M.1
-
23
-
-
0030312109
-
Status and challenges of intelligent plant control
-
Lind M (1996) Status and challenges of intelligent plant control. Annu Rev Control 20:23-41
-
(1996)
Annu Rev Control
, vol.20
, pp. 23-41
-
-
Lind, M.1
-
24
-
-
0033298191
-
Plan modeling for human supervisory control
-
Lind M (1999) Plan modeling for human supervisory control. Trans Inst Meas Control 21(4/5):171-180
-
(1999)
Trans Inst Meas Control
, vol.21
, Issue.4-5
, pp. 171-180
-
-
Lind, M.1
-
25
-
-
34547129412
-
Towards the automatic identification of process sections during the redesign of petroleum and chemical processes
-
In: 18th IJCAI, Acapulco, Mexico
-
López-Arévalo I, Rodríguez-Martínez A, Bañares-Alcántara R, Aldea A (2003) Towards the automatic identification of process sections during the redesign of petroleum and chemical processes. In: Proceedings of the 2nd workshop on intelligent computing in the petroleum industry, 18th IJCAI, Acapulco, Mexico, pp 56-61
-
(2003)
Proceedings of the 2nd Workshop on Intelligent Computing in the Petroleum Industry
, pp. 56-61
-
-
López-Arévalo, I.1
Rodríguez-Martínez, A.2
Bañares-Alcántara, R.3
Aldea, A.4
-
26
-
-
84880758192
-
Redesign support framework based on hierarchical multiple models
-
In: 19th IJCAI, Edinburgh, Scotland
-
López-Arévalo I, Rodríguez-Martínez A, Aldea A, Bañares-Alcántara R, Jiménez L (2005) Redesign support framework based on hierarchical multiple models. In: Proceedings of the 2nd MONET workshop on model-based systems, 19th IJCAI, Edinburgh, Scotland
-
(2005)
Proceedings of the 2nd MONET Workshop on Model-based Systems
-
-
López-Arévalo, I.1
Rodríguez-Martínez, A.2
Aldea, A.3
Bañares-Alcántara, R.4
Jiménez, L.5
-
27
-
-
34547131136
-
Generation of process alternatives using abstract models and case-based reasoning
-
(in press), available online September, 25, 2006
-
López-Arévalo I, Rodríguez-Martínez A, Bañares-Alcántara R, Jiménez L, Aldea A (2006) Generation of process alternatives using abstract models and case-based reasoning. Comput Chem Eng (in press), available online September, 25, 2006
-
(2006)
Comput Chem Eng
-
-
López-Arévalo, I.1
Rodríguez-Martínez, A.2
Bañares-Alcántara, R.3
Jiménez, L.4
Aldea, A.5
-
28
-
-
16244408139
-
Origins of the standard upper merged ontology: A proposal for the IEEE standard upper ontology
-
In: 17th Ijcai, Seattle, WA
-
Niles I, Pease A (2001) Origins of the standard upper merged ontology: A proposal for the IEEE standard upper ontology. In: Proceedings of the workshop on the IEEE standard upper ontology, 17th IJCAI, Seattle, WA
-
(2001)
Proceedings of the Workshop on the IEEE Standard Upper Ontology
-
-
Niles, I.1
Pease, A.2
-
29
-
-
34547096584
-
-
Ozone
-
Ozone (2003) Ozone developers guide, http://www.ozone-db.org/frames/ documentation/overview.html
-
(2003)
Ozone Developers Guide
-
-
-
30
-
-
0035324597
-
Synthesis of separation processes byusing case-based reasoning
-
Pajula E, Seuranen T, Koiranen T, Hurme M (2001) Synthesis of separation processes byusing case-based reasoning. Comput Chem Eng 25:775-782
-
(2001)
Comput Chem Eng
, vol.25
, pp. 775-782
-
-
Pajula, E.1
Seuranen, T.2
Koiranen, T.3
Hurme, M.4
-
32
-
-
33845336175
-
Adaptable modeling of electrical systems
-
In: Brasilia, Brazil
-
Price CJ, Snooke NA, Lewis SD (2003) Adaptable modeling of electrical systems. In: Proceedings of the 17th international workshop on qualitative reasoning, Brasilia, Brazil, pp 147-153
-
(2003)
Proceedings of the 17th International Workshop on Qualitative Reasoning
, pp. 147-153
-
-
Price, C.J.1
Snooke, N.A.2
Lewis, S.D.3
-
33
-
-
0012436584
-
Coping with complexity
-
Technical Report RISØ-M-2293, Electronic Department, Riso National Laboratory, Denmark
-
Rasmussen J, Lind M (1981) Coping with complexity, Technical Report RISØ-M-2293, Electronic Department, Riso National Laboratory, Denmark
-
(1981)
-
-
Rasmussen, J.1
Lind, M.2
-
35
-
-
0003225769
-
Mental models and the control of actions in complex environments
-
In: North-Holland, Amsterdam
-
Rasmussen J (1990)Mental models and the control of actions in complex environments. In: Mental models and human-computer interaction. vol 1. North-Holland, Amsterdam
-
(1990)
Mental Models and Human-computer Interaction
, vol.1
-
-
Rasmussen, J.1
-
36
-
-
34547103596
-
Automatic hierarchical abstraction tool for the retrofit of processes
-
In: Granada, Spain
-
Rodríguez-Martínez A, López-Arévalo I, Bañares-Alcántara R, Aldea A (2003) Automatic hierarchical abstraction tool for the retrofit of processes. In: 4th European Congress in chemical engineering - computer aided modeling, simulation and optimisation, Granada, Spain, pp O-9.2-005
-
(2003)
4th European Congress in Chemical Engineering - Computer Aided Modeling, Simulation and Optimisation
-
-
Rodríguez-Martínez, A.1
López-Arévalo, I.2
Bañares-Alcántara, R.3
Aldea, A.4
-
38
-
-
0035439151
-
Hierarchical case-based reasoning integrating case-based and decompositional problem solving techniques for plant-control software design
-
Smith B, Keane MT,Cunningham P (2001) Hierarchical case-based reasoning integrating case-based and decompositional problem solving techniques for plant-control software design. IEEE Trans Knowl Data Eng 13(5):793-812
-
(2001)
IEEE Trans Knowl Data Eng
, vol.13
, Issue.5
, pp. 793-812
-
-
Smith, B.1
Keane, M.T.2
Cunningham, P.3
-
39
-
-
0022013052
-
The redesign system: A knowledge-base approach to VLSI CAD
-
Steinberg L, Mitchell T (1985) The redesign system: A knowledge-base approach to VLSI CAD. IEEE Des Test Comput 2:45-54
-
(1985)
IEEE Des Test Comput
, vol.2
, pp. 45-54
-
-
Steinberg, L.1
Mitchell, T.2
-
41
-
-
1842836721
-
Derivation and use of function in the design of chemical processes
-
MSc. Dissertation, University of Edinburgh, UK
-
Teck T (1995) Derivation and use of function in the design of chemical processes, MSc. Dissertation, University of Edinburgh, UK
-
(1995)
-
-
Teck, T.1
-
42
-
-
36448931334
-
Query-sensitive similarity measures for information retrieval
-
Tombros A, Rijsbergen CJ (2004) Query-sensitive similarity measures for information retrieval. J Knowl Inf Syst 6(5):617-642
-
(2004)
J Knowl Inf Syst
, vol.6
, Issue.5
, pp. 617-642
-
-
Tombros, A.1
Rijsbergen, C.J.2
-
43
-
-
0003499110
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
Turton R, Bailie RC, Whiting WB, Shaeiwitz JA (1998) Analysis, synthesis and design of chemical process. Prentice-Hall, Englewood Cliffs, NJ
-
(1998)
Analysis, Synthesis and Design of Chemical Process
-
-
Turton, R.1
Bailie, R.C.2
Whiting, W.B.3
Shaeiwitz, J.A.4
-
44
-
-
0031100864
-
Functional reasoning in design
-
Umeda Y, Tomiyama T (1997) Functional reasoning in design. IEEE Expert 12(2):42-48
-
(1997)
IEEE Expert
, vol.12
, Issue.2
, pp. 42-48
-
-
Umeda, Y.1
Tomiyama, T.2
-
45
-
-
0026891326
-
Ecological interface design: Theoretical foundations
-
Vicente KJ, Rasmussen J (1992) Ecological interface design: Theoretical foundations. IEEE Trans Syst Man Cybern 22(4):589-606
-
(1992)
IEEE Trans Syst Man Cybern
, vol.22
, Issue.4
, pp. 589-606
-
-
Vicente, K.J.1
Rasmussen, J.2
|