Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    RULE-BASED VERIFICATION OF A GEOMETRIC DESIGN USING THE CODEX FRAMEWORK


    Contributors:
    Boden, B. (author) / Cabac, Y. (author) / Burschyk, T. (author) / Nagel, B. (author)

    Conference:

    33rd International Council of the Aeronautical Sciences congress, ICAS


    Publication date :

    2022-01-01


    Size :

    15 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Semantic Knowledge-Based-Engineering: The Codex Framework

    Zamboni, J. / Zamfir, A. / Moerland, E. | German Aerospace Center (DLR) | 2020

    Free access

    Product design method based on integrated geometric and rule-based reasoning

    Pan, Z.Y. / Cao, X.Y. / Wu, Y. et al. | Tema Archive | 2009


    Geometric Constructions: The Next Level of Rule-based Design Automation

    Cochran, K. / Blanchard, P. / Royal Institution of Naval Architects | British Library Conference Proceedings | 2009



    Verification issues for rule-based expert systems

    Culbert, Chris / Riley, Gary / Savely, Robert T. | NTRS | 1987