Search results for "PDDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Flavio Tonidandel, Tiago Stegun Vaquero, José Reinaldo Silva	Reading PDDL, Writing an Object-Oriented Model.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
75	Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu, Diane E. Kitchin	Knowledge Representation in Planning: A PDDL to OCLh Translation.	ISMIS	2000	DBLP DOI BibTeX RDF
53	Conrad Drescher, Michael Thielscher	A Fluent Calculus Semantics for ADL with Plan Constraints.	JELIA	2008	DBLP DOI BibTeX RDF
53	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
53	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
50	Olivier Bartheye, Eric Jacopin	A planning plug-in for Virtual Battle Space 2 a report from the trenches.	SpringSim	2009	DBLP BibTeX RDF	PDDL language, planning device, virtual battle engine, serious game
50	Hankui Zhuo, Lei Li 0022, Qiang Yang 0001, Rui Bian	Learning Action Models with Quantified Conditional Effects for Software Requirement Specification.	ICIC (1)	2008	DBLP DOI BibTeX RDF	PDDL, SRS, intelligent planning
40	Jingjing Zhao, Jigui Sun, Minghao Yin	Translating PDDL Tasks into Multi-valued Conformant Planning Tasks.	FSKD (4)	2007	DBLP DOI BibTeX RDF
40	Joachim Peer	A PDDL Based Tool for Automatic Web Service Composition.	PPSWR	2004	DBLP DOI BibTeX RDF
40	Richard Howey, Derek Long, Maria Fox 0001	VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL.	ICTAI	2004	DBLP DOI BibTeX RDF
35	Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer	Repairing Decision-Theoretic Policies Using Goal-Oriented Planning.	KI	2008	DBLP DOI BibTeX RDF
35	Hankui Zhuo, Qiang Yang 0001, Derek Hao Hu, Lei Li 0022	Transferring Knowledge from Another Domain for Learning Action Models.	PRICAI	2008	DBLP DOI BibTeX RDF
35	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF
35	Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu	Planning by Abstraction Using HW[].	AI*IA	2003	DBLP DOI BibTeX RDF
22	Wiktor Piotrowski, Alexandre Perez	Real-World Planning with PDDL+ and Beyond.	CoRR	2024	DBLP DOI BibTeX RDF
22	Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba	Safe Learning of PDDL Domains with Conditional Effects - Extended Version.	CoRR	2024	DBLP DOI BibTeX RDF
22	Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz 0001	Generalized Planning in PDDL Domains with Pretrained Large Language Models.	AAAI	2024	DBLP DOI BibTeX RDF
22	Luis Miguel Vieira da Silva, René Heesch, Aljosha Köcher, Alexander Fay	Transformation eines Fähigkeitsmodells in einen PDDL-Planungsansatz.	Autom.	2023	DBLP DOI BibTeX RDF
22	Mengxiang Liu, Chengcheng Zhao, Jinhui Xia, Ruilong Deng, Peng Cheng 0001, Jiming Chen 0001	PDDL: Proactive Distributed Detection and Localization Against Stealthy Deception Attacks in DC Microgrids.	IEEE Trans. Smart Grid	2023	DBLP DOI BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
22	Wiktor Piotrowski, Yoni Sher, Sachin Grover, Roni Stern, Shiwali Mohan	Heuristic Search For Physics-Based Problems: Angry Birds in PDDL+.	CoRR	2023	DBLP DOI BibTeX RDF
22	Katharina Stein, Alexander Koller	AutoPlanBench: : Automatically generating benchmarks for LLM planners from PDDL.	CoRR	2023	DBLP DOI BibTeX RDF
22	Alessio Capitanelli, Fulvio Mastrogiovanni	A Framework to Generate Neurosymbolic PDDL-compliant Planners.	CoRR	2023	DBLP DOI BibTeX RDF
22	Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz 0001	Generalized Planning in PDDL Domains with Pretrained Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
22	Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret	Challenges in Modelling and Solving Plotting with PDDL.	CoRR	2023	DBLP DOI BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications.	ICAPS	2023	DBLP DOI BibTeX RDF
22	Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina	Falsification of Cyber-Physical Systems Using PDDL+ Planning.	ICAPS	2023	DBLP DOI BibTeX RDF
22	Alan Lindsay	On Using Action Inheritance and Modularity in PDDL Domain Modelling.	ICAPS	2023	DBLP DOI BibTeX RDF
22	Wiktor Piotrowski, Yoni Sher, Sachin Grover, Roni Stern, Shiwali Mohan	Heuristic Search for Physics-Based Problems: Angry Birds in PDDL+.	ICAPS	2023	DBLP DOI BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	On the Notion of Fixability of PDDL+ Plans [Extended Abstract].	SOCS	2023	DBLP DOI BibTeX RDF
22	Wiktor Piotrowski, Yoni Sher, Sachin Grover, Roni Stern, Shiwali Mohan	Heuristic Search for Physics-Based Problems: Angry Birds in PDDL+ [Extended Abstract].	SOCS	2023	DBLP DOI BibTeX RDF
22	Mojtaba Elahi, Jussi Rintanen	Planning with Complex Data Types in PDDL.	CoRR	2022	DBLP DOI BibTeX RDF
22	Sergej Scheck, Alexandre Niveau, Bruno Zanuttini	A KC Map for Variants of Nondeterministic PDDL.	JIAF	2022	DBLP BibTeX RDF
22	Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana	Validating Event-B models using PDDL.	KES	2022	DBLP DOI BibTeX RDF
22	Maxence Grand, Damien Pellier, Humbert Fiorino	An Accurate PDDL Domain Learning Algorithm from Partial and Noisy Observations.	ICTAI	2022	DBLP DOI BibTeX RDF
22	Xuhang Li, Jiliang Luo, Jun Li, Sijia Yi, Chunrong Pan	Parallel Petri Nets Modeling Method Of Manufacturing System Based On The improved PDDL.	ICNSC	2022	DBLP DOI BibTeX RDF
22	Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana	Xtend Transformation from PDDL to Event-B.	ICCCI	2022	DBLP DOI BibTeX RDF
22	Christoph Mayr-Dorn, Alexander Egyed, Mario Winterer, Christian Salomon, Harald Fürschuß	Evaluating PDDL for programming production cells: a case study.	RoSE@ICSE	2022	DBLP DOI BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	The Power of Reformulation: From Validation to Planning in PDDL+.	ICAPS	2022	DBLP BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract).	SOCS	2022	DBLP DOI BibTeX RDF
22	Diego Aineto, Eva Onaindia, Miquel Ramírez, Enrico Scala, Ivan Serina	Explaining the Behaviour of Hybrid Systems with PDDL+ Planning.	IJCAI	2022	DBLP DOI BibTeX RDF
22	Luigi Bonassi, Alfonso Emilio Gerevini, Enrico Scala	Planning with Qualitative Action-Trajectory Constraints in PDDL.	IJCAI	2022	DBLP DOI BibTeX RDF
22	Enrico Scala, Mauro Vallati	Effective grounding for hybrid planning problems represented in PDDL+.	Knowl. Eng. Rev.	2021	DBLP DOI BibTeX RDF
22	Wiktor Piotrowski, Roni Stern, Matthew Klenk, Alexandre Perez, Shiwali Mohan, Johan de Kleer, Jacob Le	Playing Angry Birds with a Domain-Independent PDDL+ Planner.	CoRR	2021	DBLP BibTeX RDF
22	Francisco Martín 0001, Matteo Morelli, Huáscar Espinoza, Francisco J. Rodríguez-Lera, Vicente Matellán	Optimized Execution of PDDL Plans using Behavior Trees.	CoRR	2021	DBLP BibTeX RDF
22	Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi 0001, Marianna Bergamaschi Ganapini	E-PDDL: A Standardized Way of Defining Epistemic Planning Problems.	CoRR	2021	DBLP BibTeX RDF
22	Vitaliy Batusov, Mikhail Soutchanski	A Logical Semantics for PDDL+.	CoRR	2021	DBLP BibTeX RDF
22	Leonardo Lamanna 0001, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso	Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments.	CoRR	2021	DBLP BibTeX RDF
22	Sabrine Ammar, Mohamed Tahar Bhiri	A Formal Approach Combining Event-B and PDDL for Planning Problems.	ICSOFT	2021	DBLP DOI BibTeX RDF
22	Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto	In-Station Train Dispatching: A PDDL+ Planning Approach.	ICAPS	2021	DBLP BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	Translations from Discretised PDDL+ to Numeric Planning.	ICAPS	2021	DBLP BibTeX RDF
22	Francesco Percassi, Enrico Scala, Mauro Vallati	A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.	AI*IA	2021	DBLP DOI BibTeX RDF
22	Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann 0001	Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.	IJCAI	2021	DBLP DOI BibTeX RDF
22	Leonardo Lamanna 0001, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso	Online Learning of Action Models for PDDL Planning.	IJCAI	2021	DBLP DOI BibTeX RDF
22	Francisco Martín Rico, Matteo Morelli, Huáscar Espinoza, Francisco J. Rodríguez-Lera, Vicente Matellán Olivera	Optimized Execution of PDDL Plans using Behavior Trees. (PDF / PS)	AAMAS	2021	DBLP BibTeX RDF
22	Alfonso Emilio Gerevini	An Introduction to the Planning Domain Definition Language (PDDL): Book review.	Artif. Intell.	2020	DBLP DOI BibTeX RDF
22	Tom Silver, Rohan Chitnis	PDDLGym: Gym Environments from PDDL Problems.	CoRR	2020	DBLP BibTeX RDF
22	Volker Strobel, Alexandra Kirsch	MyPDDL: Tools for efficiently creating PDDL domains and problems.	CoRR	2020	DBLP BibTeX RDF
22	Volker Strobel, Alexandra Kirsch	MyPDDL: Tools for Efficiently Creating PDDL Domains and Problems.	Knowledge Engineering Tools and Techniques for AI Planning	2020	DBLP DOI BibTeX RDF
22	Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford	HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.	AAAI	2020	DBLP DOI BibTeX RDF
22	Enrico Scala, Mauro Vallati	Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines.	ICTAI	2020	DBLP DOI BibTeX RDF
22	Maxence Grand, Humbert Fiorino, Damien Pellier	Retro-engineering state machines into PDDL domains.	ICTAI	2020	DBLP DOI BibTeX RDF
22	Yuqian Jiang, Shiqi Zhang 0001, Piyush Khandelwal, Peter Stone	Task planning in robotics: an empirical comparison of PDDL- and ASP-based systems.	Frontiers Inf. Technol. Electron. Eng.	2019	DBLP DOI BibTeX RDF
22	Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer	Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.	IEEE Robotics Autom. Lett.	2019	DBLP DOI BibTeX RDF
22	Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer	Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.	CoRR	2019	DBLP BibTeX RDF
22	Marco Benedetti, Marco Mori	On the use of Max-SAT and PDDL in RBAC maintenance.	Cybersecur.	2019	DBLP DOI BibTeX RDF
22	Santiago Franco, Mauro Vallati, Alan Lindsay, Thomas Lee McCluskey	Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation.	ICCS (5)	2019	DBLP DOI BibTeX RDF
22	Vitaliy Batusov, Mikhail Soutchanski	A Logical Semantics for PDDL+.	ICAPS	2019	DBLP BibTeX RDF
22	Fares K. Alaboud, Andrew Coles	Personalized Medication and Activity Planning in PDDL+.	ICAPS	2019	DBLP BibTeX RDF
22	Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz 0001	Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks.	ICAPS	2019	DBLP BibTeX RDF
22	Bernhard Wally, Jirí Vyskocil, Petr Novák, Christian Huemer, Radek Sindelár, Petr Kadera, Alexandra Mazak, Manuel Wimmer	Production Planning with IEC 62264 and PDDL.	INDIN	2019	DBLP DOI BibTeX RDF
22	Yuqian Jiang, Shiqi Zhang 0001, Piyush Khandelwal, Peter Stone	An Empirical Comparison of PDDL-based and ASP-based Task Planners.	CoRR	2018	DBLP BibTeX RDF
22	Tunio Muhammad Zahid, Haiyong Luo, Cong Wang 0003, Fang Zhao 0003	Crowdsourcing Software Development: Task Assignment Using PDDL Artificial Intelligence Planning.	J. Inf. Process. Syst.	2018	DBLP DOI BibTeX RDF
22	Sabrine Ammar, Mohamed Tahar Bhiri	Automatic Planning: From Event-B to PDDL.	MEDI Workshops	2018	DBLP DOI BibTeX RDF
22	Alexander Shleyfman, Erez Karpas	Position Paper: Reasoning About Domains with PDDL.	AAAI Spring Symposia	2018	DBLP BibTeX RDF
22	Daniel Fiser, Antonín Komenda	Concise Finite-Domain Representations for Factored MA-PDDL Planning Tasks.	ICAART (2)	2018	DBLP DOI BibTeX RDF
22	Mauro Vallati, Ivan Serina	A General Approach for Configuring PDDL Problem Models.	ICAPS	2018	DBLP BibTeX RDF
22	Masataro Asai, Alex Fukunaga	Classical Planning in Deep Latent Space: From Unlabeled Images to PDDL (and back).	NeSy	2017	DBLP BibTeX RDF
22	Wiktor Mateusz Piotrowski, Maria Fox 0001, Derek Long, Daniele Magazzeni, Fabio Mercorio	PDDL+ Planning with Temporal Pattern Databases.	AAAI Workshops	2017	DBLP BibTeX RDF
22	Francesco Contaldo, Marco De Bortoli, Agostino Dovier	Optimization of a Compiler from PDDL to Picat (Short Paper).	ICTCS/CILC	2017	DBLP BibTeX RDF
22	Marcello Balduccini, Daniele Magazzeni, Marco Maratea	PDDL+ Planning via Constraint Answer Set Programming.	CoRR	2016	DBLP BibTeX RDF
22	Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou	Compiling and Executing PDDL in Picat.	CILC	2016	DBLP BibTeX RDF
22	Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana	Verification and validation of PDDL descriptions using Event-B formal method.	ICMCS	2016	DBLP DOI BibTeX RDF
22	Daniel Bryce	A Happening-Based Encoding for Nonlinear PDDL+ Planning.	AAAI Workshop: Planning for Hybrid Systems	2016	DBLP BibTeX RDF
22	Wiktor Mateusz Piotrowski, Maria Fox 0001, Derek Long, Daniele Magazzeni, Fabio Mercorio	Heuristic Planning for PDDL+ Domains.	AAAI Workshop: Planning for Hybrid Systems	2016	DBLP BibTeX RDF
22	Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey	Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.	AAAI	2016	DBLP DOI BibTeX RDF
22	Michael Cashmore, Maria Fox 0001, Derek Long, Daniele Magazzeni	A Compilation of the Full PDDL+ Language into SMT.	AAAI Workshop: Planning for Hybrid Systems	2016	DBLP BibTeX RDF
22	Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana	Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.	ISDA	2016	DBLP DOI BibTeX RDF
22	Michael Cashmore, Maria Fox 0001, Derek Long, Daniele Magazzeni	A Compilation of the Full PDDL+ Language into SMT.	ICAPS	2016	DBLP BibTeX RDF
22	Wiktor Mateusz Piotrowski, Maria Fox 0001, Derek Long, Daniele Magazzeni, Fabio Mercorio	Heuristic Planning for PDDL+ Domains.	IJCAI	2016	DBLP BibTeX RDF
22	Volker Strobel, Alexandra Kirsch	Planning in the Wild: Modeling Tools for PDDL.	CoRR	2015	DBLP BibTeX RDF
22	Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman	SMT-Based Nonlinear PDDL+ Planning.	AAAI	2015	DBLP DOI BibTeX RDF
22	Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa	Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper).	SOCA	2015	DBLP DOI BibTeX RDF
22	Krystian Jobczyk, Antoni Ligeza	Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL.	INISTA	2015	DBLP DOI BibTeX RDF
22	Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.	ICAPS	2015	DBLP BibTeX RDF
22	Patricia J. Riddle, Michael W. Barley, Santiago Franco, Jordan Douglas	Automated Transformation of PDDL Representations.	SOCS	2015	DBLP DOI BibTeX RDF
22	Jörg Hoffmann 0001, Ingo Weber, Frank Michael Kraft	SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.	CoRR	2014	DBLP BibTeX RDF
22	Volker Strobel, Alexandra Kirsch	Planning in the Wild: Modeling Tools for PDDL.	KI	2014	DBLP DOI BibTeX RDF
22	Wenjun Cheng, Yuhui Gao	Using PDDL to Solve Vehicle Routing Problems.	Intelligent Information Processing	2014	DBLP DOI BibTeX RDF
22	Sebastiano Concetto Marco Caff, Francesco Di Mauro, Enrico Scala	A Numeric PDDL Based Approach for Temporally Constrained Journey Problems.	ICTAI	2014	DBLP DOI BibTeX RDF