Items where Division is "05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)"
Number of items at this level: 73. 2017Heusner, Manuel and Keller, Thomas and Helmert, Malte. (2017) Understanding the Search Behaviour of Greedy Best-First Search. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017). Palo Alto, California. Pommerening, Florian and Helmert, Malte and Bonet, Blai. (2017) Higher-Dimensional Potential Heuristics for Optimal Classical Planning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017). pp. 3636-3643. Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2017) Narrowing the Gap Between Saturated and Optimal Cost Partitioning for Classical Planning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017). pp. 3651-3657. 2016Friedrich, Gerhard and Helmert, Malte and Wotawa, Franz, eds. (2016) KI 2016: Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence, 9904. Heidelberg, Germany. Alkhazraji, Yusra and Wehrle, Martin. (2016) Sleep Sets Meet Duplicate Elimination. In: Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016). Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2016) Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. International journal on software tools for technology transfer, 18 (4). pp. 449-467. Geißer, Florian and Keller, Thomas and Mattmüller , Robert. (2016) Abstractions for Planning with State-Dependent Action Costs. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). pp. 140-148. Gnad, Daniel and Wehrle, Martin and Hoffmann, Jörg. (2016) Decoupled Strong Stubborn Sets. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3110-3116. Keller, Thomas and Pommerening, Florian and Seipp, Jendrik and Geißer, Florian and Mattmüller, Robert. (2016) State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, pp. 3161-3169. Paul, Gerald and Helmert, Malte. (2016) Optimal Solitaire Game Solutions using A* Search and Deadlock Analysis. In: Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016). Seipp, Jendrik and Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2016) Correlation Complexity of Classical Planning Domains. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. pp. 3242-3250. Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2016) An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). pp. 294-298. Skočaj, Danijel and Vrečko, Alen and Mahnič, Marko and Janíček, Miroslav and Kruijff, Geert-Jan and Hanheide, Marc and Hawes, Nick and Wyatt, Jeremy and Keller, Thomas and Zhou, Kai and Zillich, Michael and Kristan, Matej. (2016) An integrated system for interactive continuous learning of categorical knowledge. Journal of Experimental & Theoretical Artificial Intelligence, 28 (5). pp. 823-848. Wehrle, Martin and Kupferschmid, Sebastian. (2016) Downward Pattern Refinement for Timed Automata. International journal on software tools for technology transfer, 18 (1). pp. 41-56. Wehrle, Martin and Sievers, Silvan and Helmert, Malte. (2016) Graph-Based Factorization of Classical Planning Problems. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3286-3292. Winterer, Dominik and Wehrle, Martin and Katz, Michael. (2016) Structural Symmetries for Fully Observable Nondeterministic Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3293-3299. 2015Andisha, Ahmad Siyar and Wehrle, Martin and Westphal, Bernd. (2015) Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. In: Model checking software : 22nd international symposium, SPIN 2015). Cham, pp. 153-159. Bogomolov, Sergiy and Magazzeni, Daniele and Minopoli, Stefano and Wehrle, Martin. (2015) PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 42-46. Helmert, Malte and Röger, Gabriele and Sievers, Silvan. (2015) On the expressive power of non-linear Merge-and-Shrink representations. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 106-114. Holte, Robert C. and Alkhazraji, Yusra and Wehrle, Martin. (2015) A generalization of sleep sets based on operator sequence redundancy. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3291-3297. Pommerening, Florian and Helmert, Malte. (2015) A Normal Form for Classical Planning Tasks. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 188-192. Pommerening, Florian and Helmert, Malte and Röger, Gabriele and Seipp, Jendrik. (2015) From non-negative to general operator cost partitioning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3335-3341. Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Bonet, Blai. (2015) Heuristics for cost-optimal classical planning based on linear programming. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 4303-4309. Röger, Gabriele and Pommerening, Florian. (2015) Linear programming for heuristics in optimal planning. In: Planning, Search, and Optimization : papers from the 2015 AAAI Workshop ; Austin, Jan. 25-26, 2015. Palo Alto, Calif., pp. 69-76. Scherrer, Sascha and Pommerening, Florian and Wehrle, Martin. (2015) Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). Palo Alto, California, pp. 216-217. Seipp, Jendrik and Pommerening, Florian and Helmert, Malte. (2015) New Optimization Functions for Potential Heuristics. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 193-201. Seipp, Jendrik and Sievers, SIlvan and Helmert, Malte and Hutter, Frank. (2015) Automatic configuration of sequential planning portfolios. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3364-3370. Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin. (2015) Heuristics and symmetries in classical planning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3371-3377. Sievers, Silvan and Helmert, Malte. (2015) A Doppelkopf Player Based on UCT. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 151-165. Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2015) An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 166-180. Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Factored symmetries for merge-and-shrink abstractions. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3378-3385. Simon, Salomé and Röger, Gabriele. (2015) Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). pp. 113-121. Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 1712-1718. Winterer, Dominik and Mattmüller, Robert and Wehrle, Martin. (2015) Stubborn Sets for Fully Observable Nondeterministic Planning. In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling. Workshop on Model Checking and Automated Planning (MOCHAP). Palo Alto, California, xi -xii. 2014Alkhazraji, Yusra and Katz, Michael and Mattmüller, Robert and Pommerening, Florian and Shleyfman, Alexander and Wehrle, Martin. (2014) Metis: Arming Fast Downward with Pruning and Incremental Computation. Eighth International Planning Competition (IPC 2014), Deterministic Part. pp. 88-92. Arlt, Stephan and Podelski, Andreas and Wehrle, Martin. (2014) Reducing GUI test suites via program slicing. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA '14). New York, pp. 270-281. Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin. (2014) Planning as model checking in hybrid domains. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, Vol. 3. Palo Alto, Calif., pp. 2228-2234. Helmert, Malte and Haslum, Patrik and Hoffmann, Joerg and Nissim, Raz. (2014) Merge-and-shrink abstraction : a method for generating lower bounds in factored state spaces. Journal of the ACM, Vol. 61, H. 3 , no. 16. pp. 1-63. Heusner, Manuel and Wehrle, Martin and Pommerening, Florian and Helmert, Malte. (2014) Under-approximation refinement for classical planning. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 365-369. Löhr, Johannes and Wehrle, Martin and Fox, Maria and Nebel, Bernhard. (2014) Symbolic domain predictive control. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, Vol. 3. Palo Alto, Calif., pp. 2315-2321. Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Blai Bonet, . (2014) LP-based heuristics for cost-optimal planning. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 226-234. Röger, Gabriele and Pommerening, Florian and Helmert, Malte. (2014) Optimal planning in the presence of conditional effects : extending LM-Cut with context-splitting. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 765-770. Röger, Gabriele and Pommerening, Florian and Seipp, Jendrik. (2014) Fast Downward Stone Soup 2014. Eighth International Planning Competition (IPC 2014), Deterministic Part. Seipp, Jendrik and Helmert, Malte. (2014) Diverse and additive Cartesian abstraction heuristics. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 289-297. Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Bounded intention planning revisited. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 1097-1098. Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Generalized label reduction for merge-and-shrink heuristics. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, Vol. 3. Palo Alto, Calif., pp. 2358-2366. Sturtevant, Nathan R. and Felner, Ariel and Helmert, Malte. (2014) Exploiting the Rubik's Cube 12-edge PDB by combining partial pattern databases and Bloom filters. In: Proceedings of the Seventh International Symposium on Combinatorial Search (SoCS-2014), 15 - 17 August 2014, Prague, Czech Republic. Palo Alto, Calif., pp. 175-183. Wehrle, Martin and Helmert, Malte. (2014) Efficient stubborn sets : generalized algorithms and selection strategies. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 323-331. 2013Helmert, Malte and Röger, Gabriele, eds. (2013) Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. Palo Alto, California. Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T. and Ladan, Hamed: Podelski and Andreas: Wehrle, Martin. (2013) Abstraction-based guided search for hybrid systems. In: Model checking software : proceedings of the 20th international SPIN symposium on model checking of software (SPIN 2013). Heidelberg, pp. 117-134. Eyerich, Patrick and Helmert, Malte. (2013) Stronger abstraction heuristics through perimeter search. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 303-307. Haslum, Patrik and Helmert, Malte and Jonsson, Anders. (2013) Safe, strong and tractable relevance analysis for planning. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 317-321. Keller, Thomas and Helmert, Malte. (2013) Trial-based heuristic tree search for finite horizon MDPs. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 135-143. López, Carlos Linares and Jiménez, Sergio and Helmert, Malte. (2013) Automating the evaluation of planning systems. AI communications, Vol. 26, H. 4. pp. 331-354. Pommerening, Florian and Helmert, Malte. (2013) Incremental LM-Cut. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 162-170. Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2013) Getting the most out of pattern databases for classical planning. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Menlo Park (CA), pp. 2357-2364. Seipp, Jendrik and Helmert, Malte. (2013) Additive counterexample-guided Cartesian abstraction refinement. In: Late-breaking developments in the field of artificial intelligence : papers presented at the Twenty-Seventh AAAI Conference on Artificial Intelligence, [in Bellevue, WA, July 14 - 18, 2013] (AAAI 2013). Palo Alto, Calif., pp. 119-121. Seipp, Jendrik and Helmert, Malte. (2013) Counterexample-guided Cartesian abstraction refinement. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 347-351. Wehrle, Martin and Helmert, Malte and Alkhazarji, Yusra and Mattmüller, Robert. (2013) The relative pruning power of strong stubborn sets and expansion core. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 251-259. 2012Alkhazraji, Yusra and Wehrle, Martin and Mattmüller, Robert and Helmert, Malte. (2012) A stubborn set algorithm for optimal planning. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). [s.l.], pp. 891-892. Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2012) A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification : 24th International Conference (CAV 2012). Belin, pp. 479-494. Claßen, Jens and Röger, Gabriele and Lakemeyer, Gerhard and Nebel, Bernhard. (2012) PLATAS – Integrating Planning and the Action Language Golog. KI – Künstliche Intelligenz, 26 (1). pp. 61-67. Katz, Michael and Hoffmann, Jörg and Helmert, Malte. (2012) How to relax a bisimulation? In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 101-109. Pommerening, Florian and Helmert, Malte. (2012) Optimal planning for delete-free tasks with incremental LM-cut. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 363-367. Röger, Gabriele and Helmert, Malte. (2012) Non-optimal multi-agent pathfinding is solved (since 1984). In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 173-174. Schmid, Ute and Mandl, Stefan and Gust, Helmar and Kitzelmann, Emanuel and Helmert, Malte and Buschmeier, Hendrik and Yaghoubzadeh, Ramin and Pietsch, Christian and Kopp, Stefan and Hertzberg, Joachim and Sprickerhof, Jochen and Wiemann, Thomas. (2012) What Language Do You Use to Create Your AI Programs and Why? KI – Künstliche Intelligenz, Vol. 26, H. 1. pp. 99-106. Seipp, Jendrik and Braun, Manuel and Garimort, Johannes and Helmert, Malte. (2012) Learning portfolios of automatically tuned planners. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 368-372. Sievers, Silvan and Ortlieb, Manuela and Helmert, Malte. (2012) Efficient implementation of pattern database heuristics for classical planning. In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 105-111. Thayer, Jordan T. and Benton, J. and Helmert, Malte. (2012) Better parameter-free anytime search by minimizing time between solutions. In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 120-128. Wehrle, Martin and Helmert, Malte. (2012) About partial order reduction in planning and computer aided verification. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 297-305. Wehrle, Martin and Kupferschmid, Sebastian. (2012) Mcta: heuristics and search for timed systems. In: Formal Modeling and Analysis of Timed Systems : 10th International Conference (FORMATS 2012). Berlin, pp. 252-266. 2011Domshlak, Carmel and Helmert, Malte and Karpas, Erez and Keyder, Emil and Richter, Silvia and Röger, Gabriele and Seipp, Jendrik and Westphal, Matthias. (2011) BJOLP: the Big Joint Optimal Landmarks Planner. [S.l.]. Nissim, Raz and Hoffmann, Jörg and Helmert, Malte. (2011) Computing perfect heuristics in polynomial time : on bisimulation and merge-and-shrink abstractions in optimal planning. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). Menlo Park (Calif.), pp. 1983-1990. |
