International Journal of Man-Machine Studies
A theory of consolidation for reasoning about devices
International Journal of Man-Machine Studies
Case-based design: A task analysis
Artificial intelligence in engineering design (Vol. II)
Cognitive systems engineering
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Functional Reasoning in Design
IEEE Expert: Intelligent Systems and Their Applications
Design Repositories: Engineering Design's New Knowledge Base
IEEE Intelligent Systems
Meta-Cases: Explaining Case-Based Reasoning
EWCBR '96 Proceedings of the Third European Workshop on Advances in Case-Based Reasoning
Towards Design Learning Environments - I: Exploring How Devices Work
ITS '96 Proceedings of the Third International Conference on Intelligent Tutoring Systems
Analogical recognition of shape and structure in design drawings
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A review of function modeling: Approaches and applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Understanding drawings by compositional analogy
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Use of design patterns in analogy-based design
Advanced Engineering Informatics
Deployment of an ontological framework of functional design knowledge
Advanced Engineering Informatics
FBRL: a function and behavior representation language
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
CSCL'09 Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 2
From Conceptual Models to Agent-based Simulations: Why and How
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
Characterizing Functions based on Ontological Models from an Engineering Point of View
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Appropriating conceptual representations: a case of transfer in a middle school science teacher
ICLS '10 Proceedings of the 9th International Conference of the Learning Sciences - Volume 1
Identifying candidates for design-by-analogy
Computers in Industry
Semantically annotating research articles for interdisciplinary design
Proceedings of the sixth international conference on Knowledge capture
An assessment framework for identifying information technology programs
Proceedings of the 2011 conference on Information technology education
A domain model to improve IT course design
Proceedings of the 2011 conference on Information technology education
Representation, indexing, and retrieval of biological cases for biologically inspired design
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
B-Cube, behavioural modelling of technical artefacts
Computers in Industry
An algorithm for transforming design text ROM diagram into FBS model
Computers in Industry
MILA--S: generation of agent-based simulations from conceptual models of complex systems
Proceedings of the 19th international conference on Intelligent User Interfaces
| Hi-index | 0.00 |
Teleological modeling is fundamental to understanding and explaining many complex systems, especially engineered systems. Research on engineering design and problem solving has developed several ontologies for expressing teleology, for example, functional representation, function–behavior–structure, and structure–behavior–function (SBF). In this paper, we view SBF as a programming language. SBF models of engineering systems have been used in several computer programs for automated design and problem solving. The SBF language captures the expressive power of the earlier programs and provides a basis for interactive construction of SBF models. We provide a precise specification of the SBF language. We also describe an interactive model construction tool called SBFAuthor.