default search action
Jörg Hoffmann 0001
Person information
- affiliation (since 2012): Saarland University, Department of Computer Science, Saarbrücken, Germany
- affiliation (since 2009): INRIA, Nancy, France
- affiliation (since 2008): SAP Research Karlsruhe, Germany
- affiliation (former): University of Innsbruck, Semantic Technology Institute, Austria
- affiliation (2006): Cornell University, Ithaca, NY, USA
- affiliation (2004 - 2006): Max Planck Institute for Computer Science, Saarbrücken, Germany
- affiliation (PhD 2002): University of Freiburg, Department of Computer Science, Germany
Other persons with the same name
- Jörg Hoffmann — disambiguation page
- Jörg Hoffmann 0002 — Bauhaus University Weimar, Faculty of Media, Germany
- Jörg Hoffmann 0003 — Kaiserslautern University of Technology, Germany
- Jörg Hoffmann 0004 — German Federal Research Institute for Agriculture, Braunschweig, Germany
- Jörg Hoffmann 0005 — University of Bonn, Germany
- Jörg Hoffmann 0006 — RWTH Aachen University, Germany
- Jörg Hoffmann 0007 — Julius Kühn-Institut - Federal Research Centre for Cultivated Plants, Quedlinburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c164]Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann:
Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. ECAI 2024: 1189-1197 - [c163]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. ECAI 2024: 4060-4067 - [c162]Rebecca Eifler, Daniel Fiser, Aleena Siji, Jörg Hoffmann:
Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation. ECAI 2024: 4092-4099 - [c161]Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann:
New Fuzzing Biases for Action Policy Testing. ICAPS 2024: 162-167 - [c160]Marcel Vinzent, Jörg Hoffmann:
Neural Action Policy Safety Verification: Applicablity Filtering. ICAPS 2024: 607-612 - [c159]Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann:
Guiding GBFS through Learned Pairwise Rankings. IJCAI 2024: 6724-6732 - [i23]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. CoRR abs/2408.06876 (2024) - 2023
- [j40]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25(3): 407-426 (2023) - [j39]Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf:
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. 33(4): 17:1-17:28 (2023) - [c158]Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann:
Neural Policy Safety Verification via Predicate Abstraction: CEGAR. AAAI 2023: 15188-15196 - [c157]Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann:
Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS 2023: 109-117 - [c156]Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann:
Lifted Stackelberg Planning. ICAPS 2023: 370-374 - [c155]Julia Wichlacz, Daniel Höller, Daniel Fiser, Jörg Hoffmann:
A Landmark-Cut Heuristic for Lifted Optimal Planning. ECAI 2023: 2623-2630 - [c154]Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI 2023: 4748-4757 - 2022
- [j38]Maximilian Fickert, Jörg Hoffmann:
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning. J. Artif. Intell. Res. 73: 67-115 (2022) - [c153]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies. AAAI 2022: 5503-5511 - [c152]Daniel Fiser, Álvaro Torralba, Jörg Hoffmann:
Operator-Potential Heuristics for Symbolic Search. AAAI 2022: 9750-9757 - [c151]Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt:
Classical Planning with Avoid Conditions. AAAI 2022: 9944-9952 - [c150]Martim Brandao, Amanda Jane Coles, Andrew Coles, Jörg Hoffmann:
Merge and Shrink Abstractions for Temporal Planning. ICAPS 2022: 16-25 - [c149]Daniel Fiser, Álvaro Torralba, Jörg Hoffmann:
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. ICAPS 2022: 80-89 - [c148]Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann:
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. ICAPS 2022: 184-192 - [c147]Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann:
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 2022: 353-361 - [c146]Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann:
Neural Network Action Policy Verification via Predicate Abstraction. ICAPS 2022: 371-379 - [c145]Patrick Ferber, Florian Geißer, Felipe W. Trevizan, Malte Helmert, Jörg Hoffmann:
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods. ICAPS 2022: 583-587 - [c144]Rebecca Eifler, Martim Brandao, Amanda Jane Coles, Jeremy Frank, Jörg Hoffmann:
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study. ICAPS 2022: 687-691 - [c143]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) 2022: 430-443 - [c142]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics 2022 - [c141]Rebecca Eifler, Jeremy Frank, Jörg Hoffmann:
Explaining Soft-Goal Conflicts through Constraint Relaxations. IJCAI 2022: 4621-4627 - [c140]Julia Wichlacz, Daniel Höller, Jörg Hoffmann:
Landmark Heuristics for Lifted Classical Planning. IJCAI 2022: 4665-4671 - [c139]Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis:
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA 2022: 52-63 - [c138]David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold:
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. IV 2022: 1-10 - [c137]Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann:
Neural Network Heuristic Functions: Taking Confidence into Account. SOCS 2022: 223-228 - [d6]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Version 1. Zenodo, 2022 [all versions] - [d5]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Version 2. Zenodo, 2022 [all versions] - [d4]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. Zenodo, 2022 - [d3]Jendrik Seipp, Álvaro Torralba, Jörg Hoffmann:
PDDL Generators. Zenodo, 2022 - [i22]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR abs/2203.09361 (2022) - [i21]Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR abs/2206.06054 (2022) - 2021
- [c136]Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann:
Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI 2021: 11998-12006 - [c135]Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml:
Choosing the Initial State for Online Replanning. AAAI 2021: 12311-12319 - [c134]Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba:
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. ICAPS 2021: 201-209 - [c133]Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224 - [c132]Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann:
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) 2021: 411-434 - [c131]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical (Extended Abstract). Description Logics 2021 - [c130]Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann:
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI 2021: 308-317 - [c129]Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann:
Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI 2021: 4054-4061 - [c128]Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann:
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI 2021: 4119-4126 - [c127]Valentin Seimetz, Rebecca Eifler, Jörg Hoffmann:
Learning Temporal Plan Preferences from Examples: An Empirical Study. IJCAI 2021: 4160-4166 - [c126]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical. KR 2021: 641-645 - [c125]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf:
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST 2021: 197-216 - [c124]Thorsten Klößner, Jörg Hoffmann:
Pattern Databases for Stochastic Shortest Path Problems. SOCS 2021: 131-135 - [c123]Julia Wichlacz, Daniel Höller, Jörg Hoffmann:
Landmark Heuristics for Lifted Planning - Extended Abstract. SOCS 2021: 242-244 - [d2]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Supplementary Material to "Making DL-Lite Planning Practical". Version 1. Zenodo, 2021 [all versions] - [d1]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Supplementary Material to "Making DL-Lite Planning Practical". Version 2. Zenodo, 2021 [all versions] - 2020
- [j37]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68: 247-310 (2020) - [c122]Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz:
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI 2020: 9818-9826 - [c121]Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Jörg Hoffmann, Marek Petrik:
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search. AAAI 2020: 9827-9834 - [c120]Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020: 13569-13575 - [c119]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. COLING 2020: 2802-2813 - [c118]Patrick Ferber, Malte Helmert, Jörg Hoffmann:
Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. ECAI 2020: 2346-2353 - [c117]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c116]Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann:
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI 2020: 4091-4097 - [c115]Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) 2020: 27-46 - [c114]Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) 2020: 416-439 - [c113]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST 2020: 11-17 - [c112]Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller:
MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. SIGdial 2020: 53-56 - [c111]Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann:
Applying Monte-Carlo Tree Search in HTN Planning. SOCS 2020: 82-90 - [c110]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [p2]Jörg Hoffmann, Malte Helmert, Daniel Gnad, Florian Pommerening:
Planen. Handbuch der Künstlichen Intelligenz 2020: 395-428 - [e4]J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, Shirin Sohrabi:
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press 2020, ISBN 978-1-57735-824-4 [contents] - [i20]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR abs/2008.00766 (2020) - [i19]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. CoRR abs/2010.03982 (2020) - [i18]Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann:
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR abs/2010.10967 (2020) - [i17]Rebecca Eifler, Jörg Hoffmann:
Iterative Planning with Plan-Space Explanations: A Tool and User Study. CoRR abs/2011.09705 (2020)
2010 – 2019
- 2019
- [j36]Dorin Shmaryahu, Guy Shani, Jörg Hoffmann:
Comparative criteria for partially observable contingent planning. Auton. Agents Multi Agent Syst. 33(5): 481-517 (2019) - [j35]Daniel Gnad, Jörg Hoffmann, Martin Wehrle:
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65: 343-392 (2019) - [c109]Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann, Marek Petrik:
Real-Time Planning as Decision-Making under Uncertainty. AAAI 2019: 2338-2345 - [c108]Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann, Wheeler Ruml:
Refining Abstraction Heuristics during Real-Time Planning. AAAI 2019: 7578-7585 - [c107]Daniel Gnad, Jörg Hoffmann:
On the Relation between Star-Topology Decoupling and Petri Net Unfolding. ICAPS 2019: 172-180 - [c106]Frederik Schmitt, Daniel Gnad, Jörg Hoffmann:
Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS 2019: 377-381 - [c105]Dorin Shmaryahu, Jörg Hoffmann, Guy Shani:
Comparative Criteria for Partially Observable Contingent Planning. AAMAS 2019: 1740-1742 - [c104]Jörg Hoffmann, Daniele Magazzeni:
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). RW 2019: 277-282 - [c103]Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann:
Towards automated network mitigation analysis. SAC 2019: 1971-1978 - 2018
- [j34]Daniel Gnad, Jörg Hoffmann:
Star-topology decoupled state space search. Artif. Intell. 257: 24-60 (2018) - [c102]Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann:
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI 2018: 6286-6293 - [c101]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c100]Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz:
Simulated Penetration Testing as Contingent Planning. ICAPS 2018: 241-249 - [c99]Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann:
On Stubborn Sets and Planning with Resources. ICAPS 2018: 288-297 - [c98]Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes:
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P 2018: 77-91 - [c97]Maximilian Fickert, Daniel Gnad, Jörg Hoffmann:
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. IJCAI 2018: 4750-4756 - [c96]Marcel Steinmetz, Jörg Hoffmann:
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. IJCAI 2018: 4837-4843 - [c95]Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. SPIN 2018: 103-114 - [r2]Jörg Hoffmann, Ingo Weber:
Web Service Composition. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [j33]Marcel Steinmetz, Jörg Hoffmann:
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Artif. Intell. 245: 1-37 (2017) - [c94]Maximilian Fickert, Jörg Hoffmann:
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement. ICAPS 2017: 107-115 - [c93]Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann:
Symmetry Breaking in Star-Topology Decoupled Search. ICAPS 2017: 125-134 - [c92]Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini:
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS 2017: 269-273 - [c91]Marcel Steinmetz, Jörg Hoffmann:
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. ICAPS 2017: 283-287 - [c90]Daniel Gnad, Valerie Poser, Jörg Hoffmann:
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. IJCAI 2017: 4310-4316 - [c89]Marcel Steinmetz, Jörg Hoffmann:
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. IJCAI 2017: 4398-4404 - [c88]Maximilian Fickert, Jörg Hoffmann:
Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. SOCS 2017: 38-46 - [c87]Daniel Gnad, Álvaro Torralba, Jörg Hoffmann:
Symbolic Leaf Representation in Decoupled Search. SOCS 2017: 124-128 - [i16]Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz:
Simulated Penetration Testing and Mitigation Analysis. CoRR abs/1705.05088 (2017) - 2016
- [j32]Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz:
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. J. Artif. Intell. Res. 56: 269-327 (2016) - [j31]Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet:
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. J. Artif. Intell. Res. 57: 229-271 (2016) - [j30]Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba:
Search Challenges in Natural Language Generation with Complex Optimization Objectives. Künstliche Intell. 30(1): 63-69 (2016) - [c86]Marcel Steinmetz, Jörg Hoffmann:
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. AAAI 2016: 760-768 - [c85]Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber:
Practical Undoability Checking via Contingent Planning. ICAPS 2016: 106-114 - [c84]Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet:
Revisiting Goal Probability Analysis in Probabilistic Planning. ICAPS 2016: 299-307 - [c83]Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg:
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING 2016: 1524-1534 - [c82]Daniel Gnad, Martin Wehrle, Jörg Hoffmann:
Decoupled Strong Stubborn Sets. IJCAI 2016: 3110-3116 - [c81]Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann:
On State-Dominance Criteria in Fork-Decoupled Search. IJCAI 2016: 3265-3271 - [c80]Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini:
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS 2016: 45-53 - 2015
- [j29]Carmel Domshlak, Jörg Hoffmann, Michael Katz:
Red-black planning: A new systematic approach to partial delete relaxation. Artif. Intell. 221: 73-114 (2015) - [c79]Daniel Gnad, Jörg Hoffmann:
Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search. ICAPS 2015: 88-96 - [c78]Jörg Hoffmann, Maximilian Fickert:
Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time. ICAPS 2015: 115-119 - [c77]Jörg Hoffmann, Alan Fern:
Journal Track Paper Abstracts. ICAPS 2015: 357-358 - [c76]Jörg Hoffmann:
Simulated Penetration Testing: From "Dijkstra" to "Turing Test++". ICAPS 2015: 364-372 - [c75]Álvaro Torralba, Jörg Hoffmann:
Simulation-Based Admissible Dominance Pruning. IJCAI 2015: 1689-1695 - [c74]Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau:
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. POST 2015: 344-363 - [c73]Daniel Gnad, Jörg Hoffmann:
Red-Black Planning: A New Tractability Analysis and Heuristic Function. SOCS 2015: 44-52 - [c72]Daniel Gnad, Jörg Hoffmann, Carmel Domshlak:
From Fork Decoupling to Star-Topology Decoupling. SOCS 2015: 53-61 - [i15]Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau:
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law. CoRR abs/1501.03353 (2015) - 2014
- [j28]Malte Helmert, Patrik Haslum, Jörg Hoffmann, Raz Nissim:
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces. J. ACM 61(3): 16:1-16:63 (2014) - [j27]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions. J. Artif. Intell. Res. 50: 487-533 (2014) - [j26]Peter Kissmann, Jörg Hoffmann:
BDD Ordering Heuristics for Classical Planning. J. Artif. Intell. Res. 51: 779-804 (2014) - [c71]Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann:
Optimizing Planning Domains by Automatic Action Schema Splitting. ICAPS 2014 - [c70]Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown:
Improved Features for Runtime Prediction of Domain-Independent Planners. ICAPS 2014 - [c69]Jörg Hoffmann, Peter Kissmann, Álvaro Torralba:
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. ECAI 2014: 441-446 - [c68]Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern:
Learning Pruning Rules for Heuristic Search Planning. ECAI 2014: 483-488 - [r1]Jörg Hoffmann, Ingo Weber:
Web Service Composition. Encyclopedia of Social Network Analysis and Mining 2014: 2389-2399 - [i14]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR abs/1401.3470 (2014) - [i13]Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. CoRR abs/1401.3890 (2014) - [i12]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. CoRR abs/1401.5858 (2014) - 2013
- [c67]Michael Katz, Jörg Hoffmann, Carmel Domshlak:
Red-Black Relaxed Plan Heuristics. AAAI 2013: 489-495 - [c66]Michael Katz, Jörg Hoffmann, Carmel Domshlak:
Who Said We Need to Relax All Variables? ICAPS 2013 - [c65]Peter Kissmann, Jörg Hoffmann:
What's in It for My BDD? On Causal Graphs and Variable Orders in Planning. ICAPS 2013 - [c64]Thorsten Rauber, Peter Kissmann, Jörg Hoffmann:
Translating Single-Player GDL into PDDL. KI 2013: 188-199 - [c63]Michael Katz, Jörg Hoffmann:
Red-Black Relaxed Plan Heuristics Reloaded. SOCS 2013: 105-113 - [i11]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Penetration Testing == POMDP Solving? CoRR abs/1306.4714 (2013) - [i10]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration. CoRR abs/1307.7809 (2013) - [i9]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. CoRR abs/1307.8182 (2013) - 2012
- [j25]Jörg Hoffmann, Ingo Weber, Guido Governatori:
On compliance checking for clausal constraints in annotated process models. Inf. Syst. Frontiers 14(2): 155-177 (2012) - [j24]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. J. Artif. Intell. Res. 44: 587-632 (2012) - [c62]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. AAAI 2012: 1816-1824 - [c61]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Semi-Relaxed Plan Heuristics. AAAI 2012: 2126-2128 - [c60]Michael Katz, Jörg Hoffmann, Malte Helmert:
How to Relax a Bisimulation? ICAPS 2012 - [c59]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Semi-Relaxed Plan Heuristics. ICAPS 2012 - [c58]Hootan Nakhost, Jörg Hoffmann, Martin Müller:
Resource-Constrained Planning: A Monte Carlo Random Walk Approach. ICAPS 2012 - [p1]Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber:
Semantic Web Services Fundamentals. Handbook of Service Description 2012: 135-158 - [e3]Jörg Hoffmann, Bart Selman:
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012 [contents] - 2011
- [j23]Daniel Fitzner, Jörg Hoffmann, Eva Klien:
Functional description of geoprocessing services as conjunctive datalog queries. GeoInformatica 15(1): 191-221 (2011) - [j22]Michael Stollberg, Jörg Hoffmann, Dieter Fensel:
A Caching Technique for Optimizing Automated Service Discovery. Int. J. Semantic Comput. 5(1): 1-31 (2011) - [j21]Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. J. Artif. Intell. Res. 41: 155-229 (2011) - [c57]Jörg Hoffmann:
Where Ignoring Delete Lists Works, Part II: Causal Graphs. ICAPS 2011 - [c56]Raz Nissim, Jörg Hoffmann, Malte Helmert:
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. IJCAI 2011: 1983-1990 - [c55]Jörg Hoffmann:
Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). KI 2011: 1-13 - [i8]Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. CoRR abs/1106.0243 (2011) - [i7]Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. CoRR abs/1106.0675 (2011) - [i6]Jörg Hoffmann:
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. CoRR abs/1106.5271 (2011) - [i5]Jörg Hoffmann, Julie Porteous, Laura Sebastia:
Ordered Landmarks in Planning. CoRR abs/1107.0052 (2011) - [i4]Stefan Edelkamp, Jörg Hoffmann:
The Deterministic Part of IPC-4: An Overview. CoRR abs/1109.5663 (2011) - [i3]Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. CoRR abs/1110.1016 (2011) - [i2]Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. CoRR abs/1111.0044 (2011) - 2010
- [j20]Ingo Weber, Jörg Hoffmann, Jan Mendling:
Beyond soundness: on the verification of semantic business process models. Distributed Parallel Databases 27(3): 271-343 (2010) - [c54]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL. AAAI 2010: 1096-1101 - [c53]Alexander Koller, Jörg Hoffmann:
Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF. ICAPS 2010: 238-241 - [c52]Jörg Hoffmann, Nazim Fatès, Héctor Palacios:
Brothers in Arms? On AI Planning and Cellular Automata. ECAI 2010: 223-228 - [c51]Hootan Nakhost, Jörg Hoffmann, Martin Müller:
Improving Local Search for Resource-Constrained Planning. SOCS 2010: 81-82 - [e2]Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz:
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. AAAI 2010 [contents]
2000 – 2009
- 2009
- [j19]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. 35: 49-117 (2009) - [j18]Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal:
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. J. Artif. Intell. Res. 36: 415-469 (2009) - [c50]Dunbo Cai, Jörg Hoffmann, Malte Helmert:
Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints. ICAPS 2009 - [c49]Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou:
Supporting Execution-Level Business Process Modeling with Semantic Technologies. DASFAA 2009: 759-763 - [c48]Grigori Babitski, Simon Bergweiler, Jörg Hoffmann, Daniel Schön, Christoph Stasch, Alexander C. Walkowski:
Ontology-Based Integration of Sensor Web Services in Disaster Management. GeoS 2009: 103-121 - [c47]Grigori Babitski, Florian Probst, Jörg Hoffmann, Daniel Oberle:
Ontology Design for Information Integration in Disaster Management. GI Jahrestagung 2009: 3120-3134 - [c46]Ingo Weber, Alistair Barros, Norman May, Jörg Hoffmann, Tomasz Kaczmarek:
Composing Services for Third-party Service Delivery. ICWS 2009: 823-830 - 2008
- [c45]Malte Helmert, Patrik Haslum, Jörg Hoffmann:
Explicit-State Abstraction: A New Method for Generating Heuristic Functions. AAAI 2008: 1547-1550 - [c44]Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber:
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. Business Process Management Workshops 2008: 5-17 - [c43]Jörg Hoffmann:
Towards Efficient Belief Update for Planning-Based Web Service Composition. ECAI 2008: 558-562 - [c42]Ingo Weber, Jörg Hoffmann, Jan Mendling:
Beyond Soundness: On the Semantic Consistency of Executable Process Models. ECOWS 2008: 102-111 - [c41]Mihai Andrei, Arne-Jørgen Berre, Luis Costa, Philippe Duchesne, Daniel Fitzner, Miha Grcar, Jörg Hoffmann, Eva Klien, Joël Langlois, Andreas Limyr, Patrick Maué, Sven Schade, Nathalie Steinmetz, Francois Tertre, Laurentiu Vasiliu, Raluca Zaharia, Nicolas Zastavni:
SWING: An Integrated Environment for Geospatial Semantic Web Services. ESWC 2008: 767-771 - [c40]Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou:
Semantic Annotation and Composition of Business Processes with Maestro. ESWC 2008: 772-776 - [c39]Jörg Hoffmann, Ingo Weber, James Scicluna, Tomasz Kaczmarek, Anupriya Ankolekar:
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services. ICWE 2008: 98-107 - [c38]Adina Sirbu, Jörg Hoffmann:
Towards Scalable Web Service Composition with Partial Matches. ICWS 2008: 29-36 - [c37]Jan-Georg Smaus, Jörg Hoffmann:
Relaxation Refinement: A New Method to Generate Heuristic Functions. MoChArt 2008: 147-165 - [c36]Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217 - [e1]Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis:
The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings. Lecture Notes in Computer Science 5021, Springer 2008, ISBN 978-3-540-68233-2 [contents] - 2007
- [j17]Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. J. Artif. Intell. Res. 30: 565-620 (2007) - [j16]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Log. Methods Comput. Sci. 3(1) (2007) - [c35]Jörg Hoffmann, James Scicluna, Tomasz Kaczmarek, Ingo Weber:
Polynomial-Time Reasoning for Semantic Web Service Composition. IEEE SCW 2007: 229-236 - [c34]Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018 - [c33]Malte Helmert, Patrik Haslum, Jörg Hoffmann:
Flexible Abstraction Heuristics for Optimal Sequential Planning. ICAPS 2007: 176-183 - [c32]Adina Sirbu, Jörg Hoffmann:
Scalable Web Service Composition with Partial Matches. KWEPSY 2007 - [c31]Ingo Weber, Jörg Hoffmann, Jan Mendling, Jörg Nitzsche:
Towards a Methodology for Semantic Business Process Modeling and Configuration. ICSOC Workshops 2007: 176-187 - [c30]Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore:
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822 - [c29]Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923 - [c28]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
From Sampling to Model Counting. IJCAI 2007: 2293-2299 - [c27]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106 - [c26]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web 2007 - [c25]Michael Stollberg, Martin Hepp, Jörg Hoffmann:
A Caching Mechanism for Semantic Web Service Discovery. ISWC/ASWC 2007: 480-493 - [c24]Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682 - [i1]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. CoRR abs/cs/0701184 (2007) - 2006
- [j15]Jörg Hoffmann, Ronen I. Brafman:
Conformant planning via heuristic forward search: A new approach. Artif. Intell. 170(6-7): 507-541 (2006) - [j14]Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. J. Artif. Intell. Res. 26: 453-541 (2006) - [j13]Jörg Hoffmann:
KI 2007: Call for Tutorials. Künstliche Intell. 20(4): 65 (2006) - [c23]Carmel Domshlak, Jörg Hoffmann:
Fast Probabilistic Planning through Weighted Model Counting. ICAPS 2006: 243-252 - [c22]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS 2006: 284-293 - [c21]Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak:
Friends or Foes? An AI Planning Perspective on Abstraction and Search. ICAPS 2006: 294-303 - [c20]Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66 - [c19]Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52 - [c18]Darko Anicic, Michael L. Brodie, Jos de Bruijn, Dieter Fensel, Thomas Haselwanter, Martin Hepp, Stijn Heymans, Jörg Hoffmann, Mick Kerrigan, Jacek Kopecký, Reto Krummenacher, Holger Lausen, Adrian Mocan, James Scicluna, Ioan Toma, Michal Zaremba:
A Semantically Enabled Service Oriented Architecture. WImBI 2006: 367-381 - 2005
- [j12]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005) - [j11]Jörg Hoffmann, Stefan Edelkamp:
The Deterministic Part of IPC-4: An Overview. J. Artif. Intell. Res. 24: 519-579 (2005) - [j10]Jörg Hoffmann:
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks. J. Artif. Intell. Res. 24: 685-758 (2005) - [c17]Jörg Hoffmann, Ronen I. Brafman:
Contingent Planning via Heuristic Forward Search witn Implicit Belief States. ICAPS 2005: 71-80 - [c16]Jörg Hoffmann, Sebastian Kupferschmid:
A Covering Problem for Hypercubes. IJCAI 2005: 1523-1524 - 2004
- [j9]Jörg Hoffmann, Julie Porteous, Laura Sebastia:
Ordered Landmarks in Planning. J. Artif. Intell. Res. 22: 215-278 (2004) - [j8]Jörg Hoffmann:
Utilizing Problem Structure in Planning: A Local Search Approach. Künstliche Intell. 18(2): 55- (2004) - [c15]Ronen I. Brafman, Jörg Hoffmann:
Conformant Planning via Heuristic Forward Search: A New Approach. ICAPS 2004: 355-364 - [c14]Sebastian Trüg, Jörg Hoffmann, Bernhard Nebel:
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. KI 2004: 183-197 - [c13]Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer:
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75 - 2003
- [b1]Jörg Hoffmann:
Utilizing Problem Structure in Planning, A Local Search Approach. University of Freiburg, Freiburg im Breisgau, Germany, Lecture Notes in Computer Science 2854, Springer 2003, ISBN 3-540-20259-5, pp. 1-251 - [j7]Jörg Hoffmann:
The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables. J. Artif. Intell. Res. 20: 291-341 (2003) - [c12]Jörg Hoffmann, Hector Geffner:
Branching Matters: Alternative Branching in Graphplan. ICAPS 2003: 22-31 - [c11]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In Defense of PDDL Axioms. IJCAI 2003: 961-968 - 2002
- [c10]Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: A Theoretical Analysis. AIPS 2002: 92-100 - [c9]Jörg Hoffmann:
Extending FF to Numerical State Variables. ECAI 2002: 571-575 - [c8]Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: A Theoretical Analysis. PuK 2002 - 2001
- [j6]Jörg Hoffmann:
FF: The Fast-Forward Planning System. AI Mag. 22(3): 57-62 (2001) - [j5]Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. J. Artif. Intell. Res. 14: 253-302 (2001) - [j4]Jussi Rintanen, Jörg Hoffmann:
An Overview of Recent Algorithms for AI Planning. Künstliche Intell. 15(2): 5-11 (2001) - [j3]Jörg Hoffmann:
Der zweite internationale Wettbewerb für Planungssysteme. Künstliche Intell. 15(2): 37-38 (2001) - [c7]Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: An Empirical Analysis. IJCAI 2001: 453-458 - 2000
- [j2]Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox:
The AIPS-98 Planning Competition. AI Mag. 21(2): 13-33 (2000) - [j1]Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. J. Artif. Intell. Res. 12: 338-386 (2000) - [c6]Jörg Hoffmann:
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. ISMIS 2000: 216-227 - [c5]Jörg Hoffmann:
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm. PuK 2000 - [c4]Jana Koehler, Jörg Hoffmann:
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK 2000
1990 – 1999
- 1999
- [c3]Jörg Hoffmann, Jana Koehler:
A New Method to Index and Query Sets. IJCAI 1999: 462-467 - [c2]Jana Koehler, Jörg Hoffmann:
Planen mit Zielagendas. PuK 1999 - 1997
- [c1]Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos:
Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint