Edit Profile (opens in new tab) Hoffmann, Jörg Compute Distance To: Compute Author ID: hoffmann.jorg Published as: Hoffmann, Jörg; Hoffmann, J.; Hoffmann, Joerg Homepage: http://fai.cs.uni-saarland.de/hoffmann/ External Links: MGP · dblp Documents Indexed: 38 Publications since 2000 Co-Authors: 39 Co-Authors with 29 Joint Publications 733 Co-Co-Authors all top 5 Co-Authors 4 single-authored 4 Steinmetz, Marcel 3 Domshlak, Carmel 3 Kupferschmid, Sebastian 2 Edelkamp, Stefan 2 Fickert, Maximilian 2 Gnad, Daniel 2 Gomes, Carla P. 2 Haslum, Patrik 2 Helmert, Malte 2 Kissmann, Peter 2 Nebel, Bernhard 2 Nielaba, P. 2 Sabharwal, Ashish 2 Selman, Bart 2 Thiébaux, Sylvie 1 Behrmann, Gerd 1 Brafman, Ronen I. 1 Buffet, Olivier 1 Dierks, Henning 1 Dreher, Michael 1 Emmerling, Andreas 1 Englert, Roman 1 Fatès, Nazim A. 1 Fensel, Dieter 1 Franzrahe, K. 1 Gros, Timo P. 1 Henseler, P. 1 Hermanns, Holger 1 Hildebrand, Kristian 1 Höller, Daniel 1 Keyder, Emil 1 Klauck, Michaela 1 Kraft, F. M. 1 Larsen, Kim Guldstrand 1 Liporace, F. 1 Musialski, Przemyslaw 1 Nissim, Raz 1 Palacios, Hector 1 Pistore, Marco 1 Podelski, Andreas 1 Porteous, Julie 1 Rybalchenko, Andrey 1 Sebastia, Laura 1 Smaus, Jan-Georg 1 Stollberg, Michael 1 Strepp, W. 1 Thürmer, Grit 1 Torralba, Álvaro 1 Trueg, S. 1 Wehrle, Martin 1 Wolf, Verena Serials 19 The Journal of Artificial Intelligence Research (JAIR) 5 Artificial Intelligence 1 Journal of the ACM 1 Logical Methods in Computer Science 1 International Journal of Semantic Computing Fields 36 Computer science (68-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Combinatorics (05-XX) 1 Mechanics of deformable solids (74-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 209 times in 126 Documents Cited by ▼ Year ▼ The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044Hoffmann, J.; Nebel, B. 70 2001 Conformant planning via heuristic forward search: A new approach. Zbl 1131.68525Hoffmann, Jörg; Brafman, Ronen I. 16 2006 The deterministic part of IPC-4: an overview. Zbl 1080.68669Hoffmann, J.; Edelkamp, S. 11 2005 The Metric-FF planning system: Translating “ignoring delete lists” to numeric state variables. Zbl 1036.68095Hoffmann, J. 9 2003 Probabilistic planning via heuristic forward search and weighted model counting. Zbl 1182.68235Domshlak, C.; Hoffmann, J. 9 2007 Ordered landmarks in planning. Zbl 1080.68670Hoffmann, Jörg; Porteous, Julie; Sebastia, Laura 8 2004 Merge-and-shrink abstraction, A method for generating lower bounds in factored state spaces. Zbl 1295.68189Helmert, Malte; Haslum, Patrik; Hoffmann, Jörg; Nissim, Raz 8 2014 In defense of PDDL axioms. Zbl 1132.68714Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard 8 2005 Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd 8 2006 Where “ignoring delete lists” works: local search topology in planning benchmarks. Zbl 1080.68668Hoffmann, J. 7 2005 Short XORs for model counting: from theory to practice. Zbl 1214.68354Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart 6 2007 Red-black planning: a new systematic approach to partial delete relaxation. Zbl 1328.68194Domshlak, Carmel; Hoffmann, Jörg; Katz, Michael 6 2015 “Distance”? Who cares? Tailoring merge-and-shrink heuristics to detect unsolvability. Zbl 1366.68264Hoffmann, Jörg; Kissmann, Peter; Torralba, Álvaro 5 2014 On reasonable and forced goal orderings and their use in agenda-driven planning algorithm. Zbl 0946.68130Koehler, J.; Hoffmann, J. 4 2000 Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G. 4 2008 Improving delete relaxation heuristics through explicitly represented conjunctions. Zbl 1367.68265Keyder, Emil; Hoffmann, Jörg; Haslum, Patrik 3 2014 Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish 3 2009 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Star-topology decoupled state space search. Zbl 1444.68172Gnad, Daniel; Hoffmann, Jörg 2 2018 Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. Zbl 1184.68072Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M. 2 2009 Combining the delete relaxation with critical-path heuristics: a direct characterization. Zbl 1362.68258Fickert, Maximilian; Hoffmann, Jörg; Steinmetz, Marcel 2 2016 Analyzing search topology without running any search: on the connection between causal graphs and \(h^{+}\). Zbl 1218.68160Hoffmann, J. 2 2011 Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart 2 2007 Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. Zbl 1183.68579Hoffmann, J.; Edelkamp, S.; Thiebaux, S.; Englert, R.; Liporace, F.; Trueg, S. 2 2006 A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. Zbl 0983.68740Hoffmann, Jörg 2 2000 BDD ordering heuristics for classical planning. Zbl 1314.68292Kissmann, Peter; Hoffmann, Jörg 2 2014 SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. Zbl 1263.68155Hoffmann, J.; Weber, I.; Kraft, F. M. 1 2012 Brothers in arms? on AI planning and cellular automata. Zbl 1211.68262Hoffmann, Jörg; Fatès, Nazim; Palacios, Hector 1 2010 Phase transitions, structures and quantum effects in nanosystems. Zbl 1026.82500Dreher, M.; Fischer, D.; Franzrahe, K.; Henseler, P.; Hoffmann, J.; Strepp, W.; Nielaba, P. 1 2003 State space search nogood learning: online refinement of critical-path dead-end detectors in planning. Zbl 1402.68165Steinmetz, Marcel; Hoffmann, Jörg 1 2017 Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art. Zbl 1401.68294Steinmetz, Marcel; Hoffmann, Jörg; Buffet, Olivier 1 2016 Star-topology decoupled state space search. Zbl 1444.68172Gnad, Daniel; Hoffmann, Jörg 2 2018 State space search nogood learning: online refinement of critical-path dead-end detectors in planning. Zbl 1402.68165Steinmetz, Marcel; Hoffmann, Jörg 1 2017 Combining the delete relaxation with critical-path heuristics: a direct characterization. Zbl 1362.68258Fickert, Maximilian; Hoffmann, Jörg; Steinmetz, Marcel 2 2016 Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art. Zbl 1401.68294Steinmetz, Marcel; Hoffmann, Jörg; Buffet, Olivier 1 2016 Red-black planning: a new systematic approach to partial delete relaxation. Zbl 1328.68194Domshlak, Carmel; Hoffmann, Jörg; Katz, Michael 6 2015 Merge-and-shrink abstraction, A method for generating lower bounds in factored state spaces. Zbl 1295.68189Helmert, Malte; Haslum, Patrik; Hoffmann, Jörg; Nissim, Raz 8 2014 “Distance”? Who cares? Tailoring merge-and-shrink heuristics to detect unsolvability. Zbl 1366.68264Hoffmann, Jörg; Kissmann, Peter; Torralba, Álvaro 5 2014 Improving delete relaxation heuristics through explicitly represented conjunctions. Zbl 1367.68265Keyder, Emil; Hoffmann, Jörg; Haslum, Patrik 3 2014 BDD ordering heuristics for classical planning. Zbl 1314.68292Kissmann, Peter; Hoffmann, Jörg 2 2014 SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. Zbl 1263.68155Hoffmann, J.; Weber, I.; Kraft, F. M. 1 2012 Analyzing search topology without running any search: on the connection between causal graphs and \(h^{+}\). Zbl 1218.68160Hoffmann, J. 2 2011 Brothers in arms? on AI planning and cellular automata. Zbl 1211.68262Hoffmann, Jörg; Fatès, Nazim; Palacios, Hector 1 2010 Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish 3 2009 Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. Zbl 1184.68072Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M. 2 2009 Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G. 4 2008 Probabilistic planning via heuristic forward search and weighted model counting. Zbl 1182.68235Domshlak, C.; Hoffmann, J. 9 2007 Short XORs for model counting: from theory to practice. Zbl 1214.68354Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart 6 2007 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart 2 2007 Conformant planning via heuristic forward search: A new approach. Zbl 1131.68525Hoffmann, Jörg; Brafman, Ronen I. 16 2006 Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd 8 2006 Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. Zbl 1183.68579Hoffmann, J.; Edelkamp, S.; Thiebaux, S.; Englert, R.; Liporace, F.; Trueg, S. 2 2006 The deterministic part of IPC-4: an overview. Zbl 1080.68669Hoffmann, J.; Edelkamp, S. 11 2005 In defense of PDDL axioms. Zbl 1132.68714Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard 8 2005 Where “ignoring delete lists” works: local search topology in planning benchmarks. Zbl 1080.68668Hoffmann, J. 7 2005 Ordered landmarks in planning. Zbl 1080.68670Hoffmann, Jörg; Porteous, Julie; Sebastia, Laura 8 2004 The Metric-FF planning system: Translating “ignoring delete lists” to numeric state variables. Zbl 1036.68095Hoffmann, J. 9 2003 Phase transitions, structures and quantum effects in nanosystems. Zbl 1026.82500Dreher, M.; Fischer, D.; Franzrahe, K.; Henseler, P.; Hoffmann, J.; Strepp, W.; Nielaba, P. 1 2003 The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044Hoffmann, J.; Nebel, B. 70 2001 On reasonable and forced goal orderings and their use in agenda-driven planning algorithm. Zbl 0946.68130Koehler, J.; Hoffmann, J. 4 2000 A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. Zbl 0983.68740Hoffmann, Jörg 2 2000 all cited Publications top 5 cited Publications all top 5 Cited by 276 Authors 6 Bonet, Blai 6 Gerevini, Alfonso Emilio 6 Hoffmann, Jörg 6 Kambhampati, Subbarao 4 Borrajo, Daniel 4 Domshlak, Carmel 4 Geffner, Hector 4 Long, Derek 4 Saetti, Alessandro 3 Bäckström, Christer 3 Brafman, Ronen I. 3 De La Rosa, Tomás 3 Haslum, Patrik 3 Helmert, Malte 3 Jonsson, Peter A. 3 Nau, Dana 3 Serina, Ivan 3 Smith, David E. 3 Son, Tran Cao 3 Thiébaux, Sylvie 3 Traverso, Paolo 3 Wehrle, Martin 2 Arfaee, Shahab Jabbari 2 Bertoli, Piergiorgio 2 Bryce, Daniel 2 Cimatti, Alessandro 2 Do, Minh B. 2 Edelkamp, Stefan 2 Fox, Maria 2 Fuentetaja, Raquel 2 Ghassem-Sani, Gholamreza 2 Gomes, Carla P. 2 Holte, Robert C. 2 Kronegger, Martin 2 Kupferschmid, Sebastian 2 Kuter, Ugur 2 Linares López, Carlos 2 McIlraith, Sheila A. 2 Meel, Kuldeep S. 2 Ordyniak, Sebastian 2 Pfandler, Andreas 2 Pontelli, Enrico 2 Rintanen, Jussi 2 Roveri, Marco 2 Sardina, Sebastian 2 Sreedharan, Sarath 2 Srivastava, Siddharth 2 Vardi, Moshe Ya’akov 2 Veloso, Manuela M. 2 Wang, Jinyan 2 Wijs, Anton J. 2 Wu, Jingli 2 Yin, Minghao 2 Zilberstein, Shlomo 2 Zilles, Sandra 1 Á. Torralba, Álvaro 1 Aberdeen, Douglas 1 Achlioptas, Dimitris 1 Aghighi, Meysam 1 Aiello, Marco 1 Akramifar, Seyed Ali 1 Alcázar, Vidal 1 Alenyà, Guillem 1 Alford, Ron 1 Alimisis, Varvara 1 Aljazzar, Husain 1 Amendola, Giovanni 1 Anastacio, Marie 1 Arangu, Marlene 1 Atampore, Francis 1 Babaki, Behrouz 1 Bacchus, Fahiem 1 Baier, Jorge A. 1 Baioletti, Marco 1 Baral, Chitta R. 1 Bastani, Farokh B. 1 Bauters, Kim 1 Benton, Jessica 1 Berei, Tobias 1 Bernardini, Sara 1 Bertolucci, Riccardo 1 Bienvenu, Meghyn 1 Bošnački, Dragan 1 Boutilier, Craig 1 Bouyer, Patricia 1 Bryant, Randal E. 1 Buffet, Olivier 1 Buriol, Luciana S. 1 Cai, Dunbo 1 Calderon Jaramillo, Andres 1 Capitanelli, Alessio 1 Cashmore, Michael 1 Chen, Hubie 1 Chen, Yixin 1 Coles, Andrew 1 Cropper, Andrew 1 Cushing, William 1 Das, Sukanta 1 Dasgupta, Pallab 1 Dashti, M. Torabi ...and 176 more Authors all top 5 Cited in 23 Serials 67 Artificial Intelligence 10 Annals of Mathematics and Artificial Intelligence 4 The Journal of Artificial Intelligence Research (JAIR) 3 Journal of Automated Reasoning 2 Theoretical Computer Science 2 Constraints 2 Theory and Practice of Logic Programming 1 Acta Informatica 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 AI Communications 1 Machine Learning 1 Journal of Intelligent & Robotic Systems 1 Discrete Event Dynamic Systems 1 Applied Intelligence 1 Formal Methods in System Design 1 Mathematical Problems in Engineering 1 Journal of Scheduling 1 The Journal of Logic and Algebraic Programming 1 Journal of Machine Learning Research (JMLR) 1 Quantum Information Processing 1 Computational Intelligence 1 Journal of Cellular Automata all top 5 Cited in 10 Fields 117 Computer science (68-XX) 16 Operations research, mathematical programming (90-XX) 4 Information and communication theory, circuits (94-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year