TY  - CHAP
A1  - Kraft, Bodo
A1  - Retkowitz, Daniel
T1  - Operationale Semantikdefinition für konzeptuelles Regelwissen
N2  - In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 
Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2005
ER  - 
TY  - CHAP
A1  - Kloock, Joachim P.
A1  - Moreno, Lia
A1  - Huachupoma, S.
A1  - Xu, J.
A1  - Wagner, Torsten
A1  - Bratov, A.
A1  - Doll, T.
A1  - Vlasov, Y.
A1  - Schöning, Michael Josef
ED  - Gerlach, Gerald
T1  - Halbleiterbasierte Schwermetallsensorik auf der Basis von Chalkogenidgläsern für zukünftige „Lab on Chip“-Anwendungen
T2  - 7. Dresdner Sensor-Symposium - Neue Herausforderungen und Anwendungen in der Sensortechnik
Y1  - 2005
SN  - 3-938863-29-3
SP  - 221
EP  - 224
PB  - TUDpress, Verl. der Wissenschaften
CY  - Dresden
ER  -