{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:37Z","timestamp":1725488017520},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74171-8_56","type":"book-chapter","created":{"date-parts":[[2007,7,30]],"date-time":"2007-07-30T09:13:08Z","timestamp":1185786788000},"page":"565-574","source":"Crossref","is-referenced-by-count":2,"title":["Requirement Specification Based on Action Model Learning"],"prefix":"10.1007","author":[{"given":"Hankui","family":"Zhuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Bian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Wan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","unstructured":"Yang, Q., Wu, K., Jiang, Y.: Learning Action Models from Plan Examples with Incomplete Knowledge. In: ICAPS 2005. Proceedings of the 2005 International Conference on Automated Planning and Scheduling, Monterey, CA USA, pp. 241\u2013250 (June 2005)"},{"key":"56_CR2","doi-asserted-by":"crossref","unstructured":"Benson, S.: Inductive Learning of Reactive Action Models. In: Proceedings of the International Conference on Machine Learning (ICML, Stanford University, Stanford, CA, pp. 47\u201354 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50015-3"},{"key":"56_CR3","doi-asserted-by":"crossref","unstructured":"Blythe, J., Kim, J., Ramachandran, S., Gil, Y.: An Integrated Environment for Knowledge Acquisition. In: Proceedings of the International Conference on Intelligent User Interfaces (IUI2001), Santa Fe, NM, pp. 13\u201320 (2001)","DOI":"10.1145\/359784.359819"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Gil, Y.: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains. In: Eleventh Intl. Conf. on Machine Learning, pp. 87\u201395 (1994)","DOI":"10.1016\/B978-1-55860-335-6.50019-2"},{"key":"56_CR5","unstructured":"Oates, T., Cohen, P.R.:Searching for Planning Operators with Context-dependent and Probabilistic Effects. In: Proceedings of the Thirteenth National Conference on AI (AAAI 1996), Portland, OR, pp. 865\u2013C868 (1996)"},{"key":"56_CR6","first-page":"254","volume-title":"Using the Event Calculus to Integrate Planning and Learning in an Intelligent Autonomous Agent, Current Trends in AI Planning","author":"G. Sablon","year":"1994","unstructured":"Sablon, G., Boulanger, D.: Using the Event Calculus to Integrate Planning and Learning in an Intelligent Autonomous Agent, Current Trends in AI Planning, pp. 254\u2013265. IOS Press, Amsterdam (1994)"},{"key":"56_CR7","unstructured":"Shen, W.: Autonomous Learning from the Environment, Computer Science Press\/W.H. Freeman and Company (1994)"},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"Wang, X.: Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition. In: ICML 1995. Proceedings of the Twelfth International Conference on Machine Learning, pp. 549\u2013557 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50074-8"},{"key":"56_CR9","volume-title":"Software Engineering[M]","author":"I. Sommerville","year":"2000","unstructured":"Sommerville, I.: Software Engineering[M]. Addison- Wesley [s.l.], Reading (2000)"},{"key":"56_CR10","unstructured":"Wan, H., Zheng, Y., Li, L.: Software Requirement Specification based on Answer Sets Semantics and Subject-Predicate-Object. In: ICYCS\u2019 05. The 8th International Conference for Young Computer Scientists, Beijing, China, pp. 20-22 (September 2005)"},{"key":"56_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An Extension to pddl for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013C124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"56_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1009725216438","volume":"2","author":"B. Borchers","year":"1999","unstructured":"Borchers, B., Furman, J.: A two-phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. Journal of Combinatorial Optimization\u00a02(4), 299\u2013C306 (1999)","journal-title":"Journal of Combinatorial Optimization"},{"key":"56_CR13","unstructured":"http:\/\/planning.cis.strath.ac.uk\/competition\/"},{"key":"56_CR14","unstructured":"http:\/\/zeus.ing.unibs.it\/lpg\/"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74171-8_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:12:53Z","timestamp":1619518373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74171-8_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741701"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74171-8_56","relation":{},"subject":[]}}