% csauthors.net - beta - BibTeX bibliography of Jörg Hoffmann 001
@inproceedings{conf/ecp/KoehlerNHD97,
title = {Extending Planning Graphs to an ADL Subset.},
year = {1997},
booktitle = {ECP},
author = {{Jana Koehler} and {Bernhard Nebel} and {Jörg Hoffmann 001} and {Yannis Dimopoulos}},
publisher = {Springer},
booktitle = {Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings}
}
@inproceedings{conf/ijcai/HoffmannK99,
title = {A New Method to Index and Query Sets.},
year = {1999},
booktitle = {IJCAI},
author = {{Jörg Hoffmann 001} and {Jana Koehler}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}
}
@inproceedings{conf/puk/KohlerH99,
title = {Planen mit Zielagendas.},
year = {1999},
booktitle = {PuK},
author = {{Jana Koehler} and {Jörg Hoffmann 001}},
booktitle = {Proceedings PuK 99, 13. Workshop "Planen und Konfigurieren", Jahrestreffen der Fachgruppe 1.5.3 der Gesellschaft für Informatik, vom 3.-5. März 1999, im Rahmen der 5. Tagung "Expertensysteme" an der Universität Würzburg}
}
@inproceedings{conf/ismis/Hoffmann00,
title = {A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.},
year = {2000},
booktitle = {ISMIS},
author = {{Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings}
}
@inproceedings{conf/puk/KohlerH00,
title = {On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.},
year = {2000},
booktitle = {PuK},
author = {{Jana Koehler} and {Jörg Hoffmann 001}},
booktitle = {Proceedings of the 14th Workshop "New Results in Planning, Scheduling and Design" (PuK2000), Berlin, 21-22 August 2000}
}
@article{journals/aim/LongKSBGKBHRAWSF00,
title = {The AIPS-98 Planning Competition.},
year = {2000},
journal = {AI Mag.},
author = {{Derek Long} and {Henry A. Kautz} and {Bart Selman} and {Blai Bonet} and {Hector Geffner} and {Jana Koehler} and {Michael Brenner 001} and {Jörg Hoffmann 001} and {Frank Rittinger} and {Corin R. Anderson} and {Daniel S. Weld} and {David E. Smith 001} and {Maria Fox 001}}
}
@article{journals/jair/KoehlerH00,
title = {On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.},
year = {2000},
journal = {J. Artif. Intell. Res.},
author = {{Jana Koehler} and {Jörg Hoffmann 001}}
}
@inproceedings{conf/ijcai/Hoffmann01,
title = {Local Search Topology in Planning Benchmarks: An Empirical Analysis.},
year = {2001},
booktitle = {IJCAI},
author = {{Jörg Hoffmann 001}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}
}
@article{journals/aim/Hoffmann01,
title = {FF: The Fast-Forward Planning System.},
year = {2001},
journal = {AI Mag.},
author = {{Jörg Hoffmann 001}}
}
@article{journals/jair/HoffmannN01,
title = {The FF Planning System: Fast Plan Generation Through Heuristic Search.},
year = {2001},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Bernhard Nebel}}
}
@article{journals/ki/Hoffmann01,
title = {Der zweite internationale Wettbewerb für Planungssysteme.},
year = {2001},
journal = {Künstliche Intell.},
author = {{Jörg Hoffmann 001}}
}
@article{journals/ki/RintanenH01,
title = {An Overview of Recent Algorithms for AI Planning.},
year = {2001},
journal = {Künstliche Intell.},
author = {{Jussi Rintanen} and {Jörg Hoffmann 001}}
}
@inproceedings{conf/ecai/Hoffmann02,
title = {Extending FF to Numerical State Variables.},
year = {2002},
booktitle = {ECAI},
author = {{Jörg Hoffmann 001}},
publisher = {IOS Press},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002}
}
@inproceedings{conf/puk/Hoffmann02,
title = {Local Search Topology in Planning Benchmarks: A Theoretical Analysis.},
year = {2002},
booktitle = {PuK},
author = {{Jörg Hoffmann 001}},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002}
}
@book{books/sp/Hoffmann03,
title = {Utilizing Problem Structure in Planning, A Local Search Approach},
year = {2003},
isbn = {3-540-20259-5},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
author = {{Jörg Hoffmann 001}}
}
@inproceedings{conf/aips/HoffmannG03,
title = {Branching Matters: Alternative Branching in Graphplan.},
year = {2003},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001} and {Hector Geffner}},
publisher = {AAAI},
booktitle = {Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy}
}
@article{journals/jair/Hoffmann03,
title = {The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables.},
year = {2003},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001}}
}
@inproceedings{conf/ki/TrugHN04,
title = {Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.},
year = {2004},
booktitle = {KI},
author = {{Sebastian Trüg} and {Jörg Hoffmann 001} and {Bernhard Nebel}},
publisher = {Springer},
booktitle = {KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings}
}
@inproceedings{conf/mbmv/BeckerBEFHHHKNPW04,
title = {Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.},
year = {2004},
booktitle = {MBMV},
author = {{Bernd Becker 001} and {Markus Behle} and {Friedrich Eisenbrand} and {Martin Fränzle} and {Marc Herbstritt} and {Christian Herde} and {Jörg Hoffmann 001} and {Daniel Kröning} and {Bernhard Nebel} and {Ilia Polian} and {Ralf Wimmer 001}},
publisher = {Shaker},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004}
}
@article{journals/jair/HoffmannPS04,
title = {Ordered Landmarks in Planning.},
year = {2004},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Julie Porteous} and {Laura Sebastia}}
}
@article{journals/ki/Hoffmann04,
title = {Utilizing Problem Structure in Planning: A Local Search Approach.},
year = {2004},
journal = {Künstliche Intell.},
author = {{Jörg Hoffmann 001}}
}
@inproceedings{conf/aips/HoffmannB05,
title = {Contingent Planning via Heuristic Forward Search witn Implicit Belief States.},
year = {2005},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001} and {Ronen I. Brafman}},
publisher = {AAAI},
booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA}
}
@inproceedings{conf/ijcai/HoffmannK05,
title = {A Covering Problem for Hypercubes.},
year = {2005},
booktitle = {IJCAI},
author = {{Jörg Hoffmann 001} and {Sebastian Kupferschmid}},
publisher = {Professional Book Center},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}
}
@article{journals/ai/ThiebauxHN05,
title = {In defense of PDDL axioms.},
year = {2005},
journal = {Artif. Intell.},
author = {{Sylvie Thiébaux} and {Jörg Hoffmann 001} and {Bernhard Nebel}}
}
@article{journals/jair/Hoffmann05,
title = {Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.},
year = {2005},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001}}
}
@article{journals/jair/HoffmannE05,
title = {The Deterministic Part of IPC-4: An Overview.},
year = {2005},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Stefan Edelkamp}}
}
@inproceedings{conf/aips/DomshlakH06,
title = {Fast Probabilistic Planning through Weighted Model Counting.},
year = {2006},
booktitle = {ICAPS},
author = {{Carmel Domshlak} and {Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006}
}
@inproceedings{conf/aips/HoffmannSD06,
title = {Friends or Foes? An AI Planning Perspective on Abstraction and Search.},
year = {2006},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001} and {Ashish Sabharwal} and {Carmel Domshlak}},
publisher = {AAAI},
booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006}
}
@inproceedings{conf/mochart/HoffmannSRKP06,
title = {Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.},
year = {2006},
booktitle = {MoChArt},
author = {{Jörg Hoffmann 001} and {Jan-Georg Smaus} and {Andrey Rybalchenko} and {Sebastian Kupferschmid} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers}
}
@inproceedings{conf/spin/KupferschmidHDB06,
title = {Adapting an AI Planning Heuristic for Directed Model Checking.},
year = {2006},
booktitle = {SPIN},
author = {{Sebastian Kupferschmid} and {Jörg Hoffmann 001} and {Henning Dierks} and {Gerd Behrmann}},
publisher = {Springer},
booktitle = {Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings}
}
@inproceedings{conf/wimbi/AnicicBBFHHHHKKKLMSTZ06,
title = {A Semantically Enabled Service Oriented Architecture.},
year = {2006},
booktitle = {WImBI},
author = {{Darko Anicic} and {Michael L. Brodie} and {Jos de Bruijn} and {Dieter Fensel} and {Thomas Haselwanter} and {Martin Hepp} and {Stijn Heymans} and {Jörg Hoffmann 001} and {Mick Kerrigan} and {Jacek Kopecký} and {Reto Krummenacher} and {Holger Lausen} and {Adrian Mocan} and {James Scicluna 001} and {Ioan Toma} and {Michal Zaremba}},
publisher = {Springer},
booktitle = {Web Intelligence Meets Brain Informatics, First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers}
}
@article{journals/ai/HoffmannB06,
title = {Conformant planning via heuristic forward search: A new approach.},
year = {2006},
journal = {Artif. Intell.},
author = {{Jörg Hoffmann 001} and {Ronen I. Brafman}}
}
@article{journals/jair/HoffmannETELT06,
title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.},
year = {2006},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Stefan Edelkamp} and {Sylvie Thiébaux} and {Roman Englert} and {Frederico dos S. Liporace} and {Sebastian Trüg}}
}
@article{journals/ki/000106,
title = {KI 2007: Call for Tutorials.},
year = {2006},
journal = {Künstliche Intell.},
author = {{Jörg Hoffmann 001}}
}
@inproceedings{conf/IEEEscc/HoffmannSKW07,
title = {Polynomial-Time Reasoning for Semantic Web Service Composition.},
year = {2007},
booktitle = {IEEE SCW},
author = {{Jörg Hoffmann 001} and {James Scicluna 001} and {Tomasz Kaczmarek} and {Ingo Weber}},
publisher = {IEEE Computer Society},
booktitle = {2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA}
}
@inproceedings{conf/aaai/HoffmannBP07,
title = {Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.},
year = {2007},
booktitle = {AAAI},
author = {{Jörg Hoffmann 001} and {Piergiorgio Bertoli} and {Marco Pistore}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}
}
@inproceedings{conf/aips/HelmertHH07,
title = {Flexible Abstraction Heuristics for Optimal Sequential Planning.},
year = {2007},
booktitle = {ICAPS},
author = {{Malte Helmert} and {Patrik Haslum} and {Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007}
}
@inproceedings{conf/esws/SirbuH07,
title = {Scalable Web Service Composition with Partial Matches.},
year = {2007},
booktitle = {KWEPSY},
author = {{Adina Sirbu} and {Jörg Hoffmann 001}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, Innsbruck, Austria, June 6, 2007}
}
@inproceedings{conf/icsoc/WeberHMN07,
title = {Towards a Methodology for Semantic Business Process Modeling and Configuration.},
year = {2007},
booktitle = {ICSOC Workshops},
author = {{Ingo Weber} and {Jörg Hoffmann 001} and {Jan Mendling} and {Jörg Nitzsche}},
publisher = {Springer},
booktitle = {Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers}
}
@inproceedings{conf/icws/BertoliHLP07,
title = {Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.},
year = {2007},
booktitle = {ICWS},
author = {{Piergiorgio Bertoli} and {Jörg Hoffmann 001} and {Freddy Lécué} and {Marco Pistore}},
publisher = {IEEE Computer Society},
booktitle = {2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA}
}
@inproceedings{conf/ijcai/GomesHSS07,
title = {From Sampling to Model Counting.},
year = {2007},
booktitle = {IJCAI},
author = {{Carla P. Gomes} and {Jörg Hoffmann 001} and {Ashish Sabharwal} and {Bart Selman}},
booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}
}
@inproceedings{conf/ijcai/HoffmannGSK07,
title = {SAT Encodings of State-Space Reachability Problems in Numeric Domains.},
year = {2007},
booktitle = {IJCAI},
author = {{Jörg Hoffmann 001} and {Carla P. Gomes} and {Bart Selman} and {Henry A. Kautz}},
booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}
}
@inproceedings{conf/sat/GomesHSS07,
title = {Short XORs for Model Counting: From Theory to Practice.},
year = {2007},
booktitle = {SAT},
author = {{Carla P. Gomes} and {Jörg Hoffmann 001} and {Ashish Sabharwal} and {Bart Selman}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}
}
@inproceedings{conf/semweb/GomesHSS07,
title = {Sampling and Soundness: Can We Have Both?},
year = {2007},
booktitle = {New Forms of Reasoning for the Semantic Web},
author = {{Carla P. Gomes} and {Jörg Hoffmann 001} and {Ashish Sabharwal} and {Bart Selman}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007}
}
@inproceedings{conf/semweb/StollbergHH07,
title = {A Caching Mechanism for Semantic Web Service Discovery.},
year = {2007},
booktitle = {ISWC/ASWC},
author = {{Michael Stollberg} and {Martin Hepp} and {Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007.}
}
@inproceedings{conf/tacas/KupferschmidDHFDPB07,
title = {Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.},
year = {2007},
booktitle = {TACAS},
author = {{Sebastian Kupferschmid} and {Klaus Dräger} and {Jörg Hoffmann 001} and {Bernd Finkbeiner} and {Henning Dierks} and {Andreas Podelski} and {Gerd Behrmann}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}
}
@article{journals/jair/DomshlakH07,
title = {Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.},
year = {2007},
journal = {J. Artif. Intell. Res.},
author = {{Carmel Domshlak} and {Jörg Hoffmann 001}}
}
@article{journals/lmcs/HoffmannGS07,
title = {Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.},
year = {2007},
journal = {Log. Methods Comput. Sci.},
author = {{Jörg Hoffmann 001} and {Carla P. Gomes} and {Bart Selman}}
}
@inproceedings{conf/aaai/HelmertHH08,
title = {Explicit-State Abstraction: A New Method for Generating Heuristic Functions.},
year = {2008},
booktitle = {AAAI},
author = {{Malte Helmert} and {Patrik Haslum} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008}
}
@inproceedings{conf/bpm/GovernatoriHSW08,
title = {Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.},
year = {2008},
booktitle = {Business Process Management Workshops},
author = {{Guido Governatori} and {Jörg Hoffmann 001} and {Shazia Wasim Sadiq} and {Ingo Weber}},
publisher = {Springer},
booktitle = {Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers}
}
@inproceedings{conf/ecai/Hoffmann08,
title = {Towards Efficient Belief Update for Planning-Based Web Service Composition.},
year = {2008},
booktitle = {ECAI},
author = {{Jörg Hoffmann 001}},
publisher = {IOS Press},
booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}
}
@inproceedings{conf/ecows/WeberHM08,
title = {Beyond Soundness: On the Semantic Consistency of Executable Process Models.},
year = {2008},
booktitle = {ECOWS},
author = {{Ingo Weber} and {Jörg Hoffmann 001} and {Jan Mendling}},
publisher = {IEEE Computer Society},
booktitle = {ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland}
}
@inproceedings{conf/esws/AndreiBCDFGHKLLMSSTVZZ08,
title = {SWING: An Integrated Environment for Geospatial Semantic Web Services.},
year = {2008},
booktitle = {ESWC},
author = {{Mihai Andrei} and {Arne-Jørgen Berre} and {Luis Costa} and {Philippe Duchesne} and {Daniel Fitzner} and {Miha Grcar} and {Jörg Hoffmann 001} and {Eva Klien} and {Joël Langlois} and {Andreas Limyr} and {Patrick Maué} and {Sven Schade} and {Nathalie Steinmetz} and {Francois Tertre} and {Laurentiu Vasiliu} and {Raluca Zaharia} and {Nicolas Zastavni}},
publisher = {Springer},
booktitle = {The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings}
}
@inproceedings{conf/esws/BornHKKMSWZ08,
title = {Semantic Annotation and Composition of Business Processes with Maestro.},
year = {2008},
booktitle = {ESWC},
author = {{Matthias Born} and {Jörg Hoffmann 001} and {Tomasz Kaczmarek} and {Marek Kowalkiewicz} and {Ivan Markovic} and {James Scicluna 001} and {Ingo Weber} and {Xuan Zhou 003}},
publisher = {Springer},
booktitle = {The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings}
}
@inproceedings{conf/icwe/HoffmannWSKA08,
title = {Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.},
year = {2008},
booktitle = {ICWE},
author = {{Jörg Hoffmann 001} and {Ingo Weber} and {James Scicluna 001} and {Tomasz Kaczmarek} and {Anupriya Ankolekar}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA}
}
@inproceedings{conf/icws/SirbuH08,
title = {Towards Scalable Web Service Composition with Partial Matches.},
year = {2008},
booktitle = {ICWS},
author = {{Adina Sirbu} and {Jörg Hoffmann 001}},
publisher = {IEEE Computer Society},
booktitle = {2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China}
}
@inproceedings{conf/mochart/SmausH08,
title = {Relaxation Refinement: A New Method to Generate Heuristic Functions.},
year = {2008},
booktitle = {MoChArt},
author = {{Jan-Georg Smaus} and {Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers}
}
@inproceedings{conf/tacas/KupferschmidHL08,
title = {Fast Directed Model Checking Via Russian Doll Abstraction.},
year = {2008},
booktitle = {TACAS},
author = {{Sebastian Kupferschmid} and {Jörg Hoffmann 001} and {Kim Guldstrand Larsen}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}
}
@inproceedings{conf/aips/CaiHH09,
title = {Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints.},
year = {2009},
booktitle = {ICAPS},
author = {{Dunbo Cai} and {Jörg Hoffmann 001} and {Malte Helmert}},
publisher = {AAAI},
booktitle = {Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009}
}
@inproceedings{conf/dasfaa/BornHKKMSWZ09,
title = {Supporting Execution-Level Business Process Modeling with Semantic Technologies.},
year = {2009},
booktitle = {DASFAA},
author = {{Matthias Born} and {Jörg Hoffmann 001} and {Tomasz Kaczmarek} and {Marek Kowalkiewicz} and {Ivan Markovic} and {James Scicluna 001} and {Ingo Weber} and {Xuan Zhou 003}},
publisher = {Springer},
booktitle = {Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings}
}
@inproceedings{conf/geos/BabitskiBHSSW09,
title = {Ontology-Based Integration of Sensor Web Services in Disaster Management.},
year = {2009},
booktitle = {GeoS},
author = {{Grigori Babitski} and {Simon Bergweiler} and {Jörg Hoffmann 001} and {Daniel Schön} and {Christoph Stasch} and {Alexander C. Walkowski}},
publisher = {Springer},
booktitle = {GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings}
}
@inproceedings{conf/gi/BabitskiPHO09,
title = {Ontology Design for Information Integration in Disaster Management.},
year = {2009},
booktitle = {GI Jahrestagung},
author = {{Grigori Babitski} and {Florian Probst} and {Jörg Hoffmann 001} and {Daniel Oberle}},
publisher = {GI},
booktitle = {39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28 - October 2, 2009, Proceedings}
}
@inproceedings{conf/icws/WeberBMHK09,
title = {Composing Services for Third-party Service Delivery.},
year = {2009},
booktitle = {ICWS},
author = {{Ingo Weber} and {Alistair Barros} and {Norman May} and {Jörg Hoffmann 001} and {Tomasz Kaczmarek}},
publisher = {IEEE Computer Society},
booktitle = {IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009}
}
@article{journals/jair/DomshlakHS09,
title = {Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.},
year = {2009},
journal = {J. Artif. Intell. Res.},
author = {{Carmel Domshlak} and {Jörg Hoffmann 001} and {Ashish Sabharwal}}
}
@article{journals/jair/HoffmannBHP09,
title = {Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.},
year = {2009},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Piergiorgio Bertoli} and {Malte Helmert} and {Marco Pistore}}
}
@inproceedings{conf/aaai/HoffmannWK10,
title = {SAP Speaks PDDL.},
year = {2010},
booktitle = {AAAI},
author = {{Jörg Hoffmann 001} and {Ingo Weber} and {Frank Michael Kraft}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010}
}
@inproceedings{conf/aips/KollerH10,
title = {Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF.},
year = {2010},
booktitle = {ICAPS},
author = {{Alexander Koller} and {Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010}
}
@inproceedings{conf/ecai/HoffmannFP10,
title = {Brothers in Arms? On AI Planning and Cellular Automata.},
year = {2010},
booktitle = {ECAI},
author = {{Jörg Hoffmann 001} and {Nazim Fatès} and {Héctor Palacios}},
publisher = {IOS Press},
booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}
}
@inproceedings{conf/socs/NakhostH010,
title = {Improving Local Search for Resource-Constrained Planning.},
year = {2010},
booktitle = {SOCS},
author = {{Hootan Nakhost} and {Jörg Hoffmann 001} and {Martin Müller 003}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search, SOCS 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010}
}
@article{journals/dpd/WeberHM10,
title = {Beyond soundness: on the verification of semantic business process models.},
year = {2010},
journal = {Distributed Parallel Databases},
author = {{Ingo Weber} and {Jörg Hoffmann 001} and {Jan Mendling}}
}
@inproceedings{conf/aips/Hoffmann11,
title = {Where Ignoring Delete Lists Works, Part II: Causal Graphs.},
year = {2011},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011}
}
@inproceedings{conf/ijcai/NissimHH11,
title = {Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.},
year = {2011},
booktitle = {IJCAI},
author = {{Raz Nissim} and {Jörg Hoffmann 001} and {Malte Helmert}},
publisher = {IJCAI/AAAI},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}
}
@inproceedings{conf/ki/Hoffmann11,
title = {Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask).},
year = {2011},
booktitle = {KI},
author = {{Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings}
}
@article{journals/geoinformatica/FitznerHK11,
title = {Functional description of geoprocessing services as conjunctive datalog queries.},
year = {2011},
journal = {GeoInformatica},
author = {{Daniel Fitzner} and {Jörg Hoffmann 001} and {Eva Klien}}
}
@article{journals/ijsc/StollbergHF11,
title = {A Caching Technique for Optimizing Automated Service Discovery.},
year = {2011},
journal = {Int. J. Semantic Comput.},
author = {{Michael Stollberg} and {Jörg Hoffmann 001} and {Dieter Fensel}}
}
@article{journals/jair/Hoffmann11,
title = {Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+.},
year = {2011},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001}}
}
@incollection{books/sp/12/Heymans0MPW12,
title = {Semantic Web Services Fundamentals.},
year = {2012},
booktitle = {Handbook of Service Description},
author = {{Stijn Heymans} and {Jörg Hoffmann 001} and {Annapaola Marconi} and {Joshua Phillips} and {Ingo Weber}},
publisher = {Springer},
booktitle = {Handbook of Service Description - USDL and Its Methods}
}
@inproceedings{conf/aaai/KeyderHH12,
title = {Semi-Relaxed Plan Heuristics.},
year = {2012},
booktitle = {AAAI},
author = {{Emil Ragip Keyder} and {Jörg Hoffmann 001} and {Patrik Haslum}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.}
}
@inproceedings{conf/aaai/SarrauteBH12,
title = {POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.},
year = {2012},
booktitle = {AAAI},
author = {{Carlos Sarraute} and {Olivier Buffet} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.}
}
@inproceedings{conf/aips/KatzHH12,
title = {How to Relax a Bisimulation?},
year = {2012},
booktitle = {ICAPS},
author = {{Michael Katz 001} and {Jörg Hoffmann 001} and {Malte Helmert}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012}
}
@inproceedings{conf/aips/NakhostHM12,
title = {Resource-Constrained Planning: A Monte Carlo Random Walk Approach.},
year = {2012},
booktitle = {ICAPS},
author = {{Hootan Nakhost} and {Jörg Hoffmann 001} and {Martin Müller 003}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012}
}
@article{journals/isf/HoffmannWG12,
title = {On compliance checking for clausal constraints in annotated process models.},
year = {2012},
journal = {Inf. Syst. Frontiers},
author = {{Jörg Hoffmann 001} and {Ingo Weber} and {Guido Governatori}}
}
@article{journals/jair/HoffmannWK12,
title = {SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.},
year = {2012},
journal = {J. Artif. Intell. Res.},
author = {{Jörg Hoffmann 001} and {Ingo Weber} and {Frank Michael Kraft}}
}
@inproceedings{conf/aaai/KatzHD13,
title = {Red-Black Relaxed Plan Heuristics.},
year = {2013},
booktitle = {AAAI},
author = {{Michael Katz 001} and {Jörg Hoffmann 001} and {Carmel Domshlak}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.}
}
@inproceedings{conf/aips/KatzHD13,
title = {Who Said We Need to Relax All Variables?},
year = {2013},
booktitle = {ICAPS},
author = {{Michael Katz 001} and {Jörg Hoffmann 001} and {Carmel Domshlak}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013}
}
@inproceedings{conf/aips/KissmannH13,
title = {What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.},
year = {2013},
booktitle = {ICAPS},
author = {{Peter Kissmann} and {Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013}
}
@inproceedings{conf/ki/RauberKH13,
title = {Translating Single-Player GDL into PDDL.},
year = {2013},
booktitle = {KI},
author = {{Thorsten Rauber} and {Peter Kissmann} and {Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/socs/KatzH13,
title = {Red-Black Relaxed Plan Heuristics Reloaded.},
year = {2013},
booktitle = {SOCS},
author = {{Michael Katz 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013.}
}
@article{journals/corr/SarrauteBH13,
title = {Penetration Testing == POMDP Solving?},
year = {2013},
journal = {CoRR},
author = {{Carlos Sarraute} and {Olivier Buffet} and {Jörg Hoffmann 001}}
}
@article{journals/corr/SarrauteBH13a,
title = {Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration.},
year = {2013},
journal = {CoRR},
author = {{Carlos Sarraute} and {Olivier Buffet} and {Jörg Hoffmann 001}}
}
@inproceedings{conf/aips/ArecesBD014,
title = {Optimizing Planning Domains by Automatic Action Schema Splitting.},
year = {2014},
booktitle = {ICAPS},
author = {{Carlos Areces} and {Facundo Bustos} and {Martín Ariel Domínguez} and {Jörg Hoffmann 001}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014}
}
@inproceedings{conf/aips/FawcettVH0HL14,
title = {Improved Features for Runtime Prediction of Domain-Independent Planners.},
year = {2014},
booktitle = {ICAPS},
author = {{Chris Fawcett} and {Mauro Vallati} and {Frank Hutter} and {Jörg Hoffmann 001} and {Holger H. Hoos} and {Kevin Leyton-Brown}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014}
}
@inproceedings{conf/ecai/0001KT14,
title = {"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.},
year = {2014},
booktitle = {ECAI},
author = {{Jörg Hoffmann 001} and {Peter Kissmann} and {Álvaro Torralba}},
publisher = {IOS Press},
booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)}
}
@inproceedings{conf/ecai/Krajnansky0BF14,
title = {Learning Pruning Rules for Heuristic Search Planning.},
year = {2014},
booktitle = {ECAI},
author = {{Michal Krajnanský} and {Jörg Hoffmann 001} and {Olivier Buffet} and {Alan Fern}},
publisher = {IOS Press},
booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)}
}
@article{journals/jacm/HelmertHHN14,
title = {Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces.},
year = {2014},
journal = {J. ACM},
author = {{Malte Helmert} and {Patrik Haslum} and {Jörg Hoffmann 001} and {Raz Nissim}}
}
@article{journals/jair/KeyderHH14,
title = {Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions.},
year = {2014},
journal = {J. Artif. Intell. Res.},
author = {{Emil Ragip Keyder} and {Jörg Hoffmann 001} and {Patrik Haslum}}
}
@article{journals/jair/Kissmann014,
title = {BDD Ordering Heuristics for Classical Planning.},
year = {2014},
journal = {J. Artif. Intell. Res.},
author = {{Peter Kissmann} and {Jörg Hoffmann 001}}
}
@incollection{reference/snam/0001W14,
title = {Web Service Composition.},
year = {2014},
booktitle = {Encyclopedia of Social Network Analysis and Mining},
author = {{Jörg Hoffmann 001} and {Ingo Weber}}
}
@inproceedings{conf/aips/000115,
title = {Simulated Penetration Testing: From "Dijkstra" to "Turing Test++".},
year = {2015},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.}
}
@inproceedings{conf/aips/0001F15,
title = {Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time.},
year = {2015},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001} and {Maximilian Fickert}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.}
}
@inproceedings{conf/aips/0001F15a,
title = {Journal Track Paper Abstracts.},
year = {2015},
booktitle = {ICAPS},
author = {{Jörg Hoffmann 001} and {Alan Fern}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.}
}
@inproceedings{conf/aips/Gnad015,
title = {Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search.},
year = {2015},
booktitle = {ICAPS},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.}
}
@inproceedings{conf/ijcai/Torralba015,
title = {Simulation-Based Admissible Dominance Pruning.},
year = {2015},
booktitle = {IJCAI},
author = {{Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015}
}
@inproceedings{conf/post/0001B0M15,
title = {PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law.},
year = {2015},
booktitle = {POST},
author = {{Michael Backes 001} and {Fabian Bendun} and {Jörg Hoffmann 001} and {Ninja Marnau}},
publisher = {Springer},
booktitle = {Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings}
}
@inproceedings{conf/socs/Gnad015,
title = {Red-Black Planning: A New Tractability Analysis and Heuristic Function.},
year = {2015},
booktitle = {SOCS},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel.}
}
@inproceedings{conf/socs/Gnad0D15,
title = {From Fork Decoupling to Star-Topology Decoupling.},
year = {2015},
booktitle = {SOCS},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001} and {Carmel Domshlak}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel.}
}
@article{journals/ai/Domshlak0015,
title = {Red-black planning: A new systematic approach to partial delete relaxation.},
year = {2015},
journal = {Artif. Intell.},
author = {{Carmel Domshlak} and {Jörg Hoffmann 001} and {Michael Katz 001}}
}
@inproceedings{conf/aaai/SteinmetzH16,
title = {Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.},
year = {2016},
booktitle = {AAAI},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.}
}
@inproceedings{conf/aips/DaumT0HW16,
title = {Practical Undoability Checking via Contingent Planning.},
year = {2016},
booktitle = {ICAPS},
author = {{Jeanette Daum} and {Álvaro Torralba} and {Jörg Hoffmann 001} and {Patrik Haslum} and {Ingo Weber}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016.}
}
@inproceedings{conf/aips/SteinmetzHB16,
title = {Revisiting Goal Probability Analysis in Probabilistic Planning.},
year = {2016},
booktitle = {ICAPS},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001} and {Olivier Buffet}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016.}
}
@inproceedings{conf/coling/SchwengerTHHD16,
title = {From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.},
year = {2016},
booktitle = {COLING},
author = {{Maximilian Schwenger} and {Álvaro Torralba} and {Jörg Hoffmann 001} and {David M. Howcroft} and {Vera Demberg}},
publisher = {ACL},
booktitle = {COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan}
}
@inproceedings{conf/ijcai/GnadW016,
title = {Decoupled Strong Stubborn Sets.},
year = {2016},
booktitle = {IJCAI},
author = {{Daniel Gnad 001} and {Martin Wehrle} and {Jörg Hoffmann 001}},
publisher = {IJCAI/AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016}
}
@inproceedings{conf/ijcai/TorralbaGD016,
title = {On State-Dominance Criteria in Fork-Decoupled Search.},
year = {2016},
booktitle = {IJCAI},
author = {{Álvaro Torralba} and {Daniel Gnad 001} and {Patrick Dubbert} and {Jörg Hoffmann 001}},
publisher = {IJCAI/AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016}
}
@inproceedings{conf/socs/GnadSJ0SG16,
title = {Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.},
year = {2016},
booktitle = {SOCS},
author = {{Daniel Gnad 001} and {Marcel Steinmetz} and {Mathäus Jany} and {Jörg Hoffmann 001} and {Ivan Serina} and {Alfonso Gerevini}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search, SOCS 2016, Tarrytown, NY, USA, July 6-8, 2016.}
}
@article{journals/jair/FickertHS16,
title = {Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.},
year = {2016},
journal = {J. Artif. Intell. Res.},
author = {{Maximilian Fickert} and {Jörg Hoffmann 001} and {Marcel Steinmetz}}
}
@article{journals/jair/SteinmetzHB16,
title = {Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.},
year = {2016},
journal = {J. Artif. Intell. Res.},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001} and {Olivier Buffet}}
}
@article{journals/ki/Demberg0HKT16,
title = {Search Challenges in Natural Language Generation with Complex Optimization Objectives.},
year = {2016},
journal = {Künstliche Intell.},
author = {{Vera Demberg} and {Jörg Hoffmann 001} and {David M. Howcroft} and {Dietrich Klakow} and {Álvaro Torralba}}
}
@inproceedings{conf/aips/FickertH17,
title = {Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement.},
year = {2017},
booktitle = {ICAPS},
author = {{Maximilian Fickert} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.}
}
@inproceedings{conf/aips/GnadTSH17,
title = {Symmetry Breaking in Star-Topology Decoupled Search.},
year = {2017},
booktitle = {ICAPS},
author = {{Daniel Gnad 001} and {Álvaro Torralba} and {Alexander Shleyfman} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.}
}
@inproceedings{conf/aips/SpeicherSG0G17,
title = {Beyond Red-Black Planning: Limited-Memory State Variables.},
year = {2017},
booktitle = {ICAPS},
author = {{Patrick Speicher} and {Marcel Steinmetz} and {Daniel Gnad 001} and {Jörg Hoffmann 001} and {Alfonso Gerevini}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.}
}
@inproceedings{conf/aips/Steinmetz017,
title = {Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.},
year = {2017},
booktitle = {ICAPS},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.}
}
@inproceedings{conf/ijcai/GnadP017,
title = {Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.},
year = {2017},
booktitle = {IJCAI},
author = {{Daniel Gnad 001} and {Valerie Poser} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017}
}
@inproceedings{conf/ijcai/Steinmetz017,
title = {Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.},
year = {2017},
booktitle = {IJCAI},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017}
}
@inproceedings{conf/socs/Fickert017,
title = {Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning.},
year = {2017},
booktitle = {SOCS},
author = {{Maximilian Fickert} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA.}
}
@inproceedings{conf/socs/GnadT017,
title = {Symbolic Leaf Representation in Decoupled Search.},
year = {2017},
booktitle = {SOCS},
author = {{Daniel Gnad 001} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA.}
}
@article{journals/ai/SteinmetzH17,
title = {State space search nogood learning: Online refinement of critical-path dead-end detectors in planning.},
year = {2017},
journal = {Artif. Intell.},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001}}
}
@article{journals/corr/00010KSS17,
title = {Simulated Penetration Testing and Mitigation Analysis.},
year = {2017},
journal = {CoRR},
author = {{Michael Backes 001} and {Jörg Hoffmann 001} and {Robert Künnemann} and {Patrick Speicher} and {Marcel Steinmetz}}
}
@inproceedings{conf/aaai/SpeicherS00K18,
title = {Stackelberg Planning: Towards Effective Leader-Follower State Space Search.},
year = {2018},
booktitle = {AAAI},
author = {{Patrick Speicher} and {Marcel Steinmetz} and {Michael Backes 001} and {Jörg Hoffmann 001} and {Robert Künnemann}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}
}
@inproceedings{conf/aips/KlauckS0H18,
title = {Compiling Probabilistic Model Checking into Probabilistic Planning.},
year = {2018},
booktitle = {ICAPS},
author = {{Michaela Klauck} and {Marcel Steinmetz} and {Jörg Hoffmann 001} and {Holger Hermanns}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.}
}
@inproceedings{conf/aips/ShmaryahuS0S18,
title = {Simulated Penetration Testing as Contingent Planning.},
year = {2018},
booktitle = {ICAPS},
author = {{Dorin Shmaryahu} and {Guy Shani} and {Jörg Hoffmann 001} and {Marcel Steinmetz}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.}
}
@inproceedings{conf/aips/WilhelmS018,
title = {On Stubborn Sets and Planning with Resources.},
year = {2018},
booktitle = {ICAPS},
author = {{Anna Wilhelm} and {Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.}
}
@inproceedings{conf/eurosp/SpeicherSKSP0018,
title = {Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.},
year = {2018},
booktitle = {EuroS&P},
author = {{Patrick Speicher} and {Marcel Steinmetz} and {Robert Künnemann} and {Milivoj Simeonovski} and {Giancarlo Pellegrino} and {Jörg Hoffmann 001} and {Michael Backes 001}},
publisher = {IEEE},
booktitle = {2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018}
}
@inproceedings{conf/ijcai/FickertG018,
title = {Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search.},
year = {2018},
booktitle = {IJCAI},
author = {{Maximilian Fickert} and {Daniel Gnad 001} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/ijcai/Steinmetz018,
title = {LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning.},
year = {2018},
booktitle = {IJCAI},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/spin/GnadDL018,
title = {Star-Topology Decoupling in SPIN.},
year = {2018},
booktitle = {SPIN},
author = {{Daniel Gnad 001} and {Patrick Dubbert} and {Alberto Lluch-Lafuente} and {Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings}
}
@article{journals/ai/GnadH18,
title = {Star-topology decoupled state space search.},
year = {2018},
journal = {Artif. Intell.},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001}}
}
@incollection{reference/snam/0001W18,
title = {Web Service Composition.},
year = {2018},
booktitle = {Encyclopedia of Social Network Analysis and Mining. 2nd Ed.},
author = {{Jörg Hoffmann 001} and {Ingo Weber}},
publisher = {Springer},
booktitle = {Encyclopedia of Social Network Analysis and Mining, 2nd Edition}
}
@inproceedings{conf/aaai/EiflerF0R19,
title = {Refining Abstraction Heuristics during Real-Time Planning.},
year = {2019},
booktitle = {AAAI},
author = {{Rebecca Eifler} and {Maximilian Fickert} and {Jörg Hoffmann 001} and {Wheeler Ruml}},
publisher = {AAAI Press},
booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.}
}
@inproceedings{conf/aaai/MitchellRS0P19,
title = {Real-Time Planning as Decision-Making under Uncertainty.},
year = {2019},
booktitle = {AAAI},
author = {{Andrew Mitchell} and {Wheeler Ruml} and {Fabian Spaniol} and {Jörg Hoffmann 001} and {Marek Petrik}},
publisher = {AAAI Press},
booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.}
}
@inproceedings{conf/aips/Gnad019,
title = {On the Relation between Star-Topology Decoupling and Petri Net Unfolding.},
year = {2019},
booktitle = {ICAPS},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/aips/SchmittG019,
title = {Advanced Factoring Strategies for Decoupled Search Using Linear Programming.},
year = {2019},
booktitle = {ICAPS},
author = {{Frederik Schmitt} and {Daniel Gnad 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/rweb/HoffmannM19,
title = {Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract).},
year = {2019},
booktitle = {Reasoning Web},
author = {{Jörg Hoffmann 001} and {Daniele Magazzeni}},
publisher = {Springer},
booktitle = {Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures}
}
@inproceedings{conf/sac/SpeicherS00K19,
title = {Towards automated network mitigation analysis.},
year = {2019},
booktitle = {SAC},
author = {{Patrick Speicher} and {Marcel Steinmetz} and {Jörg Hoffmann 001} and {Michael Backes 001} and {Robert Künnemann}},
publisher = {ACM},
booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019}
}
@article{journals/aamas/ShmaryahuSH19,
title = {Comparative criteria for partially observable contingent planning.},
year = {2019},
journal = {Auton. Agents Multi Agent Syst.},
author = {{Dorin Shmaryahu} and {Guy Shani} and {Jörg Hoffmann 001}}
}
@article{journals/jair/GnadHW19,
title = {Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.},
year = {2019},
journal = {J. Artif. Intell. Res.},
author = {{Daniel Gnad 001} and {Jörg Hoffmann 001} and {Martin Wehrle}}
}
@incollection{books/degruyter/20/0001HGP20,
title = {Planen.},
year = {2020},
booktitle = {Handbuch der Künstlichen Intelligenz},
author = {{Jörg Hoffmann 001} and {Malte Helmert} and {Daniel Gnad 001} and {Florian Pommerening}},
publisher = {De Gruyter},
booktitle = {Handbuch der Künstlichen Intelligenz, 6. Auflage}
}
@inproceedings{conf/aaai/EiflerC0MS20,
title = {A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.},
year = {2020},
booktitle = {AAAI},
author = {{Rebecca Eifler} and {Michael Cashmore} and {Jörg Hoffmann 001} and {Daniele Magazzeni} and {Marcel Steinmetz}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/FickertGSR0P20,
title = {Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search.},
year = {2020},
booktitle = {AAAI},
author = {{Maximilian Fickert} and {Tianyi Gu 001} and {Leonhard Staut} and {Wheeler Ruml} and {Jörg Hoffmann 001} and {Marek Petrik}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/HoffmannHKSKM20,
title = {Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.},
year = {2020},
booktitle = {AAAI},
author = {{Jörg Hoffmann 001} and {Holger Hermanns} and {Michaela Klauck} and {Marcel Steinmetz} and {Erez Karpas} and {Daniele Magazzeni}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/coling/KohnWTHHK20,
title = {Generating Instructions at Different Levels of Abstraction.},
year = {2020},
booktitle = {COLING},
author = {{Arne Köhn} and {Julia Wichlacz} and {Álvaro Torralba} and {Daniel Höller} and {Jörg Hoffmann 001} and {Alexander Koller}},
publisher = {International Committee on Computational Linguistics},
booktitle = {Proceedings of the 28th International Conference on Computational Linguistics, COLING 2020, Barcelona, Spain (Online), December 8-13, 2020}
}
@inproceedings{conf/ecai/FerberH020,
title = {Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space.},
year = {2020},
booktitle = {ECAI},
author = {{Patrick Ferber} and {Malte Helmert} and {Jörg Hoffmann 001}},
publisher = {IOS Press},
booktitle = {ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)}
}
@inproceedings{conf/forte/GrosH0KS20,
title = {Deep Statistical Model Checking.},
year = {2020},
booktitle = {FORTE},
author = {{Timo P. Gros} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Marcel Steinmetz}},
publisher = {Springer},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}
}
@inproceedings{conf/ijcai/EiflerST020,
title = {Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties.},
year = {2020},
booktitle = {IJCAI},
author = {{Rebecca Eifler} and {Marcel Steinmetz} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020}
}
@inproceedings{conf/isola/FaqehFH0KKSW20,
title = {Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.},
year = {2020},
booktitle = {ISoLA (2)},
author = {{Rasha Faqeh} and {Christof Fetzer} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Maximilian A. Köhl} and {Marcel Steinmetz} and {Christoph Weidenbach}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II}
}
@inproceedings{conf/isola/GrosGGHKS20,
title = {TraceVis: Towards Visualization for Deep Statistical Model Checking.},
year = {2020},
booktitle = {ISoLA (4)},
author = {{Timo P. Gros} and {David Groß} and {Stefan Gumhold} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Marcel Steinmetz}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV}
}
@inproceedings{conf/qest/GrosHHW20,
title = {Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.},
year = {2020},
booktitle = {QEST},
author = {{Timo P. Gros} and {Daniel Höller} and {Jörg Hoffmann 001} and {Verena Wolf}},
publisher = {Springer},
booktitle = {Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings}
}
@inproceedings{conf/sigdial/KohnWSTHK20,
title = {MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents.},
year = {2020},
booktitle = {SIGdial},
author = {{Arne Köhn} and {Julia Wichlacz} and {Christine Schäfer} and {Álvaro Torralba} and {Jörg Hoffmann 001} and {Alexander Koller}},
publisher = {Association for Computational Linguistics},
booktitle = {Proceedings of the 21th Annual Meeting of the Special Interest Group on Discourse and Dialogue, SIGdial 2020, 1st virtual meeting, July 1-3, 2020}
}
@inproceedings{conf/socs/WichlaczHTH20,
title = {Applying Monte-Carlo Tree Search in HTN Planning.},
year = {2020},
booktitle = {SOCS},
author = {{Julia Wichlacz} and {Daniel Höller} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020}
}
@inproceedings{conf/tailor/BaierCGGGH0K20,
title = {Lab Conditions for Research on Explainable Automated Decisions.},
year = {2020},
booktitle = {TAILOR},
author = {{Christel Baier} and {Maria Christakis} and {Timo P. Gros} and {David Groß} and {Stefan Gumhold} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck}},
publisher = {Springer},
booktitle = {Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers}
}
@article{journals/corr/abs-2008-00766,
title = {Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version.},
year = {2020},
journal = {CoRR},
author = {{Timo P. Gros} and {Daniel Höller} and {Jörg Hoffmann 001} and {Verena Wolf}}
}
@article{journals/corr/abs-2010-10967,
title = {Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems.},
year = {2020},
journal = {CoRR},
author = {{Frederik Wiehr} and {Anke Hirsch} and {Florian Daiber} and {Antonio Krüger} and {Alisa Kovtunova} and {Stefan Borgwardt} and {Ernie Chang} and {Vera Demberg} and {Marcel Steinmetz} and {Jörg Hoffmann 001}}
}
@article{journals/corr/abs-2011-09705,
title = {Iterative Planning with Plan-Space Explanations: A Tool and User Study.},
year = {2020},
journal = {CoRR},
author = {{Rebecca Eifler} and {Jörg Hoffmann 001}}
}
@article{journals/jair/KlauckSHH20,
title = {Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.},
year = {2020},
journal = {J. Artif. Intell. Res.},
author = {{Michaela Klauck} and {Marcel Steinmetz} and {Jörg Hoffmann 001} and {Holger Hermanns}}
}
@inproceedings{conf/aaai/FickertGF0MR21,
title = {Choosing the Initial State for Online Replanning.},
year = {2021},
booktitle = {AAAI},
author = {{Maximilian Fickert} and {Ivan Gavran} and {Ivan Fedotov} and {Jörg Hoffmann 001} and {Rupak Majumdar} and {Wheeler Ruml}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/TorralbaSKS021,
title = {Faster Stackelberg Planning via Symbolic Search and Information Sharing.},
year = {2021},
booktitle = {AAAI},
author = {{Álvaro Torralba} and {Patrick Speicher} and {Robert Künnemann} and {Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aips/Klossner0ST21,
title = {Pattern Databases for Goal-Probability Maximization in Probabilistic Planning.},
year = {2021},
booktitle = {ICAPS},
author = {{Thorsten Klößner} and {Jörg Hoffmann 001} and {Marcel Steinmetz} and {Álvaro Torralba}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021}
}
@inproceedings{conf/cav/ChristakisEHHKL21,
title = {Automated Safety Verification of Programs Invoking Neural Networks.},
year = {2021},
booktitle = {CAV (1)},
author = {{Maria Christakis} and {Hasan Ferit Eniser} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Yugesh Kothari} and {Jianlin Li} and {Jorge A. Navas} and {Valentin Wüstholz}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I}
}
@inproceedings{conf/cav/GnadELH20,
title = {Model Checking ømega-Regular Properties with Decoupled Search.},
year = {2021},
booktitle = {CAV (2)},
author = {{Daniel Gnad 001} and {Jan Eisenhut} and {Alberto Lluch-Lafuente} and {Jörg Hoffmann 001}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II}
}
@inproceedings{conf/dlog/Borgwardt0KS21,
title = {Making DL-Lite Planning Practical (Extended Abstract).},
year = {2021},
booktitle = {Description Logics},
author = {{Stefan Borgwardt} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Marcel Steinmetz}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}
}
@inproceedings{conf/icmi/WiehrHSKKKBCDS021,
title = {Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.},
year = {2021},
booktitle = {ICMI},
author = {{Frederik Wiehr} and {Anke Hirsch} and {Lukas Schmitz} and {Nina Knieriemen} and {Antonio Krüger} and {Alisa Kovtunova} and {Stefan Borgwardt} and {Ernie Chang} and {Vera Demberg} and {Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {ACM},
booktitle = {ICMI '21: International Conference on Multimodal Interaction, Montréal, QC, Canada, October 18-22, 2021}
}
@inproceedings{conf/ijcai/FiserGK021,
title = {Custom-Design of FDR Encodings: The Case of Red-Black Planning.},
year = {2021},
booktitle = {IJCAI},
author = {{Daniel Fiser} and {Daniel Gnad 001} and {Michael Katz 001} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/ijcai/LauerTFHW021,
title = {Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.},
year = {2021},
booktitle = {IJCAI},
author = {{Pascal Lauer} and {Álvaro Torralba} and {Daniel Fiser} and {Daniel Höller} and {Julia Wichlacz} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/ijcai/SeimetzE021,
title = {Learning Temporal Plan Preferences from Examples: An Empirical Study.},
year = {2021},
booktitle = {IJCAI},
author = {{Valentin Seimetz} and {Rebecca Eifler} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/kr/Borgwardt0KS21,
title = {Making DL-Lite Planning Practical.},
year = {2021},
booktitle = {KR},
author = {{Stefan Borgwardt} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Marcel Steinmetz}},
booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021.}
}
@inproceedings{conf/qest/GrosHHKMW21,
title = {DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.},
year = {2021},
booktitle = {QEST},
author = {{Timo P. Gros} and {Daniel Höller} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Hendrik Meerkamp} and {Verena Wolf}},
publisher = {Springer},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings}
}
@inproceedings{conf/socs/Klossner021,
title = {Pattern Databases for Stochastic Shortest Path Problems.},
year = {2021},
booktitle = {SOCS},
author = {{Thorsten Klößner} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/socs/WichlaczH021,
title = {Landmark Heuristics for Lifted Planning - Extended Abstract.},
year = {2021},
booktitle = {SOCS},
author = {{Julia Wichlacz} and {Daniel Höller} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/aaai/Borgwardt0KKNS22,
title = {Expressivity of Planning with Horn Description Logic Ontologies.},
year = {2022},
booktitle = {AAAI},
author = {{Stefan Borgwardt} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Markus Krötzsch} and {Bernhard Nebel} and {Marcel Steinmetz}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aaai/FiserT022,
title = {Operator-Potential Heuristics for Symbolic Search.},
year = {2022},
booktitle = {AAAI},
author = {{Daniel Fiser} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aaai/Steinmetz0KB22,
title = {Classical Planning with Avoid Conditions.},
year = {2022},
booktitle = {AAAI},
author = {{Marcel Steinmetz} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Stefan Borgwardt}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aips/BrandaoCC022,
title = {Merge and Shrink Abstractions for Temporal Planning.},
year = {2022},
booktitle = {ICAPS},
author = {{Martim Brandao} and {Amanda Jane Coles} and {Andrew Coles} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/EiflerBCF022,
title = {Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study.},
year = {2022},
booktitle = {ICAPS},
author = {{Rebecca Eifler} and {Martim Brandao} and {Amanda Jane Coles} and {Jeremy Frank} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/FerberGTH022,
title = {Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods.},
year = {2022},
booktitle = {ICAPS},
author = {{Patrick Ferber} and {Florian Geißer} and {Felipe W. Trevizan} and {Malte Helmert} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/FiserT022,
title = {Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search.},
year = {2022},
booktitle = {ICAPS},
author = {{Daniel Fiser} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/KlossnerST022,
title = {Pattern Selection Strategies for Pattern Databases in Probabilistic Planning.},
year = {2022},
booktitle = {ICAPS},
author = {{Thorsten Klößner} and {Marcel Steinmetz} and {Álvaro Torralba} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/SteinmetzFEFGHH22,
title = {Debugging a Policy: Automatic Action-Policy Testing in AI Planning.},
year = {2022},
booktitle = {ICAPS},
author = {{Marcel Steinmetz} and {Daniel Fiser} and {Hasan Ferit Eniser} and {Patrick Ferber} and {Timo P. Gros} and {Philippe Heim} and {Daniel Höller} and {Xandra Schuler} and {Valentin Wüstholz} and {Maria Christakis} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/VinzentS022,
title = {Neural Network Action Policy Verification via Predicate Abstraction.},
year = {2022},
booktitle = {ICAPS},
author = {{Marcel Vinzent} and {Marcel Steinmetz} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/cav/GrosHHKKW22,
title = {MoGym: Using Formal Models for Training and Verifying Decision-making Agents.},
year = {2022},
booktitle = {CAV (2)},
author = {{Timo P. Gros} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Maximilian A. Köhl} and {Verena Wolf}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II}
}
@inproceedings{conf/dlog/Borgwardt0KKNS22,
title = {Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).},
year = {2022},
booktitle = {Description Logics},
author = {{Stefan Borgwardt} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Markus Krötzsch} and {Bernhard Nebel} and {Marcel Steinmetz}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022.}
}
@inproceedings{conf/ijcai/EiflerF022,
title = {Explaining Soft-Goal Conflicts through Constraint Relaxations.},
year = {2022},
booktitle = {IJCAI},
author = {{Rebecca Eifler} and {Jeremy Frank} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022.}
}
@inproceedings{conf/ijcai/WichlaczH022,
title = {Landmark Heuristics for Lifted Classical Planning.},
year = {2022},
booktitle = {IJCAI},
author = {{Julia Wichlacz} and {Daniel Höller} and {Jörg Hoffmann 001}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022.}
}
@inproceedings{conf/issta/EniserGW0C22,
title = {Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.},
year = {2022},
booktitle = {ISSTA},
author = {{Hasan Ferit Eniser} and {Timo P. Gros} and {Valentin Wüstholz} and {Jörg Hoffmann 001} and {Maria Christakis}},
publisher = {ACM},
booktitle = {ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022}
}
@inproceedings{conf/iv/GrossKGSHG22,
title = {Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack.},
year = {2022},
booktitle = {IV},
author = {{David Groß} and {Michaela Klauck} and {Timo P. Gros} and {Marcel Steinmetz} and {Jörg Hoffmann 001} and {Stefan Gumhold}},
publisher = {IEEE},
booktitle = {26th International Conference Information Visualisation, IV 2022, Vienna, Austria, July 19-22, 2022}
}
@inproceedings{conf/socs/HellerFB0022,
title = {Neural Network Heuristic Functions: Taking Confidence into Account.},
year = {2022},
booktitle = {SOCS},
author = {{Daniel Heller} and {Patrick Ferber} and {Julian Bitterwolf} and {Matthias Hein 001} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@article{journals/corr/abs-2203-09361,
title = {Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).},
year = {2022},
journal = {CoRR},
author = {{Stefan Borgwardt} and {Jörg Hoffmann 001} and {Alisa Kovtunova} and {Markus Krötzsch} and {Bernhard Nebel} and {Marcel Steinmetz}}
}
@article{journals/jair/Fickert022,
title = {Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning.},
year = {2022},
journal = {J. Artif. Intell. Res.},
author = {{Maximilian Fickert} and {Jörg Hoffmann 001}}
}
@inproceedings{conf/aaai/VinzentS023,
title = {Neural Policy Safety Verification via Predicate Abstraction: CEGAR.},
year = {2023},
booktitle = {AAAI},
author = {{Marcel Vinzent} and {Siddhant Sharma} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/aips/EisenhutTC023,
title = {Automatic Metamorphic Test Oracles for Action-Policy Testing.},
year = {2023},
booktitle = {ICAPS},
author = {{Jan Eisenhut} and {Álvaro Torralba} and {Maria Christakis} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}
}
@inproceedings{conf/aips/SauerSK023,
title = {Lifted Stackelberg Planning.},
year = {2023},
booktitle = {ICAPS},
author = {{Philipp Sauer} and {Marcel Steinmetz} and {Robert Künnemann} and {Jörg Hoffmann 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}
}
@inproceedings{conf/ecai/WichlaczHF023,
title = {A Landmark-Cut Heuristic for Lifted Optimal Planning.},
year = {2023},
booktitle = {ECAI},
author = {{Julia Wichlacz} and {Daniel Höller} and {Daniel Fiser} and {Jörg Hoffmann 001}},
publisher = {IOS Press},
booktitle = {ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)}
}
@inproceedings{conf/ijcai/ChristakisE0SW23,
title = {Specifying and Testing k-Safety Properties for Machine-Learning Models.},
year = {2023},
booktitle = {IJCAI},
author = {{Maria Christakis} and {Hasan Ferit Eniser} and {Jörg Hoffmann 001} and {Adish Singla} and {Valentin Wüstholz}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China}
}
@article{journals/sttt/GrosHHKS23,
title = {Analyzing neural network behavior through deep statistical model checking.},
year = {2023},
month = {June},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Timo P. Gros} and {Holger Hermanns} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Marcel Steinmetz}}
}
@article{journals/tomacs/GrosGHHKMMSW23,
title = {DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.},
year = {2023},
month = {October},
journal = {ACM Trans. Model. Comput. Simul.},
author = {{Timo P. Gros} and {Joschka Groß} and {Daniel Höller} and {Jörg Hoffmann 001} and {Michaela Klauck} and {Hendrik Meerkamp} and {Nicola J. Müller} and {Lukas Schaller} and {Verena Wolf}}
}