PDDL swMATH ID: 7079 Software Authors: Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D. Description: Planning Domain Definition Language (PDDL). PDDL2.1: An extension to PDDL for expressing temporal planning domains. In recent years research in the planning community has moved increasingly toward s application of planners to realistic problems involving both time and many typ es of resources. For example, interest in planning demonstrated by the space res earch community has inspired work in observation scheduling, planetary rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet the challenges of application. The International Planning Competitions have acted as an important motivating force behind the progress that has been made in planning since 1998. The third com petition (held in 2002) set the planning community the challenge of handling time and numeric resources. This necessitated the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power – exceeding the capabilities of current planning technology – and presents a number of important challenges to the research community. Homepage: http://www.informatik.uni-ulm.de/ki/Edu/Vorlesungen/GdKI/WS0203/pddl.pdf Keywords: observation scheduling Related Software: Graphplan; Walksat; SAPA; LPG; MiniSat; UCPOP; CPlan; VHPOP; CCalc; STAN; GOLOG; SPIN; IPC-4; plasp; Chaff; Clingo; AltAlt; SHOP2; GDL; COLIN Cited in: 92 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PDDL2.1: An extension to PDDL for expressing temporal planning domains. Zbl 1036.68093Fox, M.; Long, D. 2003 all top 5 Cited by 205 Authors 5 Gerevini, Alfonso Emilio 5 Long, Derek 4 Fox, Maria 3 Borrajo, Daniel 3 De La Rosa, Tomás 3 Gebser, Martin 3 Geffner, Hector 3 Hoffmann, Jörg 3 McIlraith, Sheila A. 3 Montanari, Angelo 3 Onaindia, Eva 3 Saetti, Alessandro 2 Aineto, Diego 2 Baier, Jorge A. 2 Bonet, Blai 2 Chen, Yixin 2 Chrpa, Lukáš 2 Cooper, Martin C. 2 Dimopoulos, Yannis 2 Fuentetaja, Raquel 2 Galuszka, Adam 2 Garrido, Antonio 2 Gigante, Nicola 2 Haslum, Patrik 2 Helmert, Malte 2 Kuchuganov, Mikhail Valer’evich 2 Lin, Fangzhen 2 Maris, Frédéric 2 McCluskey, Thomas Leo 2 Micheli, Andrea 2 Orlandini, Andrea 2 Régnier, Pierre 2 Scala, Enrico 2 Schaub, Torsten H. 2 Serina, Ivan 2 Son, Tran Cao 2 Thielscher, Michael 2 Vallati, Mauro 2 Vidal, Vincent 1 Aberdeen, Douglas 1 Achen, Andreas 1 Aiello, Marco 1 Alimisis, Varvara 1 Arangu, Marlene 1 Bacchus, Fahiem 1 Baral, Chitta R. 1 Bartholomew, Michael 1 Beetz, Michael 1 Bernstein, Arthur J. 1 Bhatt, Mehul 1 Bienvenu, Meghyn 1 Bozzelli, Laura 1 Breiner, Spencer 1 Bryant, Randal E. 1 Buffet, Olivier 1 Calimeri, Francesco 1 Cashmore, Michael 1 Castillo, Luis E. 1 Cesta, Amedeo 1 Cialdea Mayer, Marta 1 Cialdea, Mayer Marta 1 Cimatti, Alessandro 1 Coles, A. I. 1 Coles, A. J. 1 Coles, Andrew 1 Corso, Anthony 1 Dasgupta, Pallab 1 Davis, Ernest 1 De Cock, Martine 1 De Giacomo, Giuseppe 1 de la Asunción, Marc 1 Dong, JinSong 1 Eiter, Thomas 1 Eppe, Manfred 1 Erdem, Esra 1 Faber, Wolfgang 1 Fernández-Olivares, Juan 1 Fritz, Christian 1 García-Olaya, Ángel 1 García-Pérez, Oscar 1 Geffner, H. A. 1 Gelfond, Michael 1 Ghallab, Malik 1 Ghassem-Sani, Gholamreza 1 Ghosh, Kamalesh 1 Gonzalez Muñoz, Antonio 1 Grastien, Alban 1 Halsey, Keith 1 Heljanko, Keijo 1 Herzig, Andreas 1 Howe, Adele E. 1 Huang, Ruoyun 1 Hutter, Frank 1 Jensen, Rune Møller 1 Ji, Jianmin 1 Jiang, Yunfei 1 Jiménez Celorrio, Sergio 1 Jimenez, Sergio 1 Jin, Kebing 1 Kaldeli, Eirini ...and 105 more Authors all top 5 Cited in 23 Serials 43 Artificial Intelligence 8 The Journal of Artificial Intelligence Research (JAIR) 4 Annals of Mathematics and Artificial Intelligence 3 Journal of Scheduling 3 Computational Intelligence 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 AI Communications 1 Journal of Philosophical Logic 1 Annals of Operations Research 1 Journal of Intelligent & Robotic Systems 1 Applied Intelligence 1 Archives of Control Sciences 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 Constraints 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Journal of Applied Logic 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 EURO Journal on Computational Optimization all top 5 Cited in 8 Fields 88 Computer science (68-XX) 9 Operations research, mathematical programming (90-XX) 3 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year