Abstract | ||
---|---|---|
View on Propose-and-ReviseAt an abstract level, the chosen problem-solving method for the configuration of elevatorsystems can be depicted in an inference structure as shown in figure 10. The circles in the figuredenote inference actions, i.e. problem-solving steps. The inference actions propose and revisein figure 10 are subject to further decomposition (indicated by shaded bubbles), i.e. they are anabstraction of more detailed levels of inference structures (see the following... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1006/ijhc.1996.0021 | Int. J. Hum.-Comput. Stud. |
Keywords | Field | DocType |
vertical transportation system,combining karl | Uniqueness,Knowledge representation and reasoning,Formal language,Software engineering,Computer science,Knowledge-based systems,Formal description,Formal specification,Human–computer interaction,Elevator,Artificial intelligence | Journal |
Volume | Issue | ISSN |
44 | 3-4 | 1071-5819 |
Citations | PageRank | References |
9 | 1.57 | 2 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karsten Poeck | 1 | 28 | 6.74 |
Dieter Fensel | 2 | 5545 | 662.62 |
Dieter Landes | 3 | 159 | 28.78 |
J. Angele | 4 | 213 | 28.97 |