{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:44:15Z","timestamp":1743083055337,"version":"3.40.3"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030385606"},{"type":"electronic","value":"9783030385613"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-38561-3_3","type":"book-chapter","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T18:02:52Z","timestamp":1585159372000},"page":"47-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis"],"prefix":"10.1007","author":[{"given":"Jose Reinaldo","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier Martinez","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiago Stegun","family":"Vaquero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,26]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"869","DOI":"10.4236\/jsea.2010.39101","volume":"3","author":"F Almisned","year":"2010","unstructured":"Almisned, F., Keppens, J.: Requirements Analysis: Evaluating KAOS Models. Journal of Software Engineering and Applications 3, 869\u2013874 (2010)","journal-title":"Journal of Software Engineering and Applications"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00766-016-0258-2","volume":"23","author":"T Ambreen","year":"2018","unstructured":"Ambreen, T., Ikram, N., Usman, M., Niazi, M.: Empirical Research in Requirements Engineering: trends and opportunities. Requirements Engineering 23(1), 63\u201395 (2018)","journal-title":"Requirements Engineering"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Asai, M., Fukunaga, A.: Fully automated cyclic planning for large-scale manufacturing domains. In: 24th. Int. Con. Artificial Planning and Scheduling (June 2014)","DOI":"10.1609\/icaps.v24i1.13620"},{"issue":"3","key":"3_CR4","first-page":"47","volume":"20","author":"F Bacchus","year":"2001","unstructured":"Bacchus, F.: The AIPS-00 planning competition. AI Magazine 20(3), 47\u201356 (2001)","journal-title":"AI Magazine"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"van Beest, N., Russel, N., ter Hofstede, A., Lazovik, A.: Achieving intention-centric BPM through automated planning. In: 7th. IEEE Int. Conf. on Service-oriented Computing and Applications (2014)","DOI":"10.1109\/SOCA.2014.45"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Bonet, B., Fuentetaja, R., E-Martin, Y., Bonet, B.: Guarantees for Sound Abstractions for Generalized Planning. In: In Proceedings of the 29th. Int. Joint Conference on Artificial Intelligence. AAAI (2019)","DOI":"10.24963\/ijcai.2019\/217"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cenamor, I.and Vallati, M., Chrpa, L.: On the predictability of domain-independent temporal planners. Computational Intelligence 35(3) (2019)","DOI":"10.1111\/coin.12211"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.procir.2018.03.022","volume":"72","author":"A Cesta","year":"2018","unstructured":"Cesta, A., Orlandini, A., Umbrico, A.: Fostering Robust Human-Robot Collaboration through AI Task Planning. Procedia CIRP 72, 1045\u20131050 (2018)","journal-title":"Procedia CIRP"},{"key":"3_CR9","unstructured":"Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Validation and Verification Issues in a Timeline-based Planning System. In: Proceedings of the ICAPS 2008 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS). Sydney, Australia (2008)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Chen, C., Rickert, M., Knoll, A.: A traffic knowledge aided vehicle motion planning engine based on space exploration guided heuristic search. In: IEEE Intelligent Vehicles Symposium Proceedings. pp. 535\u2013540 (June 2014)","DOI":"10.1109\/IVS.2014.6856458"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Cheng, K., Chen, G., Zhang, R., Wu, L., Wang, Z., Kang, R.: A Method for Unifying the Representation of Domain Knowledge and Planning Algorithm in Hierarchical Task Network. Int. Journal of Pattern Recognition and Artificial Intelligence 31(8) (2017)","DOI":"10.1142\/S0218001417590145"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1609\/aimag.v35i4.2551","volume":"35","author":"S Chien","year":"2014","unstructured":"Chien, S., Morris, R.: Editorial: Space applications of artificial intelligence. AI Magazine 35(4), 3\u20136 (2014)","journal-title":"AI Magazine"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1111\/coin.12203","volume":"35","author":"L Chrpa","year":"2019","unstructured":"Chrpa, L., Vallati, M., Mccluskey, T.: Inner Entanglements: Narrowing the search in classical planning by problem reformulation. Computational Intelligence 35(2), 395\u2013429 (2019)","journal-title":"Computational Intelligence"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.07.023","volume":"149","author":"S Edelkamp","year":"2006","unstructured":"Edelkamp, S., Jabbar, S.: Action Planning for Direct Model Checking of Petri Nets. Electronic Notes in Theoretical Computer Science 149(2), 3\u201318 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Franco Axela, S., Vallati, M., Mccluskey, T.: Improving Planning performance in PDDL+ Domains via Automated Predicate Reformulation. In: In Proceedings of the International Conference on Computational Science. Springer Verlag (2019)","DOI":"10.1007\/978-3-030-22750-0_42"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Gath, M., Herzog, O., Edelkamp, S.: Autonomous and flexible multiagent system to enhance transport logistic. In: Proc. of 11th Proc. of the Int. Conf. & Expo on Emergent Technologies for a Smarter World (October 2014)","DOI":"10.1109\/CEWIT.2014.7021143"},{"key":"3_CR17","unstructured":"Gerevini, A., Long, D.: Preferences and Soft Constraints in PDDL3. In: Gerevini, A., Long, D. (eds.) Proceedings of ICAPS workshop on Planning with Preferences and Soft Constraints. pp. 46\u201353. AAAI Press (2006), http:\/\/www.plg.inf.uc3m.es\/icaps06\/preprints\/i06-ws1-allpapers.pdf"},{"key":"3_CR18","volume-title":"HiPS: Hierarchical Petri Nets design, simulation, verification and model checking tool","author":"Y Harie","year":"2017","unstructured":"Harie, Y., Mitsui, Y., Fujimori, K., Batajoo, A., Wasaki, K.: HiPS: Hierarchical Petri Nets design, simulation, verification and model checking tool. In: Proceedings of IEEE Global Conference on Consumer Electronics (2017)"},{"issue":"7","key":"3_CR19","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.1080\/0305215X.2017.1419345","volume":"50","author":"S Kim","year":"2018","unstructured":"Kim, S., Shin, Y., Lee, G., Moon, I.: Early stage response problem for post-disaster incidents. Engineering Optimization 50(7), 1198\u20131211 (2018)","journal-title":"Engineering Optimization"},{"key":"3_CR20","unstructured":"Lallement, R., Silva, L., Alami, R.: HATP: An HTN planner for robotics. In: 24th. Int. Con. Artificial Planning and Scheduling (June 2014)"},{"key":"3_CR21","unstructured":"Lamsweerde, A.: Requirements Engineering: from system goals to UML Models to Software Specifications. John Wiley & Sons (2009)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Leofante, F., Abraham, E., Tacchela, A.: Task Planning with OMT: An Application to Production Logistic. In: C., F., Winter, K. (eds.) Integrated Formal Methods\u2014Lecture Notes in Computer Science. vol. 11023. Springer (2018)","DOI":"10.1007\/978-3-319-98938-9_18"},{"key":"3_CR23","unstructured":"Marrella, A.: Automated Planning for Business Process Management. Journal of Data Semantics pp. 1\u201320 (2018), https:\/\/doi.org\/10.1007\/s1374"},{"key":"3_CR24","unstructured":"McCluskey, T.L.: Knowledge Engineering: Issues for the AI Planning Community. In: Workshop on Knowledge Engineering Tools and Techniques for AI Planning. Sixth International Conference on Artificial Intelligence Planning and Scheduling. pp. 1\u20134. Toulouse, France (2002)"},{"key":"3_CR25","volume-title":"Knowledge Engineering for Planning Roadmap","author":"TL McCluskey","year":"2003","unstructured":"McCluskey, T.L., Aler, R., Borrajo, D., Haslum, P., Jarvis, P., Refanidis, I., Scholz, U.: Knowledge Engineering for Planning Roadmap (2003)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"McCluskey, T.L., Simpson, R.M.: Knowledge Formulation for AI Planning. In: Knowledge Acquisition, Modeling and Management (EKAW). pp. 449\u2013465 (2004)","DOI":"10.1007\/978-3-540-30202-5_30"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"McCluskey, T.L., V.T.V.M.: Engineering Knowledge for Automated Planning: Towards a Notion of Quality. In: Proceedings of the Knowledge Capture Conference (2017)","DOI":"10.1145\/3148011.3148012"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Mohr, F., Wever, M., Hullermeier, E.: ML-Plan: Automated Machine learning via hierarchical Planning. Machine Learning 107(8\u201310) (2018)","DOI":"10.1007\/s10994-018-5735-z"},{"key":"3_CR29","unstructured":"Nguyen, A.: Challenge ROADEF 2005: Car sequencing problem. Online reference at http:\/\/challenge.roadef.org\/2005\/files\/suite_industrielle_2005.pdf , last visited on August of 2016 23 (2005)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Pecora, F., Andreasson, H., Mansouri, M., Peckov, V.: A Loosely-coupled Approach for Multi-Robot Coordination on Automated Planning and Scheduling. In: In Proceedings of the 28th. Int. Joint Conference on Artificial Intelligence. AAAI (2018)","DOI":"10.1609\/icaps.v28i1.13923"},{"issue":"2","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1869397.1869399","volume":"1","author":"J Porteous","year":"2014","unstructured":"Porteous, J., Cavazza, M., Charles, F.: Applying planning to interactive storytelling: Narrative control using state constraints. ACM Transactions on Intelligent Systems and Technology 1(2), 1\u201321 (2014)","journal-title":"ACM Transactions on Intelligent Systems and Technology"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/1042-8143(92)90025-V","volume":"4","author":"A Puerta","year":"1992","unstructured":"Puerta, A., Egar, J., Tu, S., Musen, M.: A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. Knowledge Acquisition 4, 171\u2013196 (1992)","journal-title":"Knowledge Acquisition"},{"key":"3_CR33","unstructured":"Raimondi, F., Pecheur, C., Brat, G.: Verification and Validation of Planning and Scheduling Systems. In: Proceedings of ICAPS 2009. AAAI (2009)"},{"key":"3_CR34","unstructured":"Riddle, P., Holte, R.C., Barley, M.: Does representation matter in the planning competition. In: Gnesereth, M.R., Revesz, P.Z. (eds.) SARA. AAAI (2011)"},{"key":"3_CR35","unstructured":"de la Rosa, T., McIlraith, S.: Learning Domain Control Knowledge for TLPlan and Beyond. In: Proceedings ICAPS 2011\u2014Workshop on Planning and Learning (2011)"},{"key":"3_CR36","unstructured":"Salmon, A., del Foyo, P., Silva, J.: Scheduling real-time systems with periodic tasks using model-checking approach. In: Proc. of 12th IEEE Int. Conf. on Industrial Informatics (July 2014)"},{"key":"3_CR37","unstructured":"Schreiber, G., Wielinga, B., Breuker, J. (eds.): KADS: A Principled Approach to Knowledge-Based System Development, Knowledge Based Systems, vol. 11. Academic Press, London (1993)"},{"key":"3_CR38","unstructured":"Shah, M., Chrpa, L., Kitchen, D., McClyskey, T.L., V.M.: Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. In: Proceedings IJCAI 2013. AAAI (2013)"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Shortliffe, E.: MYCIN: A rule-based computer program for advising physicians regarding antimicrobial therapy selection. Ph.D. thesis, Stanford University (1974)","DOI":"10.1145\/1408800.1408906"},{"issue":"3","key":"3_CR40","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1080\/17517575.2018.1556815","volume":"13","author":"I Sid","year":"2019","unstructured":"Sid, I., Reichert, M., Ghomari, A.: Enabling Flexible task compositions, order and granularities for Knowledge-intensive business process. Enterprise Information System 13(3), 376\u2013423 (2019)","journal-title":"Enterprise Information System"},{"key":"3_CR41","unstructured":"Silva, J., del Foyo, P.: Timed Petri Nets. In: IntechOpen (ed.) Petri Nets\u2014Manufacturing and Computer Science. Springer-Verlag (2012)"},{"issue":"1\u20132","key":"3_CR42","first-page":"36","volume":"1","author":"J Silva","year":"2018","unstructured":"Silva, J., Nof, S.: Perspectives on Manufacturing Automation Under the Digital and Cyber Convergence. Polytechnica 1(1\u20132), 36\u201347 (2018)","journal-title":"Polytechnica"},{"key":"3_CR43","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/j.engappai.2019.02.019","volume":"81","author":"JM Silva","year":"2019","unstructured":"Silva, J.M, Silva, J.R.: A New Hierarchical Approach to Requirements Analysis of Problems in Automated Planning. Eng. App. of Artificial Intelligence, 81, 373\u2013386 (2019).","journal-title":"Eng. App. of Artificial Intelligence"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Simpson, R.M.: Structural Domain Definition using GIPO IV. In: Proceedings of the Second International Competition on Knowledge Engineering for Planning and Scheduling. Providence, Rhode Island, USA (2007)","DOI":"10.1017\/S0269888907001063"},{"key":"3_CR45","unstructured":"Sommerville, I.: Software Engineering. Pearson, 10th edn. (2016)"},{"issue":"1\u20132","key":"3_CR46","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","volume":"25","author":"R Studer","year":"1998","unstructured":"Studer, R., Benjamins, V.R., Fensel, D.: Knowledge Engineering: Principles and Methods. Data and Knowledge Engineering 25(1\u20132), 161\u2013197 (March 1998)","journal-title":"Data and Knowledge Engineering"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Vallati, M., Chrpa, L., Kitchin, D.: How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. In: In Proceedings of the International Conference on Computational Science. Springer Verlag (2019)","DOI":"10.1007\/978-3-030-22750-0_37"},{"key":"3_CR48","unstructured":"Vaquero, T.S., Nejat, G., Beck, J.: Planning and scheduling single and multi-person activities in retirement home settings for a group of robots. In: 24th. Int. Con. Artificial Planning and Scheduling (June 2014)"},{"key":"3_CR49","unstructured":"Vaquero, T.S., Silva, J.R., Tonidandel, F., Beck, J.C.: itSIMPLE: Towards an Integrated Design System for Real Planning Applications. The Knowledge Engineering Review Journal, special issue on International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2011)"},{"key":"3_CR50","unstructured":"Vaquero, T.S., Romero, V., Tonidandel, F., Silva, J.R.: itSIMPLE2.0: An integrated Tool for Designing Planning Environments. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007). pp. 336\u2013347. AAAI Press (2007)"},{"key":"3_CR51","unstructured":"Vaquero, T.S., Sette, F.M., Silva, J.R., Beck, J.C.: Planning and Scheduling of Crude Oil Distribution in a Petroleum Plant. In: Proceedings of ICAPS 2009 Scheduling and Planning Application workshop (2009)"},{"key":"3_CR52","unstructured":"Vaquero, T.S., Silva, J.R., Beck, J.C.: Improving Planning Performance Through Post-Design Analysis. In: Proceedings of ICAPS 2010 workshop on Scheduling and Knowledge Engineering for Planning and Scheduling (KEPS). pp. 45\u201352 (2010)"},{"key":"3_CR53","unstructured":"Vaquero, T., Silva, J., Beck, J.: A brief review on tools and methods for knowledge engineering for planning and scheduling. In: Proc. of KEPS Workshop, ICAPS 2011. AAAI Press (2011)"},{"issue":"2","key":"3_CR54","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1109\/TASE.2012.2232652","volume":"11","author":"L Xu","year":"2014","unstructured":"Xu, L., Wang, C., Bi, Z., Yu, J.: Object-oriented templates for automated assembly planning of complex products. EEE Trans. on Automation Science and Engineering 11(2), 492\u2013503 (2014)","journal-title":"EEE Trans. on Automation Science and Engineering"},{"key":"3_CR55","doi-asserted-by":"crossref","unstructured":"Xu, Y., S., T., Zeng, X.: AI for Apparel Manufacturing in Big Data Era: A Focus on Cutting and Sewing. In: S., T., Zeng, X. (eds.) Artificial Intelligence for Fashion Industry in the Big Data Era, pp. 125\u2013151. Springer (2018)","DOI":"10.1007\/978-981-13-0080-6_7"},{"issue":"1","key":"3_CR56","doi-asserted-by":"publisher","first-page":"28","DOI":"10.4018\/IJITSA.2015010102","volume":"8","author":"CC Yuan","year":"2015","unstructured":"Yuan, C.C., Chua, F.F.: Autonomic execution of web service composition using AI planning method. Int. J. of Information Technologies and Systems Approach 8(1), 28\u201345 (2015)","journal-title":"Int. J. of Information Technologies and Systems Approach"}],"container-title":["Knowledge Engineering Tools and Techniques for AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38561-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T19:31:28Z","timestamp":1666207888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38561-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030385606","9783030385613"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38561-3_3","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"26 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}