Frances M. T. Brazier, Pieter H. G. Van Langen, Jan Treur, Niek J. E. Wijngaards, Mark Willems  Home/Search
Context Related
| cs.vu.nl/~wai/pub/...rds_Willems01.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.vu.nl/~wai/pub/1996/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper a generic task model of design, see Brazier, Langen, Ruttkay and Treur (1994a), is applied to the VT task. This model is based a logical theory of design (see Brazier, Langen and Treur (1995b)) and task models of design tasks in different fields of application (for example, Brumsen, Pannekeet and Treur (1992), Geelen and Kowalczyk (1992), and Geelen, Ruttkay and Treur (1992)). The framework within which the task has been modelled, specified and operationalised, is the DESIRE... (Update)
Context of citations to this paper: More
...Parametric design based on (variants of) the Propose Revise method has been studied extensively. The interested reader is directed to [42] and [43] for complete formal models of parametric design using DESIRE and KARL, respectively. 8 4 Frameworks Studied In this section, we...
.... is based on a logical (formal) analysis of design processes [12] and on analyses of applications, including elevator configuration [23] and design of environmental measures [24] Within this knowledge level model different levels of reflection are distinguished enabling...
Cited by: More
Deliberative Evolution in Multi-Agent Systems - Brazier, Jonker, Treur.. (2001) (Correct)
Knowledge Level Model of an Individual Designer as an.. - Brazier, Moshkina.. (2001) (Correct)
A Survey of Languages for Specifying Dynamics: A.. - van Eck.. (2000) (Correct)
Active bibliography (related documents): More All
1.6: Strategic Knowledge in Design: a Compositional Approach - Brazier, van Langen, Treur (1998) (Correct)
1.1: A Logical Theory of Design - Brazier, Van Langen, Treur (1996) (Correct)
0.7: Assumptions on the VT task model in DESIRE - Brazier, van Langen, Treur.. (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
6: The Knowledge Acquisition and Representation Language KARL - Fensel - 1995
5: Interaction with experts: the role of a shared task model (context) - Brazier, Treur et al. - 1996
4: Transaction logic programming - Bonner, Kifer - 1993
BibTeX entry: (Update)
Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M. 1996. Modelling an elevator design task in Desire: the VT example. In: Schreiber, A.Th., and Birmingham, W.P. (Eds.), Special Issue on Sisyphus-VT. International Journal of Human-Computer Studies, 1996, 44:469-520. http://citeseer.ist.psu.edu/article/brazier96modelling.html More
@incollection{ brazier96modelling,
author = "F. M. T. Brazier and B. Dunin-Keplicz and N. R. Jennings and J. Treur",
title = "Modelling Distributed Industrial Processes in a Multi-Agent Framework",
booktitle = "Cooperative Knowledge Processing",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "S. Kirn and G. M. P. O'Hare",
pages = "212--229",
year = "1996",
url = "citeseer.ist.psu.edu/article/brazier96modelling.html" }
Citations (may not include all citations):97 Generic tasks in knowledge-based reasoning: high-level build.. (context) - CHANDRASEKARAN - 1986
71 Design problem solving: a task analysis - CHANDRASEKARAN - 1990
57 Design prototypes: a knowledge representation schema for des.. (context) - GERO - 1990
47 VT: An expert elevator designer that uses knowledgedirected .. (context) - MARCUS, STOUT et al. - 1988
46 SALT: A knowledge acquisition language for propose-and-revis.. (context) - MARCUS, MCDERMOTT - 1989
45 Formal Specification of Complex Reasoning Systems (context) - TREUR - 1993
33 Design problem solving: knowledge structures and control str.. (context) - BROWN, CHANDRASEKARAN - 1989
29 Configuring elevator systems (context) - YOST - 1994
26 Formal specification of compositional architectures (context) - LANGEVELDE, VAN and et al. - 1991
21 Functional representation of design and redesign problem sol.. (context) - GOEL, CHANDRASEKARAN - 1989
20 Temporal theories of reasoning - ENGELFRIET, TREUR - 1995
20 A comparison of languages which operationalise and formalise.. - FENSEL, VAN HARMELEN - 1994
12 Extended general design theory (context) - TOMIYAMA, YOSHIKAWA - 1987
12 User-centered knowledge-based system design: a formal modell.. (context) - BRAZIER, TREUR - 1994
11 On formal specification of design tasks (context) - BRAZIER, LANGEN et al. - 1994
11 Modelling interaction with experts: the role of a shared tas.. - BRAZIER, TREUR et al. - 1994
10 A logical foundation for verification (context) - TREUR, WILLEMS - 1994
10 Formal specification of hierarchically (context) - BRAZIER, TREUR et al. - 1995
9 Logic models of design (context) - COYNE - 1988
8 Solving VT by reuse (context) - RUNKEL, BIRMINGHAM - 1994
8 Knowledge acquisition as a constructive modeling activity (context) - FORD, BRADSHAW et al. - 1993
6 Process models for design synthesis (context) - MAHER - 1990
6 Formal notions for verification of dynamics of knowledge-bas.. (context) - TREUR, WILLEMS - 1995
6 A knowledge-based system for routing of international blank .. (context) - GEELEN, KOWALCZYK - 1992
5 A compositional knowledge-based architecture modelling proce.. (context) - BRUMSEN, PANNEKEET et al. - 1992
5 A logical theory of design - BRAZIER, LANGEN et al. - 1995
4 Strategies for conflict management in preliminary engineerin.. (context) - HAROUD, BOULANGER et al. - 1994
4 A formal analysis of parametric design (context) - WIELINGA, AKKERMANS et al. - 1995
4 Redesign and reuse in compositional knowledge-based systems (context) - BRAZIER, LANGEN et al. - 1995
4 Generating non-brittle configuration-design tools (context) - RUNKEL, BALKANY et al. - 1994
3 An overview of the structure of the design process (context) - ARCHER - 1970
3 Modelling design processes (context) - TAKEDA, VEERKAMP et al. - 1990
2 A generic architecture for knowledge-based control of proces.. (context) - BRAZIER, KLERK et al. - 1993
2 On computing exploration and solving design problems (context) - SMITHERS, CORNE et al. - 1994
1 Ontolingua files for the elevator-configuration task [Machin.. (context) - GRUBER, RUNKEL - 1993
1 Workplace-adapted behaviours: lessons learned for knowledge .. (context) - VANWELKENHUYSEN, MIZOGUCHI - 1995
1 Formalising and operationalizing a design task with KARL (context) - LANDES, FENSEL et al. - 1993
1 brittleness of a DESIRE model (context) - GEELEN, RUTTKAY - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.vu.nl/~wai/pub/1996/): More
Collective Commitments - Barbara Dunin-Keplicz Institute (Correct)
Nonmonotonic Reasoning with Multiple Belief Sets - Engelfriet, Herre, Treur (1996) (Correct)
Specification of Nonmonotonic Reasoning - Joeri Engelfriet And (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC