Joerg Hoffmann - Publications


Books and Edited Conference Proceedings:


Other Edited Proceedings:


Highly Refereed International Journals:


Other Journal Articles:

  • V. Demberg, J. Hoffmann, D. Howcroft, D. Klakow, and A. Torralba, Search Challenges in Natural Language Generation with Complex Optimization Objectives, Kuenstliche Intelligenz, 2016. (PDF)

  • D. Fitzner, J. Hoffmann, and E. Klien, Functional Description of Geoprocessing Services as Conjunctive Queries, GeoInformatica, Volume 15(1), 2011, pages 191-221. (PDF) (bib entry)

  • J. Hoffmann, I. Weber, and G. Governatori, On Compliance Checking for Clausal Constraints in Annotated Process Models, Information Systems Frontiers, 2009. (PDF) (bib entry)

  • J. Rintanen, J. Hoffmann, An Overview of Recent Algorithms for AI Planning, Kuenstliche Intelligenz, Volume 2/01, 2001, pages 5 - 11. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, FF: The Fast-Forward Planning System, AI Magazine, Volume 22, Number 3, 2001, pages 57 - 62. (PDF) (bib entry)
  • D. Long, H. Kautz, B. Selman, B. Bonet, H. Geffner, J. Koehler, M. Brenner, J. Hoffmann, F. Rittinger, C. Anderson, D. Weld, D. Smith, and M. Fox, The AIPS-98 Planning Competition, AI Magazine, Volume 21, Number 2, 2000, pages 13-33.

Book Chapters:

  • J. Hoffmann and I. Weber, Web Service Composition, chapter in Encyclopedia of Social Network Analysis and Mining, edited by J. Rokne and R. Alhajj, Springer-Verlag 2013. (PDF)

  • S. Heymans, J. Hoffmann, A. Marconi, J. Phillips, and I. Weber, Semantic Web Services Fundamentals, chapter in Handbook of Service Description: USDL and Its Methods, edited by D. Oberle and A. Barros, Springer-Verlag 2011. (PDF)


Highly Refereed International Conferences:

  • P. Speicher, M. Steinmetz, M. Backes, J. Hoffmann, and R. Kuennemann Stackelberg Planning: Towards Effective Leader-Follower State Space Search, Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18), New Orleans, USA, 2018.

  • D. Gnad, A. Torralba, and J. Hoffmann, Symbolic Leaf Representation in Decoupled Search, Proceedings of the 10th Annual Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Fickert and J. Hoffmann, Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning, Proceedings of the 10th Annual Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • M. Steinmetz and J. Hoffmann, Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF)

  • D. Gnad, V. Poser, and J. Hoffmann, Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF)

  • M. Fickert and J. Hoffmann, Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • D. Gnad, A. Torralba, A. Shleyfman, and J. Hoffmann, Symmetry Breaking in Star-Topology Decoupled Search, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Steinmetz and J. Hoffmann, Critical-Path Dead-End Detection vs. NoGoods: Offline Equivalence and Online Learning, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • P. Speicher, M. Steinmetz, D. Gnad, J. Hoffmann, and A. Gerevini, Beyond Red-Black Planning: Limited-Memory State Variables, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Schwenger, A. Torralba, J. Hoffmann, D. Howcroft, and V. Demberg, From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation, Proceedings of the 26th International Conference on Computational Linguistics (Coling'16), Osaka, Japan, 2016. (PDF)

  • D. Gnad, M. Steinmetz, M. Jany, J. Hoffmann, I. Serina, and A. Gerevini, Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications, Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16), Tarrytown, NY, USA, 2016. (PDF)

  • D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report) (PDF for KI'16 short version)

  • A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report)

  • M. Steinmetz, J. Hoffmann, and O. Buffet, Revisiting Goal Probability Analysis in Probabilistic Planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), London, UK, 2016. (PDF) (Technical Report)

  • J. Daum, A. Torralba, J. Hoffmann, P. Haslum, and I. Weber, Practical Undoability Checking via Contingent Planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), London, UK, 2016. Outstanding student paper award. (PDF)

  • M. Steinmetz and J. Hoffmann, Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends, Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, USA, 2016. (PDF) (Technical Report) (PDF for KI'16 short version)

  • A. Torralba and J. Hoffmann, Simulation-Based Admissible Dominance Pruning, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina, 2015. (PDF)

  • D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. Nominated for the best paper award at HSDIP'15 (and they don't even have one, go figure!) (PDF)

  • D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. (PDF)

  • J. Hoffmann, Simulated Penetration Testing: From "Dijkstra" to "Turing Test++", invited paper in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF)

  • D. Gnad and J. Hoffmann, Beating LM-cut with h^max (Sometimes): Fork-Decoupled State Space Search, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) (Technical Report) Note: The original version contained a bug in Definition 5 (allowing the compilation-heuristic to use more than one finite-price leaf state). The present version corrects that bug.

  • J. Hoffmann and M. Fickert, Explicit Conjunctions w/o Compilation: Computing h^FF(Pi^C) in Polynomial Time, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) (Technical Report)

  • M. Backes, F. Bendun, J. Hoffmann, N. Marnau, PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law, Proceedings of the 4th International Conference on Principles of Security and Trust (POST'15), London, UK, 2015. (PDF)

  • J. Hoffmann, P. Kissmann, and A. Torralba, ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, 2014. (PDF)

  • M. Krajnansky, O. Buffet, J. Hoffmann, and A. Fern, Learning Pruning Rules for Heuristic Search Planning, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, 2014. (PDF)

  • C. Areces, F. Bustos, M. Dominguez, and J. Hoffmann, Optimizing Planning Domains by Automatic Action Schema Splitting, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, NH, USA, 2014. (PDF)

  • C. Fawcett, M. Vallati, F. Hutter, J. Hoffmann, H. Hoos, and K. Leyton-Brown, Improved Features for Runtime Prediction of Domain-Independent Planners, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, NH, USA, 2014. (PDF)

  • M. Katz and J. Hoffmann, Red-Black Relaxed Plan Heuristics Reloaded, in Proceedings of the 6th Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, Washington, USA, 2013. (PDF)

  • M. Katz, J. Hoffmann, and C. Domshlak, Red-Black Relaxed Plan Heuristics, in Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI'13), Bellevue, Washington, USA, 2013. (PDF)

  • M. Katz, J. Hoffmann, and C. Domshlak, Who Said we Need to Relax All Variables?, in Proceedings of the 23d International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (PDF)

  • P. Kissmann and J. Hoffmann, What's in It for My BDD? On Causal Graphs and Variable Orders in Planning, in Proceedings of the 23d International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing, in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (PDF)

  • E. Keyder, J. Hoffmann, and P. Haslum, Semi-Relaxed Plan Heuristics, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. Best paper award. (PDF) A short version of this paper appears as an invited paper in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (PDF for AAAI'12 short version)

  • M. Katz, J. Hoffmann, and M. Helmert, How to Relax a Bisimulation?, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (PDF). Note: We discovered in the meantime that the parameter "M" in the paper, which is supposed to serve only for deciding when to collect the labels "K", was mistakenly also used as an upper bound on abstraction size (forcing additional shrinking if the bound is not met, similar to the parameter "N"). This may have influenced the data.

  • H. Nakhost, J. Hoffmann, and M. Mueller, Resource-Constrained Planning: A Monte-Carlo Random Walk Approach, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (PDF)

  • Raz Nissim, J. Hoffmann, and M. Helmert, Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, July 2011. (PDF)

  • J. Hoffmann, Where Ignoring Delete Lists Works, Part II: Causal Graphs, in Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS'11), Freiburg, Germany, June 2011. Nominated for the best paper award. (PDF) (talk slides) (ICAPS'11 demo poster) (ICAPS'11 demo paper with example runs) --- NOTE: The ICAPS'11 Proceedings version contains a bug in Definition 1 (not collecting pre-eff arcs where pre is currently true but may be changed). The present version corrects that bug.

  • H. Nakhost, J. Hoffmann, and M. Mueller, Improving Local Search for Resource-Constrained Planning, abstract in Proceedings of the 3rd Annual Symposium on Combinatorial Search (SOCS'10), Atlanta, Georgia, USA, July 2010. (PDF) (PDF of longer TR)

  • J. Hoffmann, N. Fates, and H. Palacios, Brothers in Arms? On AI Planning and Cellular Automata, in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), Lisbon, Portugal, August 2010. (PDF)

  • J. Hoffmann, I. Weber, and F. Kraft, SAP Speaks PDDL, in Proceedings of the 24th National Conference of the American Association for Artificial Intelligence (AAAI'10), Atlanta, Georgia, USA, July 2010. (PDF)

  • A. Koller and J. Hoffmann, Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF, short paper in Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10), Toronto, Canada, May 2010. (PDF)

  • D. Cai, J. Hoffmann, and M. Helmert, Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints, in Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS'09), Thessaloniki, Greece, September 2009. (PDF)

  • I. Weber, A. Barros, N. May, J. Hoffmann, and T. Kaczmarek, Composing Services for Third-Party Service Delivery, in Proceedings of the 7th IEEE International Conference on Web Services (ICWS'09), Los Angeles, USA, July 2009. (PDF)

  • G. Babitski, S. Bergweiler, J. Hoffmann, D. Schoen, C. Stasch, and A. Walkowski, Ontology-based Integration of Sensor Web Services in Disaster Management, in Proceedings of the 3rd International Conference on GeoSpatial Semantics (GEOS'09), Mexico City, Mexico, December 2009. (PDF)

  • I. Weber, J. Hoffmann, and J. Mendling, Beyond Soundness: On the Semantic Consistency of Executable Process Models, in Proceedings of the 6th IEEE European Conference on Web Services (ECOWS'08), Dublin, Ireland, November 2008. (PDF)

  • A. Sirbu, J. Hoffmann, Towards Scalable Web Service Composition with Partial Matches, in Proceedings of the 6th IEEE International Conference on Web Services (ICWS'08), Beijing, China, September 2008. (PDF)

  • J. Hoffmann, Towards Efficient Belief Update for Planning-Based Web Service Composition, in Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, July 2008. (PDF)

  • J. Hoffmann, I. Weber, J. Scicluna, T. Kaczmarek, and A. Ankolekar, Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services, in Proceedings of the 8th International Conference on Web Engineering (ICWE'08), Yorktown Heights, USA, July 2008. (PDF)

  • M. Helmert, P. Haslum, J. Hoffmann, Explicit-State Abstraction: A New Method for Generating Heuristic Functions, in Proceedings of the 23rd National Conference of the American Association for Artificial Intelligence (AAAI'08), Nectar track, Chicago, USA, July 2008. (PDF)

  • S. Kupferschmid, J. Hoffmann, and K. Larsen, Fast Directed Model Checking via Russian Doll Abstraction, in Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), Budapest, Hungary, March--April 2008. (PDF)

  • M. Stollberg, M. Hepp, and J. Hoffmann, A Caching Mechanism for Semantic Web Service Discovery, in Proceedings of the 6th International Semantic Web Conference (ISWC'07), Busan, Korea, November 2007. (PDF)

  • M. Helmert, P. Haslum, J. Hoffmann, Flexible Abstraction Heuristics for Optimal Sequential Planning, in Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS'07), Providence, USA, September 2007. Best paper award. (PDF)

  • J. Hoffmann, P. Bertoli, M. Pistore, Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty, in Proceedings of the 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07), Vancouver, Canada, July 2007. (PDF)

  • P. Bertoli, J. Hoffmann, F. Lecue, M. Pistore, Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code, in Proceedings of the IEEE 2007 International Conference on Web Services (ICWS'07), Salt Lake City, USA, July 2007. (gzip'ed postscript file)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, Short XORs for Model Counting: From Theory to Practice, short paper in Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT'07), Lisbon, Portugal, May 2007. (PDF)

  • S. Kupferschmid, J. Hoffmann, K. Draeger, B. Finkbeiner, H. Dierks, A. Podelski, and G. Behrmann, Uppaal/DMC -- Abstraction-based Heuristics for Directed Model Checking, tool paper in in Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, Portugal, March 2007. (PDF)

  • J. Hoffmann, H. Kautz, C. Gomes, B. Selman, SAT Encodings of State-Space Reachability Problems in Numeric Domains, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 2007. (PDF) (bib entry)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, From Sampling to Model Counting, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 2007. Nominated for the best paper award. (PDF) (bib entry)

  • J. Hoffmann, A. Sabharwal, and C. Domshlak, Friends or Foes? An AI Planning Perspective on Abstraction and Search, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. Nominated for the best paper award. (PDF) (bib entry)

  • J. Hoffmann, C. Gomes, and B. Selman, Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-based Planning, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. (PDF) (bib entry)

  • C. Domshlak and J. Hoffmann, Fast Probabilistic Planning Through Weighted Model Counting, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. (PDF) (bib entry)

  • S. Kupferschmid, J. Hoffmann, H. Dierks, and G. Behrmann, Adapting an AI Planning Heuristic for Directed Model Checking, in Proceedings of the 13th International SPIN Workshop on Model Checking of Software (SPIN'06), Vienna, Austria, March/April 2006. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, S. Kupferschmid, A Covering Problem for Hypercubes, poster paper in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, UK, August 2005. (gzip'ed postscript file) (technical report) (bib entry)

  • J. Hoffmann, R. Brafman Contingent Planning via Heuristic Forward Search with Implicit Belief States, in Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS'05), Monterey, CA, USA, June 2005. (gzip'ed postscript file) (bib entry)

  • R. Brafman, J. Hoffmann, Conformant Planning via Heuristic Forward Search: A New Approach, in Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS'04), Whistler, Canada, June 2004. Best paper award. (gzip'ed postscript file) (bib entry)

  • S. Thiebaux, J. Hoffmann, B. Nebel, In Defense of PDDL Axioms, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), Acapulco, Mexico, August 2003. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, H. Geffner, Branching Matters: Alternative Branching in Graphplan, in Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, June 2003. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Extending FF to Numerical State Variables, in Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), Lyon, France, July 2002. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Local Search Topology in Planning Benchmarks: A Theoretical Analysis, in Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS'02), Toulouse, France, April 2002. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, B. Nebel, RIFO Revisited: Detecting Relaxed Irrelevance, in Proceedings of the 6th European Conference on Planning (ECP'01), Toledo, Spain, September 2001. (gzip'ed postscript file) (bib entry)

  • J. Porteous, L. Sebastia, J. Hoffmann, On the Extraction, Ordering, and Usage of Landmarks in Planning, in Proceedings of the 6th European Conference on Planning (ECP'01), Toledo, Spain, September 2001. ICAPS'13 influential paper award. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Local Search Topology in Planning Benchmarks: An Empirical Analysis, in Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, J. Koehler, A new Method to Index and Query Sets, in Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, August 1999. (gzip'ed postscript file) (bib entry)

  • J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopolous, Extending Planning Graphs to an ADL Subset, in Proceedings of the 4th European Conference on Planning (ECP'97), Toulouse, France, September 1997, 275-287. ICAPS'08 influential paper award, honorable mention. (gzip'ed postscript file) (bib entry)

Other Conference Papers & Workshops with Published Proceedings:

  • M. Tagorti, B. Scherrer, O. Buffet, and J. Hoffmann, Abstraction Pathologies In Markov Decision Processes, in Proceedings of 8emes Journees Francophones Planification, Decision, et Apprentissage (JFPDA'13).

  • T. Rauber, P. Kissmann, and J. Hoffmann, Translating Single-Player GDL into PDDL, in Proceedings of the 36th German Conference on Artificial Intelligence (KI'13). (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de pénétration, in Proceedings of 7emes Journees Francophones Planification, Decision, et Apprentissage (JFPDA'12).

  • J. Hoffmann, Everything You Always Wanted to Know About Planning (But Were Afraid to Ask), invited paper in Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11), 2011. (PDF) (bib entry)

  • G. Babitski, F. Probst, J. Hoffmann, and D. Oberle, Ontology Design for Information Integration in Disaster Management, in Proceedings of the 4th International Workshop on Applications of Semantic Technologies (AST'09). (PDF)

  • M. Born, J. Hoffmann, T. Kaczmarek, M. Kowalkiewicz, I. Markovic, J. Scicluna, I. Weber, and X. Zhou, Supporting Execution-Level Business Process Modeling with Semantic Technologies, in Demo Proceedings of the 14th International Conference on Database Systems for Advanced Applications (DASFAA'09), Brisbane, Australia, April 2009. (PDF)

  • G. Governatori, J. Hoffmann, S. Sadiq, and I. Weber, Detecting Regulatory Compliance for Business Process Models through Semantic Annotations, in Proceedings of the 4th International Workshop on Business Process Design (BPD'08), at BPM'08. Springer-Verlag.

  • J. Smaus and J. Hoffmann, Relaxation Refinement: A New Method to Generate Heuristic Functions, in Proceedings of the 5th International Workshop on Model Checking and Artificial Intelligence (MoChArt'08). Electronic Notes in Theoretical Computer Science. (PDF)

  • I. Weber, G. Governatori, and J. Hoffmann, Approximate Compliance Checking for Annotated Process Models, in Proceedings of the Workshop ``Governance, Risk, and Compliance'' (GRCIS'08), at CAiSE'08. CEUR WS series.

  • I. Weber, J. Hoffmann, and J. Mendling, Semantic Business Process Validation, in Proceedings of the 3rd International Workshop on Semantic Business Process Management (SBPM'08), at ESWC'08. CEUR WS series.

  • M. Born, J. Hoffmann, T. Kaczmarek, M. Kowalkiewicz, I. Markovic, J. Scicluna, I. Weber, and X. Zhou, Semantically Annotating and Composing Business Processes with Maestro, in Demo Proceedings of the 5th European Semantic Web Conference (ESWC'08), Tenerife, Spain, June 2008. (PDF)

  • M. Andrei, A. Berre, L. Costa, P. Duchesne, D. Fitzner, M. Grcar, J. Hoffmann, E. Klien, J. Langlois, A. Limyr, P. Maue, S Schade, N. Steinmetz, F. Tertre, L. Vasiliu, R. Zaharia, and N. Zastavni, SWING: An Integrated Environment for Geospatial Semantic Web Services, in Demo Proceedings of the 5th European Semantic Web Conference (ESWC'08), Tenerife, Spain, June 2008. (PDF)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, Sampling and Soundness: Can We Have Both?, in Proceedings of the Workshop ``New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic'', at ISWC'07, Busan, Korea, November 2007. CEUR WS series. (PDF)

  • I. Weber, J. Hoffmann, J. Mendling, and J. Nitzsche, Towards a Methodology for Semantic Business Process Modeling and Configuration, in Post-Proceedings of the 2nd International SeMSoC Workshop on Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing (SemSoc'07). Springer-Verlag. (PDF)

  • J. Hoffmann, T. Kaczmarek, J. Scicluna, I. Weber, Polynomial-Time Reasoning for Semantic Web Service Composition, in Proceedings of the 1st International Workshop on Web Service Composition and Adaptation (WSCA'07) at ICWS'07, Salt Lake City, USA, July 2007.IEEE Computer Society Press.

  • J. Hoffmann, J. Smaus, A. Rybalchenko, S. Kupferschmid, A. Podelski, Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL, in Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), Riva del Garda, Italy, August 2006. Springer-Verlag. (PDF)

  • S. Trueg, J. Hoffmann, B. Nebel, Applying Automatic Planning Techniques to Airport Ground-Traffic Control: A Feasibility Study, in Proceedings of the 27th German Conference on Artificial Intelligence (KI'04), Ulm, Germany, September 2004. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm, in Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems (ISMIS'00), Charlotte, North Carolina, USA, October 2000. (gzip'ed postscript file) (bib entry)


Workshop Papers:

  • Maximilian Schwenger, Alvaro Torralba, J. Hoffmann, David Howcroft, and Vera Demberg, Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation, Proceedings of the Workshop Planen/Scheduling und Konfigurieren/Entwerfen (PuK'16), at KI'16. (PDF)

  • Vera Demberg, J. Hoffmann, David Howcroft, Dietrich Klakow, and Alvaro Torralba, Search Challenges in Natural Language Generation with Complex Optimization Objectives, Proceedings of the 10th Workshop on Scheduling and Planning Applications (SPARK'16), at ICAPS'16.

  • G.\ Shani, J. Hoffmann, D.\ Shmaryahu, and M. Steinmetz, Constructing Plan Trees for Simulated Penetration Testing, Proceedings of the 10th Workshop on Scheduling and Planning Applications (SPARK'16), at ICAPS'16.

  • D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

  • A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

  • A. Torralba and J. Hoffmann, Simulation-Based Admissible Dominance Pruning, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • J. Hoffmann, M. Steinmetz, and P. Haslum, What Does it Take to Render h^+(\Pi^C) Perfect?, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (PDF)

  • M. Katz and J. Hoffmann, Pushing the Limits of Partial Delete Relaxation: Red-Black DAG Heuristics, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (pdf file)

  • J. Hoffmann, P. Kissmann, and A. Torralba, ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (PDF)

  • M. Krajnansky, O. Buffet, J. Hoffmann, and A. Fern, Learning Pruning Rules for Heuristic Search Planning, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (pdf file)

  • P. Kissmann, T. Rauber, D. Mueller, and J. Hoffmann, Delete Relaxation and Traps in General Two-Player Zero-Sum Games, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14.. (PDF)

  • M. Steinmetz, M. Katz, and J. Hoffmann, Catching Label Subsets for Relaxed Bisimulation: An Abstraction Refinement Approach, Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13. (pdf file)

  • M. Tagorti, B. Scherrer, O. Buffet, and J. Hoffmann, Abstraction Pathologies In Markov Decision Processes, Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13. (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, Penetration Testing == POMDP Solving?, Proceedings of the 3rd Workshop on Intelligent Security (SecArt'11), at IJCAI'11. (pdf file)

  • R. Nissim, J. Hoffmann, and M. Helmert, Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning, in Proceedings of the 3rd International Workshop on Heuristics for Domain-independent Planning (HDIP'11), at ICAPS'11. (identical with IJCAI'11 paper, see above)

  • O. Buffet and J. Hoffmann, All that Glitters is not Gold: Using Landmarks for Reward Shaping in FPG, in Proceedings of the Workshop on Planning and Scheduling under Uncertainty, at ICAPS'10. (PDF)

  • J. Hoffmann, I. Weber, and F. Kraft, Planning@SAP: An Application in Business Process Management, in Proceedings of the 2nd International Scheduling and Planning Applications woRKshop (SPARK'09), at ICAPS'09. (PDF)

  • R. Zaharia, L. Vasiliu, J. Hoffmann, and E. Klien, Semantic Execution meets Geospatial Web Services: A Pilot Application, 2nd Terra Cognita Workshop, at ISWC'08.

  • M. Andrei, A. Berre, L. Costa, P. Duchesne, D. Fitzner, M. Grcar, J. Hoffmann, E. Klien, J. Langlois, A. Limyr, P. Maue, S Schade, N. Steinmetz, F. Tertre, L. Vasiliu, R. Zaharia, and N. Zastavni, SWING: A Geospatial Semantic Web Service Environment, in Proceedings of the Workshop ``Semantic Web meets Geospatial Applications'', at AGILE'08, Girona, Spain, May 2008.

  • J. Hoffmann, A Tough Nuts Track for the IPC, in Proceedings of the Workshop International Planning Competition: Past, Present and Future, at ICAPS'07, Providence, USA, September 2007. (PDF)

  • D. Fitzner, J. Hoffmann, Functional Description of Geoprocessing Services as Conjunctive Queries, in Proceedings of the Geographic Information Science Days 2007 (GI-Days 2007), Muenster, Germany, September 2007.

  • A. Sirbu, J. Hoffmann, Scalable Web Service Composition with Partial Matches, in Proceedings of the 2nd KnowledgeWeb PhD Symposium (KWEPSY'07) at ESWC'07, Innsbruck, Austria, June 2007.

  • D. Anicic, M. Brodie, J. de Bruijn, D. Fensel, T. Haselwanter, M. Hepp, S. Heymans, J. Hoffmann, M. Kerrigan, J. Kopecky, R. Krummenacher, H. Lausen, A. Mocan, J. Scicluna, I. Thoma, M. Zaremba, A Semantically Enabled Service Oriented Architecture, in Proceedings of the WICI International Workshop on Web Intelligence (WI) meets Brain Informatics (BI) (WImBI 2006), Bejing, China, December 2006.

  • J. Hoffmann, C. Gomes, B. Selman, Structure and Problem Hardness: Asymmetry and DPLL Proofs in SAT-Based Planning, in Proceedings of the Workshop on Constraint Propagation and Implementation at CP'05, Sitges, Spain, October 2005.

  • B. Becker, M. Behle, F. Eisenbrand, M. Fraenzle, M. Herbstritt, C. Herde, J. Hoffmann, D. Kroening, B. Nebel, I. Polian, R. Wimmer, Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems, in Proceedings of the Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Kaiserslautern, Germany, February 2004.

  • R. Brafman, J. Hoffmann, Conformant Planning via Heuristic Forward Search, in Proceedings of the Workshop on Planning under Uncertainty and Incomplete Information at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • S. Edelkamp, J. Hoffmann, Quo Vadis, IPC-4? -- Proposals for the Classical Part of the 4th International Planning Competition, in Proceedings of the Workshop on the Competition at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • S. Thiebaux, J. Hoffmann, B. Nebel, In Defense of PDDL Axioms, in Proceedings of the Workshop on the Competition at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • J. Hoffmann, B. Nebel, What Makes the Difference Between HSP and FF?, in Proceedings of the Workshop on Empirical Methods in AI at IJCAI'01, Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, B. Nebel, Towards Thorough Empirical Methods for AI Planning, in Proceedings of the Workshop on Empirical Methods in AI at IJCAI'01, Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Koehler, J. Hoffmann, On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas, in Proceedings of the Workshop on New Results in Planning, Scheduling and Design (PuK2000) at ECAI 2000, Berlin, Germany, August 2000. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm, in Proceedings of the Workshop on New Results in Planning, Scheduling and Design (PuK2000) at ECAI 2000, Berlin, Germany, August 2000. (gzip'ed postscript file) (published at ISMIS, see above)

  • J. Koehler, J. Hoffmann, Planning with Goal Agendas, in Proceedings des 13. Workshop Planen und Konfigurieren auf der 10. Tagung Expertensysteme (XPS-99), Maerz 1999. (gzip'ed postscript file) (longer version published in JAIR, see above)


Others:

  • D. Gnad, M. Steinmetz, and J. Hoffmann, Django: Unchaining the Power of Red-Black Planning, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • M. Steinmetz and J. Hoffmann, CLone: A Critical-Path Driven Clause Learner, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • D. Gnad, A. Torralba, J. Hoffmann, and M. Wehrle, Decoupled Search for Proving Unsolvability, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • A. Torralba J. Hoffmann, and P. Kissmann, MS-Unsat and SimulationDominance: Merge-and-Shrink and Dominance Pruning for Proving Unsolvability, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • J. Hoffmann, The TorchLight Tool: Analyzing Search Topology Without Running Any Search, in Proceedings of the Demonstrations Programme, at ICAPS'11. (PDF) (poster)

  • Raz Nissim, J. Hoffmann, and M. Helmert, The Merge-and-Shrink Planner: Bisimulation-based Abstraction for Optimal Planning, in Proceedings of the 7th International Planning Competition (IPC 2011), at ICAPS'11. (PDF)

  • M. Helmert, G. Roeger, J. Seipp, E. Karpas, J. Hoffmann, E. Keyder, R. Nissim, S. Richter, and M. Westphal, Fast Downward Stone Soup, in Proceedings of the 7th International Planning Competition (IPC 2011), at ICAPS'11. (PDF)

  • J. Hoffmann, Suchverfahren fuer Planen und Komposition von Web Services (Search Procedures for Planning and Composition of Web Services), part of J. Sauer, Quo Vadis PuK?, Kuenstliche Intelligenz, 1/07: 29--36, 2007.

  • H. Kautz, B. Selman, and J. Hoffmann, SATPLAN: Planning as Satisfiability, in Proceedings of the 5th International Planning Competition (IPC'06), at ICAPS'06.

  • J. Hoffmann, Conformant-FF, in Proceedings of the 5th International Planning Competition (IPC'06), at ICAPS'06.

  • S. Edelkamp and J. Hoffmann, PDDL2.2: The Language for the Classical Part of IPC-4, in Proceedings of the 4th International Planning Competition (IPC'04), at ICAPS'04.

  • J. Hoffmann, S. Edelkamp, R. Englert, F. Liporace, S. Thiebaux, and S. Trueg, Towards Realistic Benchmarks for Planning: the Domains used in the Classical Part of IPC-4, in Proceedings of the 4th International Planning Competition (IPC'04), at ICAPS'04.

  • J. Hoffmann, Utilizing Problem Structure in Planning: A Local Search Approach, dissertation overview, Kuenstliche Intelligenz, Volumes 1/04 and 2/04, 2004.

  • J. Hoffmann, Der Zweite Internationale Wettbewerb fuer Planungssysteme (The 2nd International Planning Competition), Kuenstliche Intelligenz, 2/01: 37--37, 2001.