| authors |
Woodbury, R., Burrow, A., Drogemuller, R. and Datta, S. |
| year |
2000 |
| title |
Code Checking by Representation Comparison |
| source |
CAADRIA 2000 [Proceedings of the Fifth Conference on Computer Aided Architectural Design Research in Asia / ISBN 981-04-2491-4] Singapore 18-19 May 2000, pp. 235-244 |
| doi |
https://doi.org/10.52842/conf.caadria.2000.235
|
| summary |
In current computational building design theory and practice, representation schemes depend upon a set of formal operations for creating, changing and querying a representation. With a few notable exceptions, these operations do not provide ways of comparing representations to determine how representations are alike and how they are different. We have developed a theory for and a formal representation scheme that supports representation comparison. This theory opens new approaches to unsolved problems in computational building design, notably the long-standing issue of automated building code checking. |
| series |
CAADRIA |
| email |
|
| full text |
 file.pdf (169,661 bytes) |
| references |
Content-type: text/plain
|
Ait-Kaci, H. and Nasr, R. (1986)
 Login: A logical programming language with built-in inheritance
, Journal of Logic Programming, 3:187-215
|
|
|
|
|
Ait-Kaci, H. and Podelski, A. (1993)
Towards a meaning of life
, Technical report PRL-RR-11, Digital Paris Research Laboratory, May
|
|
|
|
|
Burrow, A. and Woodbury, R. (1999)
Resolution in design space exploration
, Godfried Augenbroe and Charles Eastman, editors, Computers in Building: Proceedings of the CAADFutures'99 Conference, pp 291-308, Kluwer Academic Publishers, Atlanta, Georgia, June 7-8
|
|
|
|
|
Carpenter, B. (1992)
The Logic of Typed Feature Structures with Applications to Unification Grammars
, Cambridge Tracts in Theoretical Computer Science. Cambridge University Press
|
|
|
|
|
Carpenter, B. and G. Penn, G. (1997)
The Attribute Logic Engine User's Guide. Computational Linguistics Program
, Philosophy Department, Carnegie Mellon University, Pittsburgh, PA USA, 2.0.3 edition, March 1997
|
|
|
|
|
Chang, T.-W. (1999)
Geometric Typed Feature Structures: Towards Design Space Exploration
, Ph.D. Thesis, The University of Adelaide (Architecture), October
|
|
|
|
|
Chang, T.-W. and Woodbury, R.F. (1997)
Efficient design spaces of non-manifold solids
, J.-H. Hou Yu-Tung Liu, J.-Y. Tsou, editor, CAADRIA 97, volume 2, pp. 335-344, Hsinchu, Taiwan, April 17-19
|
|
|
|
|
Chomsky, N. (1988)
Languages and Problems of Knowledge
, Vol. 16 of Current Studies in Linguistics, MIT Press Cambridge, Massachusetts
|
|
|
|
|
Dalheimer, M.K. (1999)
Programming with Qt: Writing Portable GUI applications on UNIX and Win32
, O'Reilly and Associates
|
|
|
|
|
Datta, S. (2000)
Unfolding Design Spaces Interactively
, Ph.D. Thesis, The University of Adelaide (Architecture)
|
|
|
|
|
Datta, S., Chang, T.-W. and Woodbury, R.F. (1997)
Describing temple cellas in SEED-Config
, J.-H. Hou Yu-Tung Liu, J.-Y. Tsou, editor, CAADRIA 97, volume 2, pages 367-376, Hsinchu, Taiwan, April 17-19
|
|
|
|
|
Fenves, S.J., Garrett, J.H., Kiliccote, H., Law, K.H. and Reed, K.A. (1995)
Computer representation of design standards and building codes: U.s. perspective.
, The International Journal of Construction Information Technology, 3(1):13-34
|
|
|
|
|
Flemming, U. and Woodbury, R.F. (1995)
Software Environment to support Early phases in building Design SEED: Overview
, ASCE Journal of Architectural Engineering, 1(4):147-152, December
|
|
|
|
|
Hakim, M. and Garrett, J.H. Jr. (1993)
Using description logic for representing engineering design standards
, Journal of Engineering with Computers, 9:108-124
|
|
|
|
|
Heisserman, J. and Woodbury, R. (1993)
Generating languages of solid models
, Proceedings of Second ACM/IEEE Symposium on Solid Modeling and Applications, pp. 103-112
|
|
|
|
|
Heisserman, J.A. (1994)
Generative Geometric Design
, IEEE Computer Graphics and Applications, 14(2):37-45
|
|
|
|
|
Kiliccote, H. (1997)
A Standards Processing Framework
, PhD thesis, Department of Civil Engineering, Carnegie Mellon University, USA
|
|
|
|
|
Krishnamurti, R. and Stouffs, R. (1997)
Spatial change: Continuity, reversibility and emergent shapes
, Environment and Planning B: Planning and Design, 24:1-25
|
|
|
|
|
Mac Gregor, R.M. (1990)
Loom users manual
, Technical report, ISI University of Southern California, La Jolla, California
|
|
|
|
|
Sharpe, R. and Oakes, S. (1995)
Advanced IT processing of Australian standards and regulations
, The Intl. Journal of Construction Information Technology, 3(1):73-89
|
|
|
|
| last changed |
2022/06/07 07:57 |
|
