{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:00:57Z","timestamp":1725552057700},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540265511"},{"type":"electronic","value":"9783540318934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11504894_99","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T08:17:40Z","timestamp":1270801060000},"page":"712-721","source":"Crossref","is-referenced-by-count":8,"title":["Formal Goal Generation for Intelligent Control Systems"],"prefix":"10.1007","author":[{"given":"Richard","family":"Dapoigny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Foulloy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Benoit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"99_CR1","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1080\/08839519408945442","volume":"8","author":"M. Lind","year":"1994","unstructured":"Lind, M.: Modeling Goals and Functions of Complex Industrial Plant. Journal of Applied Artificial Intelligence\u00a08, 259\u2013283 (1994)","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"99_CR2","unstructured":"Fikes, R.: Ontologies: What are they, and where\u2019s the research? Principles of Knowledge Representation and Reasoning, 652\u2013654 (1996)"},{"key":"99_CR3","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/4.5.617","volume":"4","author":"J. Hertzberg","year":"1994","unstructured":"Hertzberg, J., Thiebaux, S.: Turning an Action Formalism into a Planner: a case Study. Journal of Logic and Computation\u00a04, 617\u2013654 (1994)","journal-title":"Journal of Logic and Computation"},{"key":"99_CR4","unstructured":"Lifschitz, V.: A Theory of Actions. In: Procs. of the 10th International Joint Conference on Artificial Intelligence, pp. 432\u2013437 (1993)"},{"issue":"4","key":"99_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1017\/S0890060400001621","volume":"10","author":"Y. Umeda","year":"1996","unstructured":"Umeda, Y., et al.: Supporting conceptual design based on the function-behavior-state modeler. Artificial Intell. for Engineering Design, Analysis and Manufacturing.\u00a010(4), 275\u2013288 (1996)","journal-title":"Artificial Intell. for Engineering Design, Analysis and Manufacturing."},{"issue":"3","key":"99_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/S0169-023X(96)00014-6","volume":"20","author":"P. Gerstl","year":"1996","unstructured":"Gerstl, P., Pribbenow, S.: A conceptual theory of part-whole relations and its applications. Data and Knowledge Engineering\u00a020(3), 305\u2013322 (1996)","journal-title":"Data and Knowledge Engineering"},{"key":"99_CR7","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1207\/s15516709cog1104_2","volume":"11","author":"M.E. Winston","year":"1987","unstructured":"Winston, M.E., Chaffin, R., Herrmann, D.: A taxonomy of part-whole relations. Cognitive Science\u00a011, 417\u2013444 (1987)","journal-title":"Cognitive Science"},{"key":"99_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-39592-8_13","volume-title":"Foundations of Intelligent Systems","author":"R. Dapoigny","year":"2003","unstructured":"Dapoigny, R., Benoit, E., Foulloy, L.: Functional Ontology for Intelligent Instruments. In: Zhong, N., Ra\u015b, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, pp. 88\u201392. Springer, Heidelberg (2003)"},{"key":"99_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-24651-0_18","volume-title":"Concept Lattices","author":"P. Cimiano","year":"2004","unstructured":"Cimiano, P., Hotho, A., Stumme, G., Tane, J.: Conceptual knowledge processing with formal concept analysis and ontologies. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol.\u00a02961, pp. 189\u2013207. Springer, Heidelberg (2004)"},{"key":"99_CR10","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered sets","author":"R. Wille","year":"1982","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered sets, pp. 445\u2013470. Reidel, Dordrecht (1982)"},{"key":"99_CR11","volume-title":"Lattice theory","author":"G. Birkhoff","year":"1940","unstructured":"Birkhoff, G.: Lattice theory, 1st edn., vol.\u00a025. Amer. Math. Soc. Coll. Publ., Providence (1940)","edition":"1"},{"key":"99_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-61534-2_2","volume-title":"Conceptual Structures: Knowledge Representations as Interlingua","author":"R. Wille","year":"1996","unstructured":"Wille, R.: Conceptual structures of multicontexts. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS, vol.\u00a01115, pp. 23\u201339. Springer, Heidelberg (1996)"},{"key":"99_CR13","unstructured":"Ganter, B., Wille, R.: Applied lattice theory: formal concept analysis. Institut fr Algebra, TU Dresden, Germany (1997)"},{"key":"99_CR14","unstructured":"Stumme, G.: Hierarchies of conceptual scales. In: Procs. of the Work. on Knowledge Acquisition, Modeling and Managenent (KAW 1999), vol.\u00a02, pp. 78\u201395 (1999)"},{"key":"99_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal concept analysis - mathematical foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal concept analysis - mathematical foundations. Springer, Heidelberg (1999)"},{"key":"99_CR16","unstructured":"Cimiano, P., Staab, S., Tane, J.: Deriving concept hierarchies from text by smooth formal concept analysis. In: Procs. of the GI Workshop LLWA (2003)"},{"key":"99_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of computer programming\u00a020, 3\u201350 (1993)","journal-title":"Science of computer programming"},{"key":"99_CR18","doi-asserted-by":"crossref","unstructured":"Rolland, C., Souveyet, C., Achour, C.B.: Guiding goal modelling using scenarios. IEEE Trans. on software eng., 1055\u20131071 (1998)","DOI":"10.1109\/32.738339"},{"key":"99_CR19","unstructured":"Letier, E.: Reasoning about agents in goal-oriented requirements engineering. Doct. dissertation, University of Louvain (2001)"},{"key":"99_CR20","doi-asserted-by":"crossref","unstructured":"El-Maddah, I., Maibaum, T.: Goal-oriented requirements analysis for process control systems design. In: Procs. of MEMOCODE (2003)","DOI":"10.1109\/MEMCOD.2003.1210085"},{"key":"99_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-45816-6_22","volume-title":"Conceptual Modeling - ER 2002","author":"P. Giorgini","year":"2002","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, p. 167. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11504894_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:43:34Z","timestamp":1619491414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11504894_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540265511","9783540318934"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11504894_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}