@inproceedings{KraftRetkowitz2005, author = {Kraft, Bodo and Retkowitz, Daniel}, title = {Operationale Semantikdefinition f{\"u}r konzeptuelles Regelwissen}, year = {2005}, abstract = {In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universit{\"a}t Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universit{\"a}t 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Geb{\"a}udeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zun{\"a}chst informell eingef{\"u}hrt und dann formal beschrieben. Darauf aufbauend wird die Grundlage f{\"u}r eine Konsistenzpr{\"u}fung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben}, subject = {CAD}, language = {de} } @inproceedings{KloockMorenoHuachupomaetal.2005, author = {Kloock, Joachim P. and Moreno, Lia and Huachupoma, S. and Xu, J. and Wagner, Torsten and Bratov, A. and Doll, T. and Vlasov, Y. and Sch{\"o}ning, Michael Josef}, title = {Halbleiterbasierte Schwermetallsensorik auf der Basis von Chalkogenidgl{\"a}sern f{\"u}r zuk{\"u}nftige „Lab on Chip"-Anwendungen}, series = {7. Dresdner Sensor-Symposium - Neue Herausforderungen und Anwendungen in der Sensortechnik}, booktitle = {7. Dresdner Sensor-Symposium - Neue Herausforderungen und Anwendungen in der Sensortechnik}, editor = {Gerlach, Gerald}, publisher = {TUDpress, Verl. der Wissenschaften}, address = {Dresden}, isbn = {3-938863-29-3}, pages = {221 -- 224}, year = {2005}, language = {de} }