{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T12:53:34Z","timestamp":1675256014471},"reference-count":67,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Advanced Engineering Informatics"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s1474-0346(03)00020-x","type":"journal-article","created":{"date-parts":[[2003,9,11]],"date-time":"2003-09-11T23:29:31Z","timestamp":1063322971000},"page":"41-57","source":"Crossref","is-referenced-by-count":7,"title":["Assisting conceptual design of building structures by an interactive description logic based planner"],"prefix":"10.1016","volume":"17","author":[{"given":"Michael","family":"Eisfeld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimar","family":"Scherer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1474-0346(03)00020-X_BIB1","series-title":"Human problem solving","author":"Newell","year":"1972"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB2","first-page":"18","article-title":"Motivating the notion of generic design with information processing theory: the design problem space","volume":"10","author":"Goel","year":"1989","journal-title":"AI Mag"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB3","series-title":"Vorlesungen \u00fcber den Massivbau","author":"Leonhardt","year":"1977"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB4","series-title":"Structures","author":"Schodek","year":"1980"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB5","series-title":"Special Issue on Computer Aided Engineering","article-title":"Function in device representation","volume":"16","author":"Chandrasekaran","year":"2000"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB6","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/64.585103","article-title":"Functional reasoning in design","volume":"11","author":"Umeda","year":"1997","journal-title":"IEEE Expert"},{"issue":"3","key":"10.1016\/S1474-0346(03)00020-X_BIB7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/64.590064","article-title":"Qualitative reasoning and the sciences of design","volume":"12","author":"Iwasaki","year":"1997","journal-title":"IEEE Expert: Intell Syst"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB8","series-title":"Description logic handbook","author":"Baader","year":"2002"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB9","series-title":"Intelligent planning: a decomposition and abstraction based approach","author":"Yang","year":"1998"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB10","series-title":"The science of the artificial","author":"Simon","year":"1999"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB11","series-title":"The principles of design","author":"Suh","year":"1990"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB12","series-title":"Advances in Intelligent Computing in Engineering","article-title":"Conceptual parametric design with expressive description logic","author":"Eisfeld","year":"2002"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB13","unstructured":"Dekker KJ. Conceptual design of concrete structures. Master's Thesis, Chalmers University Gothenburg; 2000."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB14","unstructured":"Bundesvereiningung der Pr\u00fcfingenieure. Anforderungen f\u00fcu das Aufstellen EDV-unterst\u00fctzter Standsicherheitsnachweise, at http:\/\/www.bvpi.de\/technische-mitteilungen\/technische-mitteilungen.htm; October 2002."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB15","unstructured":"Eisenbl\u00e4tter K. Wissensbasierter Tragwerksentwurf\u2014Entwicklung einer Task Structure mit Hilfe von Arbeitsstudien f\u00fcr den Bereich des Konstruktiven Hochbaus in einer HTN-Planungsumgebung, Master's Thesis, Technical University of Dresden; 2001."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB16","unstructured":"Eisfeld M. Conceptual computerized structural design\u2014methods for documentation, generation and evaluation. Master's Thesis, Chalmers University Gothenburg; 2000."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB17","series-title":"The art in structural design","author":"Holgate","year":"1986"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB18","series-title":"Reinforced and prestressed concrete design\u2014the complete process","author":"Brien","year":"1995"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB19","first-page":"26","article-title":"Design prototypes: a knowledge representation schema for design","volume":"11","author":"Gero","year":"1990","journal-title":"AI Mag"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB20","series-title":"Design problem solving, knowledge structures and control strategies","author":"Brown","year":"1989"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB21","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0890060498124034","article-title":"Defining configuring","volume":"12","author":"Brown","year":"1997","journal-title":"Artif Intell Engng Des, Anal Manufact"},{"issue":"2","key":"10.1016\/S1474-0346(03)00020-X_BIB22","first-page":"49","article-title":"Configuration-design problem solving","volume":"12","author":"Wielenga","year":"1997","journal-title":"IEEE Intell Syst"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB23","series-title":"Lecture Notes","article-title":"Knowledge-based configuration\u2014survey and future trends","author":"G\u00fcnter","year":"1999"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB24","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0954-1810(96)00042-8","article-title":"Application of intelligent CAD paradigms to preliminary structural design","volume":"11","author":"Hauser","year":"1997","journal-title":"Artif Intell Engng"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB25","unstructured":"Turk Z, Scherer RJ, Katranuschkov P. Deliverable report D10, scenarios for testing. EU project IST-1999-11508 (IST for CE), Classification: internal; 2001."},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB26","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S0269888900000308","article-title":"Introducing expert critiquing systems","volume":"8","author":"H\u00e4gglund","year":"1993","journal-title":"Knowledge Engng Rev"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB27","unstructured":"Eisfeld M, Scherer RJ. Wissensbasierte Entwurfsunterst\u00fctzung f\u00fcu die Konzipierung von Tragwerken in der fr\u00fchen Entwurfsphase. Technical report, Chair of Applied Computer Science in Civil Engineering, Technical University Dresden; 2002."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB28","series-title":"In: Proceedings of International Workshop on Description Logic","article-title":"Description of the RACER system and its applications","author":"Haarslev","year":"2001"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB29","series-title":"Wissensrepr\u00e4sentation und Inferenz","author":"Bibel","year":"1993"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB30","series-title":"Artificial intelligence: a modern approach","author":"Russel","year":"1995"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB31","series-title":"Computational intelligence\u2014a logical approach","author":"Poole","year":"1998"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB32","series-title":"Fundamentals of computer aided engineering","author":"Raphael","year":"2003"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB33","series-title":"DFKI technical memo TM-95-01, Deutsches Forschungszentrum f\u00fcr k\u00fcnstliche Intelligenz Saar-br\u00fccken","article-title":"Constructive problem solving: a model construction approach towards configuration","author":"Buchheit","year":"1995"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB34","series-title":"Lecture Notes","article-title":"Knowledge representation and reasoning","author":"Nebel","year":"2001"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB35","series-title":"Grundlagen der Prozesstheorie\u2014Struktur and Verhalten dynamischer Systeme in Technik and Naturwissenschaft","author":"Wunsch","year":"2000"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB36","series-title":"Models of discovery","author":"Simon","year":"1977"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB37","series-title":"In: Sixth International Conference on the Application of AI to Structural Engineering, Conference Notes","article-title":"Search-control knowledge for the interoperability problem between conceptual and preliminary structural design","author":"Eisfeld","year":"2001"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB38","series-title":"Principles of knowledge representation","first-page":"237","article-title":"Artificial intelligence: a computational perspective","author":"Nebel","year":"1996"},{"issue":"1\u20134","key":"10.1016\/S1474-0346(03)00020-X_BIB39","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1016636131405","article-title":"A survey of temporal extensions of description logics","volume":"30","author":"Artale","year":"2000","journal-title":"Ann Math Artif Intell"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB40","series-title":"In: Proceedings of the 13th National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Menlo Park","article-title":"Closed terminologies in description logics","author":"Weida","year":"1996"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB41","series-title":"Agents in design. Key centre of Design Computing and Cognition, University of Sydney, Australia","article-title":"Experience and interaction","author":"Smith","year":"2002"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB42","series-title":"Number 1831 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/10721959_39","article-title":"Reasoning with individuals for the description logic SHIQ","author":"Horrocks","year":"2000"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB43","series-title":"SHOP: simple hierarchical ordered planner. UMIACS-TR-9904 CS-TR-3981","author":"Nau","year":"1999"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB44","unstructured":"Nau D, Cao Y, Lotam Y, Munoz-Avila H. SHOP and M-SHOP: planning with ordered task decomposition. Technical Report CS TR 4157, Department of Computer Science, and Institute for Systems Research, University of Maryland; June 2000."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB45","article-title":"A proposal for describing services with DLs","author":"Lutz","year":"2002","journal-title":"In: Proceedings of the 2002 International Workshop on Description Logics"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB46","series-title":"Lecture Notes","article-title":"Introduction to automatic task planning","author":"Rintanen","year":"2003"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB47","first-page":"190","article-title":"Encoding HTN planning in prepositional logic","author":"Mali","year":"1998","journal-title":"Artif Intell Plann Syst"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB48","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","article-title":"On the relative expressive power of description logics and predicate calculus","volume":"82","author":"Borgida","year":"1996","journal-title":"J Artif Intell"},{"issue":"1","key":"10.1016\/S1474-0346(03)00020-X_BIB49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attribute concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u03b2","year":"1991","journal-title":"Artif Intell"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB50","doi-asserted-by":"crossref","unstructured":"Baader F, Hanschke P. A scheme for integrating concrete domains into concept languages. DFKI Research Report RR-91-10, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Kaiserslautern; 1991.","DOI":"10.1007\/BFb0013550"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB51","article-title":"Description logics with concrete domains\u2014a survey","volume":"vol. 4","author":"Lutz","year":"2002"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB52","series-title":"Einf\u00fchrung in Expertensysteme","author":"Puppe","year":"1991"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB53","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1017\/S0890060498124071","article-title":"Proof planning for maintainable configuration systems","volume":"12","author":"Lowe","year":"1998","journal-title":"Artif Intell Engng, Des, Anal Manufact"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB54","series-title":"In: Proceedings of the ECAI-Workshop Configuration, ECAI-2000","article-title":"ENGCON: a flexible domain-independent configuration engine","author":"Hollmann","year":"2000"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB55","first-page":"55","article-title":"A partial logical reconstruction of PLAKON\/KONWERK","author":"Schr\u00f6ller","year":"1996","journal-title":"In: Proceedings of the Workshop on Knowledge Representation and Configuration WRKP-96"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB56","series-title":"In: Technical Report WS-99-05 of AAAI'99 Workshop on Configuration","article-title":"Consistency-based configuration","author":"Friedrich","year":"1999"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB57","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/5254.708435","article-title":"An industrial strength description logic-based configurator platform","volume":"13","author":"McGuinness","year":"1998","journal-title":"IEEE Intell Syst"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB58","article-title":"Interactive constraint-aided conceptual design","volume":"16","author":"O'Sullivan","year":"2002","journal-title":"J Artif Intell Engng Des, Anal Manufact"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB59","series-title":"Ninth International EG-ICE Workshop","first-page":"1","article-title":"Graph technology support for conceptual design","author":"Kraft","year":"2002"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB60","unstructured":"Fenves S. SEED-Structure, at http:\/\/seed.edrc.cmu.edu\/IJDC\/SC\/structure\/, last visited 14.05.2003; 1997."},{"issue":"3","key":"10.1016\/S1474-0346(03)00020-X_BIB61","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0954-1810(00)00018-2","article-title":"SEED-CONF: a tool for conceptual structural design in a collaborative building design environment","volume":"14","author":"Fenves","year":"2000","journal-title":"Artif Intell Engng"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB62","unstructured":"Gomez N. Conceptual structural design through knowledge hierarchies. PhD Thesis, Civil and Environment Engineering, Carnegie Mellon University; 1998."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB63","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF01221212","article-title":"CADREM: a case-based system for conceptual structural design","volume":"13","author":"Kumar","year":"1997","journal-title":"Engng Comput"},{"key":"10.1016\/S1474-0346(03)00020-X_BIB64","unstructured":"Raphael B. Reconstructive memory in design problem solving. PhD Thesis, University of Strathclyde; 1995."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB65","unstructured":"Maher ML. HI-RISE: a knowledge-based expert system for the preliminary structural design of high rise buildings. PhD Thesis, Carnegie Mellon University; 1984."},{"key":"10.1016\/S1474-0346(03)00020-X_BIB66","series-title":"Expert systems in engineering","article-title":"Expert systems for structural design","author":"Maher","year":"1991"},{"issue":"4","key":"10.1016\/S1474-0346(03)00020-X_BIB67","first-page":"49","article-title":"Process models for design synthesis","volume":"11","author":"Maher","year":"1990","journal-title":"AI Mag"}],"container-title":["Advanced Engineering Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S147403460300020X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S147403460300020X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T11:49:46Z","timestamp":1585136986000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S147403460300020X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S147403460300020X"],"URL":"https:\/\/doi.org\/10.1016\/s1474-0346(03)00020-x","relation":{},"ISSN":["1474-0346"],"issn-type":[{"value":"1474-0346","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}