{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:06Z","timestamp":1740096006039,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["03\/CE2\/I303 1"],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,16]]},"DOI":"10.1145\/1992896.1992901","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T11:53:52Z","timestamp":1307361232000},"page":"35-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Requirements and initial model for KnowLang"],"prefix":"10.1145","author":[{"given":"Emil","family":"Vassev","sequence":"first","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}]},{"given":"Mike","family":"Hinchey","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}]},{"given":"Benoit","family":"Gaudin","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}]},{"given":"Paddy","family":"Nixon","sequence":"additional","affiliation":[{"name":"University of Tasmania, Hobart, Tasmania, Australia"}]}],"member":"320","published-online":{"date-parts":[[2011,5,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ASCENS -- Autonomic Service-Component Ensembles. 2010. http:\/\/www.ascens-ist.eu\/. ASCENS -- Autonomic Service-Component Ensembles. 2010. http:\/\/www.ascens-ist.eu\/."},{"key":"e_1_3_2_1_2_1","unstructured":"European Commission -- CORDIS. Seventh Framework Program (FP7). http:\/\/cordis.europa.eu\/fp7\/home_en.html. European Commission -- CORDIS. Seventh Framework Program (FP7) . http:\/\/cordis.europa.eu\/fp7\/home_en.html."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.361"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.21"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.1999.747901"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Brachman R. J. and Levesque H. J. 2004. Knowledge representation and reasoning. Elsevier San Francisco. Brachman R. J. and Levesque H. J. 2004. Knowledge representation and reasoning . Elsevier San Francisco.","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"e_1_3_2_1_10_1","unstructured":"Baader F. and Nutt W. 2002. Basic Description Logics. In The Description Logic Handbook F. Baader D. Calvanese D. McGuinness D. Nardi and P. Patel-Schneider Ed. Baader F. and Nutt W. 2002. Basic Description Logics. In The Description Logic Handbook F. Baader D. Calvanese D. McGuinness D. Nardi and P. Patel-Schneider Ed."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/355588.365140"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Troelstra A. S. and Schwichtenberg H. 2000. Basic Proof Theory. Cambridge University Press. Troelstra A. S. and Schwichtenberg H. 2000. Basic Proof Theory . Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792878.1792905"},{"key":"e_1_3_2_1_14_1","unstructured":"McCarthy J. and Hayes P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4. Edinburgh Univ. Press. pp. 463--502. McCarthy J. and Hayes P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4 . Edinburgh Univ. Press. pp. 463--502."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016738205696"},{"key":"e_1_3_2_1_16_1","first-page":"23","volume-title":"Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning. Dortrecht: Kluwer","author":"Schubert L. K.","unstructured":"Schubert , L. K. 1990. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning. Dortrecht: Kluwer . pp. 23 -- 67 . Schubert, L. K. 1990. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning. Dortrecht: Kluwer. pp. 23--67."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS","author":"Bonani M.","year":"2010","unstructured":"Bonani , M. , Longchamp , V. , Magnenat , S. , Retornaz , P. , Burnier , D. , Roulet , G. , Vaussard , F. , Bleuler , H. and Mondada , F . 2010. The MarXbot, a Miniature Mobile Robot Opening new Perspectives for the Collective-robotic Research . In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2010 ). Bonani, M., Longchamp, V., Magnenat, S., Retornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H. and Mondada, F. 2010. The MarXbot, a Miniature Mobile Robot Opening new Perspectives for the Collective-robotic Research. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2010)."},{"key":"e_1_3_2_1_19_1","unstructured":"Russell S. J. and Norvig P. 2009. Artificial intelligence: A modern approach. Prentice Hall. Russell S. J. and Norvig P. 2009. Artificial intelligence: A modern approach . Prentice Hall."}],"event":{"name":"C3S2E '11: Fourth International C* Conference on Computer Science & Software Engineering","sponsor":["ACM Association for Computing Machinery","BytePress","Concordia University Concordia University"],"location":"Montreal Quebec Canada","acronym":"C3S2E '11"},"container-title":["Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1992896.1992901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T02:35:03Z","timestamp":1673404503000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1992896.1992901"}},"subtitle":["a language for knowledge representation in autonomic service-component ensembles"],"short-title":[],"issued":{"date-parts":[[2011,5,16]]},"references-count":17,"alternative-id":["10.1145\/1992896.1992901","10.1145\/1992896"],"URL":"https:\/\/doi.org\/10.1145\/1992896.1992901","relation":{},"subject":[],"published":{"date-parts":[[2011,5,16]]},"assertion":[{"value":"2011-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}