Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg Hoffmann 0001
@article{DBLP:journals/sttt/GrosHHKS23,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
title = {Analyzing neural network behavior through deep statistical model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {407--426},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00685-9},
doi = {10.1007/S10009-022-00685-9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GrosHHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/GrosGHHKMMSW23,
author = {Timo P. Gros and
Joschka Gro{\ss} and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Hendrik Meerkamp and
Nicola J. M{\"{u}}ller and
Lukas Schaller and
Verena Wolf},
title = {{DSMC} Evaluation Stages: Fostering Robust and Safe Behavior in Deep
Reinforcement Learning - Extended Version},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {33},
number = {4},
pages = {17:1--17:28},
year = {2023},
url = {https://doi.org/10.1145/3607198},
doi = {10.1145/3607198},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/GrosGHHKMMSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VinzentS023,
author = {Marcel Vinzent and
Siddhant Sharma and
J{\"{o}}rg Hoffmann},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Neural Policy Safety Verification via Predicate Abstraction: {CEGAR}},
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},
pages = {15188--15196},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26772},
doi = {10.1609/AAAI.V37I12.26772},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VinzentS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EisenhutTC023,
author = {Jan Eisenhut and
{\'{A}}lvaro Torralba and
Maria Christakis and
J{\"{o}}rg Hoffmann},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Automatic Metamorphic Test Oracles for Action-Policy Testing},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {109--117},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27185},
doi = {10.1609/ICAPS.V33I1.27185},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/EisenhutTC023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SauerSK023,
author = {Philipp Sauer and
Marcel Steinmetz and
Robert K{\"{u}}nnemann and
J{\"{o}}rg Hoffmann},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Lifted Stackelberg Planning},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {370--374},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27215},
doi = {10.1609/ICAPS.V33I1.27215},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SauerSK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WichlaczHF023,
author = {Julia Wichlacz and
Daniel H{\"{o}}ller and
Daniel Fiser and
J{\"{o}}rg Hoffmann},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {A Landmark-Cut Heuristic for Lifted Optimal Planning},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {2623--2630},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230569},
doi = {10.3233/FAIA230569},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/WichlaczHF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChristakisE0SW23,
author = {Maria Christakis and
Hasan Ferit Eniser and
J{\"{o}}rg Hoffmann and
Adish Singla and
Valentin W{\"{u}}stholz},
title = {Specifying and Testing k-Safety Properties for Machine-Learning Models},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {4748--4757},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/528},
doi = {10.24963/IJCAI.2023/528},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChristakisE0SW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Fickert022,
author = {Maximilian Fickert and
J{\"{o}}rg Hoffmann},
title = {Online Relaxation Refinement for Satisficing Planning: On Partial
Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning},
journal = {J. Artif. Intell. Res.},
volume = {73},
pages = {67--115},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13153},
doi = {10.1613/JAIR.1.13153},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Fickert022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies},
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},
pages = {5503--5511},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20489},
doi = {10.1609/AAAI.V36I5.20489},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FiserT022,
author = {Daniel Fiser and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
title = {Operator-Potential Heuristics for Symbolic Search},
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},
pages = {9750--9757},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21210},
doi = {10.1609/AAAI.V36I9.21210},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FiserT022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Steinmetz0KB22,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Stefan Borgwardt},
title = {Classical Planning with Avoid Conditions},
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},
pages = {9944--9952},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21232},
doi = {10.1609/AAAI.V36I9.21232},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Steinmetz0KB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BrandaoCC022,
author = {Martim Brandao and
Amanda Jane Coles and
Andrew Coles and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Merge and Shrink Abstractions for Temporal Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {16--25},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19781},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/BrandaoCC022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FiserT022,
author = {Daniel Fiser and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Operator-Potentials in Symbolic Search: From Forward to Bi-directional
Search},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {80--89},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19788},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FiserT022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlossnerST022,
author = {Thorsten Kl{\"{o}}{\ss}ner and
Marcel Steinmetz and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Pattern Selection Strategies for Pattern Databases in Probabilistic
Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {184--192},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19801},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlossnerST022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzFEFGHH22,
author = {Marcel Steinmetz and
Daniel Fiser and
Hasan Ferit Eniser and
Patrick Ferber and
Timo P. Gros and
Philippe Heim and
Daniel H{\"{o}}ller and
Xandra Schuler and
Valentin W{\"{u}}stholz and
Maria Christakis and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Debugging a Policy: Automatic Action-Policy Testing in {AI} Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {353--361},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19820},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzFEFGHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/VinzentS022,
author = {Marcel Vinzent and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Neural Network Action Policy Verification via Predicate Abstraction},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {371--379},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19822},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/VinzentS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FerberGTH022,
author = {Patrick Ferber and
Florian Gei{\ss}er and
Felipe W. Trevizan and
Malte Helmert and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Neural Network Heuristic Functions for Classical Planning: Bootstrapping
and Comparison to Other Methods},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {583--587},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19845},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FerberGTH022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EiflerBCF022,
author = {Rebecca Eifler and
Martim Brandao and
Amanda Jane Coles and
Jeremy Frank and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Evaluating Plan-Property Dependencies: {A} Web-Based Platform and
User Study},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {687--691},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19858},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/EiflerBCF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrosHHKKW22,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Maximilian A. K{\"{o}}hl and
Verena Wolf},
editor = {Sharon Shoham and
Yakir Vizel},
title = {MoGym: Using Formal Models for Training and Verifying Decision-making
Agents},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {430--443},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_21},
doi = {10.1007/978-3-031-13188-2\_21},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GrosHHKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Expressivity of Planning with Horn Description Logic Ontologies (Extended
Abstract)},
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},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiflerF022,
author = {Rebecca Eifler and
Jeremy Frank and
J{\"{o}}rg Hoffmann},
editor = {Luc De Raedt},
title = {Explaining Soft-Goal Conflicts through Constraint Relaxations},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4621--4627},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/641},
doi = {10.24963/IJCAI.2022/641},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiflerF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WichlaczH022,
author = {Julia Wichlacz and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann},
editor = {Luc De Raedt},
title = {Landmark Heuristics for Lifted Classical Planning},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4665--4671},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/647},
doi = {10.24963/IJCAI.2022/647},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WichlaczH022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EniserGW0C22,
author = {Hasan Ferit Eniser and
Timo P. Gros and
Valentin W{\"{u}}stholz and
J{\"{o}}rg Hoffmann and
Maria Christakis},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {Metamorphic relations via relaxations: an approach to obtain oracles
for action-policy testing},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {52--63},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534392},
doi = {10.1145/3533767.3534392},
timestamp = {Tue, 26 Jul 2022 16:24:43 +0200},
biburl = {https://dblp.org/rec/conf/issta/EniserGW0C22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/GrossKGSHG22,
author = {David Gro{\ss} and
Michaela Klauck and
Timo P. Gros and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Stefan Gumhold},
editor = {Ebad Banissi and
Anna Ursyn and
Mark W. McK. Bannatyne and
Jo{\~{a}}o Moura Pires and
Nuno Datia and
Kawa Nazemi and
Boris Kovalerchuk and
Razvan Andonie and
Minoru Nakayama and
Filippo Sciarrone and
Weidong Huang and
Quang Vinh Nguyen and
Mabule Samuel Mabakane and
Adrian Rusu and
Marco Temperini and
Urska Cvek and
Marjan Trutschl and
Heimo M{\"{u}}ller and
Harri Siirtola and
Wai Lok Woo and
Rita Francese and
Veronica Rossano and
Tania Di Mascio and
Fatma Bouali and
Gilles Venturini and
Sebastian Kernbach and
Delfina Malandrino and
Rocco Zaccagnino and
Jian J. Zhang and
Xiaosong Yang and
Vladimir Geroimenko},
title = {Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles
on Racetrack},
booktitle = {26th International Conference Information Visualisation, {IV} 2022,
Vienna, Austria, July 19-22, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV56949.2022.00011},
doi = {10.1109/IV56949.2022.00011},
timestamp = {Tue, 30 Jan 2024 14:33:27 +0100},
biburl = {https://dblp.org/rec/conf/iv/GrossKGSHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HellerFB0022,
author = {Daniel Heller and
Patrick Ferber and
Julian Bitterwolf and
Matthias Hein and
J{\"{o}}rg Hoffmann},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Neural Network Heuristic Functions: Taking Confidence into Account},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {223--228},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21771},
doi = {10.1609/SOCS.V15I1.21771},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/HellerFB0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09361,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies (Technical
Report)},
journal = {CoRR},
volume = {abs/2203.09361},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09361},
doi = {10.48550/ARXIV.2203.09361},
eprinttype = {arXiv},
eprint = {2203.09361},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06054,
author = {Maria Christakis and
Hasan Ferit Eniser and
J{\"{o}}rg Hoffmann and
Adish Singla and
Valentin W{\"{u}}stholz},
title = {Specifying and Testing k-Safety Properties for Machine-Learning Models},
journal = {CoRR},
volume = {abs/2206.06054},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06054},
doi = {10.48550/ARXIV.2206.06054},
eprinttype = {arXiv},
eprint = {2206.06054},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TorralbaSKS021,
author = {{\'{A}}lvaro Torralba and
Patrick Speicher and
Robert K{\"{u}}nnemann and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {Faster Stackelberg Planning via Symbolic Search and Information Sharing},
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},
pages = {11998--12006},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17425},
doi = {10.1609/AAAI.V35I13.17425},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TorralbaSKS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FickertGF0MR21,
author = {Maximilian Fickert and
Ivan Gavran and
Ivan Fedotov and
J{\"{o}}rg Hoffmann and
Rupak Majumdar and
Wheeler Ruml},
title = {Choosing the Initial State for Online Replanning},
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},
pages = {12311--12319},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i14.17461},
doi = {10.1609/AAAI.V35I14.17461},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FickertGF0MR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Klossner0ST21,
author = {Thorsten Kl{\"{o}}{\ss}ner and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz and
{\'{A}}lvaro Torralba},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Pattern Databases for Goal-Probability Maximization in Probabilistic
Planning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {201--209},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15963},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/Klossner0ST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristakisEHHKL21,
author = {Maria Christakis and
Hasan Ferit Eniser and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Yugesh Kothari and
Jianlin Li and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Automated Safety Verification of Programs Invoking Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {201--224},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_9},
doi = {10.1007/978-3-030-81685-8\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChristakisEHHKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GnadELH20,
author = {Daniel Gnad and
Jan Eisenhut and
Alberto Lluch{-}Lafuente and
J{\"{o}}rg Hoffmann},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Model Checking {\o}mega-Regular Properties with Decoupled Search},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {411--434},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_19},
doi = {10.1007/978-3-030-81688-9\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GnadELH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgwardt0KS21,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Making DL-Lite Planning Practical (Extended Abstract)},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgwardt0KS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/WiehrHSKKKBCDS021,
author = {Frederik Wiehr and
Anke Hirsch and
Lukas Schmitz and
Nina Knieriemen and
Antonio Kr{\"{u}}ger and
Alisa Kovtunova and
Stefan Borgwardt and
Ernie Chang and
Vera Demberg and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Zakia Hammal and
Carlos Busso and
Catherine Pelachaud and
Sharon L. Oviatt and
Albert Ali Salah and
Guoying Zhao},
title = {Why Do {I} Have to Take Over Control? Evaluating Safe Handovers with
Advance Notice and Explanations in {HAD}},
booktitle = {{ICMI} '21: International Conference on Multimodal Interaction, Montr{\'{e}}al,
QC, Canada, October 18-22, 2021},
pages = {308--317},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462244.3479884},
doi = {10.1145/3462244.3479884},
timestamp = {Sat, 30 Sep 2023 09:45:54 +0200},
biburl = {https://dblp.org/rec/conf/icmi/WiehrHSKKKBCDS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FiserGK021,
author = {Daniel Fiser and
Daniel Gnad and
Michael Katz and
J{\"{o}}rg Hoffmann},
editor = {Zhi{-}Hua Zhou},
title = {Custom-Design of {FDR} Encodings: The Case of Red-Black Planning},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4054--4061},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/558},
doi = {10.24963/IJCAI.2021/558},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FiserGK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LauerTFHW021,
author = {Pascal Lauer and
{\'{A}}lvaro Torralba and
Daniel Fiser and
Daniel H{\"{o}}ller and
Julia Wichlacz and
J{\"{o}}rg Hoffmann},
editor = {Zhi{-}Hua Zhou},
title = {Polynomial-Time in {PDDL} Input Size: Making the Delete Relaxation
Feasible for Lifted Planning},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4119--4126},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/567},
doi = {10.24963/IJCAI.2021/567},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LauerTFHW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SeimetzE021,
author = {Valentin Seimetz and
Rebecca Eifler and
J{\"{o}}rg Hoffmann},
editor = {Zhi{-}Hua Zhou},
title = {Learning Temporal Plan Preferences from Examples: An Empirical Study},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4160--4166},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/572},
doi = {10.24963/IJCAI.2021/572},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SeimetzE021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Borgwardt0KS21,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Making DL-Lite Planning Practical},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {641--645},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/61},
doi = {10.24963/KR.2021/61},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Borgwardt0KS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GrosHHKMW21,
author = {Timo P. Gros and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Hendrik Meerkamp and
Verena Wolf},
editor = {Alessandro Abate and
Andrea Marin},
title = {{DSMC} Evaluation Stages: Fostering Robust and Safe Behavior in Deep
Reinforcement Learning},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
pages = {197--216},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9\_11},
doi = {10.1007/978-3-030-85172-9\_11},
timestamp = {Fri, 20 Aug 2021 16:13:58 +0200},
biburl = {https://dblp.org/rec/conf/qest/GrosHHKMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Klossner021,
author = {Thorsten Kl{\"{o}}{\ss}ner and
J{\"{o}}rg Hoffmann},
editor = {Hang Ma and
Ivan Serina},
title = {Pattern Databases for Stochastic Shortest Path Problems},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {131--135},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18561},
doi = {10.1609/SOCS.V12I1.18561},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Klossner021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/WichlaczH021,
author = {Julia Wichlacz and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann},
editor = {Hang Ma and
Ivan Serina},
title = {Landmark Heuristics for Lifted Planning - Extended Abstract},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {242--244},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18597},
doi = {10.1609/SOCS.V12I1.18597},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/WichlaczH021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KlauckSHH20,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
title = {Bridging the Gap Between Probabilistic Model Checking and Probabilistic
Planning: Survey, Compilations, and Empirical Comparison},
journal = {J. Artif. Intell. Res.},
volume = {68},
pages = {247--310},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11595},
doi = {10.1613/JAIR.1.11595},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KlauckSHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiflerC0MS20,
author = {Rebecca Eifler and
Michael Cashmore and
J{\"{o}}rg Hoffmann and
Daniele Magazzeni and
Marcel Steinmetz},
title = {A New Approach to Plan-Space Explanation: Analyzing Plan-Property
Dependencies in Oversubscription Planning},
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},
pages = {9818--9826},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6534},
doi = {10.1609/AAAI.V34I06.6534},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiflerC0MS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FickertGSR0P20,
author = {Maximilian Fickert and
Tianyi Gu and
Leonhard Staut and
Wheeler Ruml and
J{\"{o}}rg Hoffmann and
Marek Petrik},
title = {Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time
Search},
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},
pages = {9827--9834},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6535},
doi = {10.1609/AAAI.V34I06.6535},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FickertGSR0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoffmannHKSKM20,
author = {J{\"{o}}rg Hoffmann and
Holger Hermanns and
Michaela Klauck and
Marcel Steinmetz and
Erez Karpas and
Daniele Magazzeni},
title = {Let's Learn Their Language? {A} Case for Planning with Automata-Network
Languages from Model Checking},
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},
pages = {13569--13575},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i09.7083},
doi = {10.1609/AAAI.V34I09.7083},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoffmannHKSKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/KohnWTHHK20,
author = {Arne K{\"{o}}hn and
Julia Wichlacz and
{\'{A}}lvaro Torralba and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Alexander Koller},
editor = {Donia Scott and
N{\'{u}}ria Bel and
Chengqing Zong},
title = {Generating Instructions at Different Levels of Abstraction},
booktitle = {Proceedings of the 28th International Conference on Computational
Linguistics, {COLING} 2020, Barcelona, Spain (Online), December 8-13,
2020},
pages = {2802--2813},
publisher = {International Committee on Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.coling-main.252},
doi = {10.18653/V1/2020.COLING-MAIN.252},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/KohnWTHHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FerberH020,
author = {Patrick Ferber and
Malte Helmert and
J{\"{o}}rg Hoffmann},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Neural Network Heuristics for Classical Planning: {A} Study of Hyperparameter
Space},
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)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2346--2353},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200364},
doi = {10.3233/FAIA200364},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FerberH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrosH0KS20,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Deep Statistical Model Checking},
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},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {96--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_6},
doi = {10.1007/978-3-030-50086-3\_6},
timestamp = {Wed, 10 Jun 2020 16:48:47 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrosH0KS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiflerST020,
author = {Rebecca Eifler and
Marcel Steinmetz and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Christian Bessiere},
title = {Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms
{\&} More Powerful Properties},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4091--4097},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/566},
doi = {10.24963/IJCAI.2020/566},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiflerST020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosGGHKS20,
author = {Timo P. Gros and
David Gro{\ss} and
Stefan Gumhold and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {TraceVis: Towards Visualization for Deep Statistical Model Checking},
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}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {27--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_3},
doi = {10.1007/978-3-030-83723-5\_3},
timestamp = {Mon, 09 Aug 2021 09:09:23 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosGGHKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FaqehFH0KKSW20,
author = {Rasha Faqeh and
Christof Fetzer and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Maximilian A. K{\"{o}}hl and
Marcel Steinmetz and
Christoph Weidenbach},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Dynamic Dependable Systems Through Evidence-Based Continuous
Certification},
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}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {416--439},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_25},
doi = {10.1007/978-3-030-61470-6\_25},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/FaqehFH0KKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GrosHHW20,
author = {Timo P. Gros and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Verena Wolf},
editor = {Marco Gribaudo and
David N. Jansen and
Anne Remke},
title = {Tracking the Race Between Deep Reinforcement Learning and Imitation
Learning},
booktitle = {Quantitative Evaluation of Systems - 17th International Conference,
{QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12289},
pages = {11--17},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59854-9\_2},
doi = {10.1007/978-3-030-59854-9\_2},
timestamp = {Tue, 03 Nov 2020 17:25:04 +0100},
biburl = {https://dblp.org/rec/conf/qest/GrosHHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdial/KohnWSTHK20,
author = {Arne K{\"{o}}hn and
Julia Wichlacz and
Christine Sch{\"{a}}fer and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann and
Alexander Koller},
editor = {Olivier Pietquin and
Smaranda Muresan and
Vivian Chen and
Casey Kennington and
David Vandyke and
Nina Dethlefs and
Koji Inoue and
Erik Ekstedt and
Stefan Ultes},
title = {MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents},
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},
pages = {53--56},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.sigdial-1.7},
doi = {10.18653/V1/2020.SIGDIAL-1.7},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigdial/KohnWSTHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/WichlaczHTH20,
author = {Julia Wichlacz and
Daniel H{\"{o}}ller and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Daniel Harabor and
Mauro Vallati},
title = {Applying Monte-Carlo Tree Search in {HTN} Planning},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
pages = {82--90},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/socs.v11i1.18538},
doi = {10.1609/SOCS.V11I1.18538},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/WichlaczHTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tailor/BaierCGGGH0K20,
author = {Christel Baier and
Maria Christakis and
Timo P. Gros and
David Gro{\ss} and
Stefan Gumhold and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck},
editor = {Fredrik Heintz and
Michela Milano and
Barry O'Sullivan},
title = {Lab Conditions for Research on Explainable Automated Decisions},
booktitle = {Trustworthy {AI} - Integrating Learning, Optimization and Reasoning
- First International Workshop, {TAILOR} 2020, Virtual Event, September
4-5, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12641},
pages = {83--90},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-73959-1\_8},
doi = {10.1007/978-3-030-73959-1\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tailor/BaierCGGGH0K20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/20/0001HGP20,
author = {J{\"{o}}rg Hoffmann and
Malte Helmert and
Daniel Gnad and
Florian Pommerening},
editor = {G{\"{u}}nther G{\"{o}}rz and
Ute Schmid and
Tanya Braun},
title = {Planen},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 6. Auflage},
pages = {395--428},
publisher = {De Gruyter},
year = {2020},
url = {https://doi.org/10.1515/9783110659948-010},
doi = {10.1515/9783110659948-010},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/degruyter/20/0001HGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2020,
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
publisher = {{AAAI} Press},
year = {2020},
url = {https://www.aaai.org/Library/ICAPS/icaps20contents.php},
isbn = {978-1-57735-824-4},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00766,
author = {Timo P. Gros and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Verena Wolf},
title = {Tracking the Race Between Deep Reinforcement Learning and Imitation
Learning - Extended Version},
journal = {CoRR},
volume = {abs/2008.00766},
year = {2020},
url = {https://arxiv.org/abs/2008.00766},
eprinttype = {arXiv},
eprint = {2008.00766},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-00766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03982,
author = {Arne K{\"{o}}hn and
Julia Wichlacz and
{\'{A}}lvaro Torralba and
Daniel H{\"{o}}ller and
J{\"{o}}rg Hoffmann and
Alexander Koller},
title = {Generating Instructions at Different Levels of Abstraction},
journal = {CoRR},
volume = {abs/2010.03982},
year = {2020},
url = {https://arxiv.org/abs/2010.03982},
eprinttype = {arXiv},
eprint = {2010.03982},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10967,
author = {Frederik Wiehr and
Anke Hirsch and
Florian Daiber and
Antonio Kr{\"{u}}ger and
Alisa Kovtunova and
Stefan Borgwardt and
Ernie Chang and
Vera Demberg and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2010.10967},
year = {2020},
url = {https://arxiv.org/abs/2010.10967},
eprinttype = {arXiv},
eprint = {2010.10967},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09705,
author = {Rebecca Eifler and
J{\"{o}}rg Hoffmann},
title = {Iterative Planning with Plan-Space Explanations: {A} Tool and User
Study},
journal = {CoRR},
volume = {abs/2011.09705},
year = {2020},
url = {https://arxiv.org/abs/2011.09705},
eprinttype = {arXiv},
eprint = {2011.09705},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/ShmaryahuSH19,
author = {Dorin Shmaryahu and
Guy Shani and
J{\"{o}}rg Hoffmann},
title = {Comparative criteria for partially observable contingent planning},
journal = {Auton. Agents Multi Agent Syst.},
volume = {33},
number = {5},
pages = {481--517},
year = {2019},
url = {https://doi.org/10.1007/s10458-019-09406-0},
doi = {10.1007/S10458-019-09406-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/ShmaryahuSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GnadHW19,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann and
Martin Wehrle},
title = {Strong Stubborn Set Pruning for Star-Topology Decoupled State Space
Search},
journal = {J. Artif. Intell. Res.},
volume = {65},
pages = {343--392},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11576},
doi = {10.1613/JAIR.1.11576},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GnadHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MitchellRS0P19,
author = {Andrew Mitchell and
Wheeler Ruml and
Fabian Spaniol and
J{\"{o}}rg Hoffmann and
Marek Petrik},
title = {Real-Time Planning as Decision-Making under Uncertainty},
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},
pages = {2338--2345},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012338},
doi = {10.1609/AAAI.V33I01.33012338},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MitchellRS0P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiflerF0R19,
author = {Rebecca Eifler and
Maximilian Fickert and
J{\"{o}}rg Hoffmann and
Wheeler Ruml},
title = {Refining Abstraction Heuristics during Real-Time Planning},
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},
pages = {7578--7585},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017578},
doi = {10.1609/AAAI.V33I01.33017578},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiflerF0R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Gnad019,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {On the Relation between Star-Topology Decoupling and Petri Net Unfolding},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {172--180},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3473},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/Gnad019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SchmittG019,
author = {Frederik Schmitt and
Daniel Gnad and
J{\"{o}}rg Hoffmann},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Advanced Factoring Strategies for Decoupled Search Using Linear Programming},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {377--381},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3501},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SchmittG019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Shmaryahu0S19,
author = {Dorin Shmaryahu and
J{\"{o}}rg Hoffmann and
Guy Shani},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Comparative Criteria for Partially Observable Contingent Planning},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1740--1742},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331906},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/Shmaryahu0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/HoffmannM19,
author = {J{\"{o}}rg Hoffmann and
Daniele Magazzeni},
editor = {Markus Kr{\"{o}}tzsch and
Daria Stepanova},
title = {Explainable {AI} Planning {(XAIP):} Overview and the Case of Contrastive
Explanation (Extended Abstract)},
booktitle = {Reasoning Web. Explainable Artificial Intelligence - 15th International
Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {11810},
pages = {277--282},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31423-1\_9},
doi = {10.1007/978-3-030-31423-1\_9},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/HoffmannM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SpeicherS00K19,
author = {Patrick Speicher and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Michael Backes and
Robert K{\"{u}}nnemann},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Towards automated network mitigation analysis},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1971--1978},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297473},
doi = {10.1145/3297280.3297473},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/SpeicherS00K19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GnadH18,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann},
title = {Star-topology decoupled state space search},
journal = {Artif. Intell.},
volume = {257},
pages = {24--60},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2017.12.004},
doi = {10.1016/J.ARTINT.2017.12.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GnadH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SpeicherS00K18,
author = {Patrick Speicher and
Marcel Steinmetz and
Michael Backes and
J{\"{o}}rg Hoffmann and
Robert K{\"{u}}nnemann},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Stackelberg Planning: Towards Effective Leader-Follower State Space
Search},
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},
pages = {6286--6293},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12090},
doi = {10.1609/AAAI.V32I1.12090},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SpeicherS00K18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlauckS0H18,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Compiling Probabilistic Model Checking into Probabilistic Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {150--154},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlauckS0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShmaryahuS0S18,
author = {Dorin Shmaryahu and
Guy Shani and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Simulated Penetration Testing as Contingent Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {241--249},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17766},
timestamp = {Mon, 25 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/ShmaryahuS0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WilhelmS018,
author = {Anna Wilhelm and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {On Stubborn Sets and Planning with Resources},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {288--297},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17723},
timestamp = {Mon, 25 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/WilhelmS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/SpeicherSKSP0018,
author = {Patrick Speicher and
Marcel Steinmetz and
Robert K{\"{u}}nnemann and
Milivoj Simeonovski and
Giancarlo Pellegrino and
J{\"{o}}rg Hoffmann and
Michael Backes},
title = {Formally Reasoning about the Cost and Efficacy of Securing the Email
Infrastructure},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2018, London, United Kingdom, April 24-26, 2018},
pages = {77--91},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSP.2018.00014},
doi = {10.1109/EUROSP.2018.00014},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/SpeicherSKSP0018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FickertG018,
author = {Maximilian Fickert and
Daniel Gnad and
J{\"{o}}rg Hoffmann},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Unchaining the Power of Partial Delete Relaxation, Part {II:} Finding
Plans with Red-Black State Space Search},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4750--4756},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/660},
doi = {10.24963/IJCAI.2018/660},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FickertG018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steinmetz018,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {{LP} Heuristics over Conjunctions: Compilation, Convergence, Nogood
Learning},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4837--4843},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/672},
doi = {10.24963/IJCAI.2018/672},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Steinmetz018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GnadDL018,
author = {Daniel Gnad and
Patrick Dubbert and
Alberto Lluch{-}Lafuente and
J{\"{o}}rg Hoffmann},
editor = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {Star-Topology Decoupling in {SPIN}},
booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
Malaga, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10869},
pages = {103--114},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94111-0\_6},
doi = {10.1007/978-3-319-94111-0\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/GnadDL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/snam/0001W18,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber},
editor = {Reda Alhajj and
Jon G. Rokne},
title = {Web Service Composition},
booktitle = {Encyclopedia of Social Network Analysis and Mining, 2nd Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4939-7131-2\_132},
doi = {10.1007/978-1-4939-7131-2\_132},
timestamp = {Wed, 04 May 2022 13:01:02 +0200},
biburl = {https://dblp.org/rec/reference/snam/0001W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SteinmetzH17,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {State space search nogood learning: Online refinement of critical-path
dead-end detectors in planning},
journal = {Artif. Intell.},
volume = {245},
pages = {1--37},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2016.12.002},
doi = {10.1016/J.ARTINT.2016.12.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SteinmetzH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FickertH17,
author = {Maximilian Fickert and
J{\"{o}}rg Hoffmann},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Complete Local Search: Boosting Hill-Climbing through Online Relaxation
Refinement},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {107--115},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15616},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FickertH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GnadTSH17,
author = {Daniel Gnad and
{\'{A}}lvaro Torralba and
Alexander Shleyfman and
J{\"{o}}rg Hoffmann},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Symmetry Breaking in Star-Topology Decoupled Search},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {125--134},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15719},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/GnadTSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SpeicherSG0G17,
author = {Patrick Speicher and
Marcel Steinmetz and
Daniel Gnad and
J{\"{o}}rg Hoffmann and
Alfonso Gerevini},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Beyond Red-Black Planning: Limited-Memory State Variables},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {269--273},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15713},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SpeicherSG0G17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Steinmetz017,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence
and Online Learning},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {283--287},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15642},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Steinmetz017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GnadP017,
author = {Daniel Gnad and
Valerie Poser and
J{\"{o}}rg Hoffmann},
editor = {Carles Sierra},
title = {Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4310--4316},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/602},
doi = {10.24963/IJCAI.2017/602},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GnadP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steinmetz017,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Carles Sierra},
title = {Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap
Learning},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4398--4404},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/614},
doi = {10.24963/IJCAI.2017/614},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Steinmetz017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Fickert017,
author = {Maximilian Fickert and
J{\"{o}}rg Hoffmann},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {38--46},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18430},
doi = {10.1609/SOCS.V8I1.18430},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Fickert017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GnadT017,
author = {Daniel Gnad and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Symbolic Leaf Representation in Decoupled Search},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {124--128},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18439},
doi = {10.1609/SOCS.V8I1.18439},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/GnadT017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/00010KSS17,
author = {Michael Backes and
J{\"{o}}rg Hoffmann and
Robert K{\"{u}}nnemann and
Patrick Speicher and
Marcel Steinmetz},
title = {Simulated Penetration Testing and Mitigation Analysis},
journal = {CoRR},
volume = {abs/1705.05088},
year = {2017},
url = {http://arxiv.org/abs/1705.05088},
eprinttype = {arXiv},
eprint = {1705.05088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/00010KSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FickertHS16,
author = {Maximilian Fickert and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz},
title = {Combining the Delete Relaxation with Critical-Path Heuristics: {A}
Direct Characterization},
journal = {J. Artif. Intell. Res.},
volume = {56},
pages = {269--327},
year = {2016},
url = {https://doi.org/10.1613/jair.5057},
doi = {10.1613/JAIR.5057},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FickertHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SteinmetzHB16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Olivier Buffet},
title = {Goal Probability Analysis in Probabilistic Planning: Exploring and
Enhancing the State of the Art},
journal = {J. Artif. Intell. Res.},
volume = {57},
pages = {229--271},
year = {2016},
url = {https://doi.org/10.1613/jair.5153},
doi = {10.1613/JAIR.5153},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SteinmetzHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Demberg0HKT16,
author = {Vera Demberg and
J{\"{o}}rg Hoffmann and
David M. Howcroft and
Dietrich Klakow and
{\'{A}}lvaro Torralba},
title = {Search Challenges in Natural Language Generation with Complex Optimization
Objectives},
journal = {K{\"{u}}nstliche Intell.},
volume = {30},
number = {1},
pages = {63--69},
year = {2016},
url = {https://doi.org/10.1007/s13218-015-0409-5},
doi = {10.1007/S13218-015-0409-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Demberg0HKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SteinmetzH16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Towards Clause-Learning State Space Search: Learning to Recognize
Dead-Ends},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {760--768},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10062},
doi = {10.1609/AAAI.V30I1.10062},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SteinmetzH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/DaumT0HW16,
author = {Jeanette Daum and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann and
Patrik Haslum and
Ingo Weber},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {Practical Undoability Checking via Contingent Planning},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {106--114},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13091},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/DaumT0HW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzHB16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Olivier Buffet},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {Revisiting Goal Probability Analysis in Probabilistic Planning},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {299--307},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13005},
timestamp = {Thu, 23 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/SchwengerTHHD16,
author = {Maximilian Schwenger and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann and
David M. Howcroft and
Vera Demberg},
editor = {Nicoletta Calzolari and
Yuji Matsumoto and
Rashmi Prasad},
title = {From OpenCCG to {AI} Planning: Detecting Infeasible Edges in Sentence
Generation},
booktitle = {{COLING} 2016, 26th International Conference on Computational Linguistics,
Proceedings of the Conference: Technical Papers, December 11-16, 2016,
Osaka, Japan},
pages = {1524--1534},
publisher = {{ACL}},
year = {2016},
url = {https://aclanthology.org/C16-1144/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/SchwengerTHHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GnadW016,
author = {Daniel Gnad and
Martin Wehrle and
J{\"{o}}rg Hoffmann},
editor = {Subbarao Kambhampati},
title = {Decoupled Strong Stubborn Sets},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3110--3116},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/441},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GnadW016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TorralbaGD016,
author = {{\'{A}}lvaro Torralba and
Daniel Gnad and
Patrick Dubbert and
J{\"{o}}rg Hoffmann},
editor = {Subbarao Kambhampati},
title = {On State-Dominance Criteria in Fork-Decoupled Search},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3265--3271},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/462},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TorralbaGD016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GnadSJ0SG16,
author = {Daniel Gnad and
Marcel Steinmetz and
Math{\"{a}}us Jany and
J{\"{o}}rg Hoffmann and
Ivan Serina and
Alfonso Gerevini},
editor = {Jorge A. Baier and
Adi Botea},
title = {Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning
and Its Applications},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
{SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
pages = {45--53},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/socs.v7i1.18391},
doi = {10.1609/SOCS.V7I1.18391},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/GnadSJ0SG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Domshlak0015,
author = {Carmel Domshlak and
J{\"{o}}rg Hoffmann and
Michael Katz},
title = {Red-black planning: {A} new systematic approach to partial delete
relaxation},
journal = {Artif. Intell.},
volume = {221},
pages = {73--114},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2014.12.008},
doi = {10.1016/J.ARTINT.2014.12.008},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Domshlak0015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Gnad015,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {Beating LM-Cut with h\({}^{\mbox{max}}\) (Sometimes): Fork-Decoupled
State Space Search},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {88--96},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10485},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Gnad015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001F15,
author = {J{\"{o}}rg Hoffmann and
Maximilian Fickert},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {Explicit Conjunctions without Compilation: Computing h\({}^{\mbox{FF}}\)(Pi\({}^{\mbox{C}}\))
in Polynomial Time},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {115--119},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10466},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/0001F15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001F15a,
author = {J{\"{o}}rg Hoffmann and
Alan Fern},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {Journal Track Paper Abstracts},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {357--358},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10638},
timestamp = {Tue, 26 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/0001F15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/000115,
author = {J{\"{o}}rg Hoffmann},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {Simulated Penetration Testing: From "Dijkstra" to "Turing
Test++"},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {364--372},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10495},
timestamp = {Tue, 26 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/000115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Torralba015,
author = {{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Simulation-Based Admissible Dominance Pruning},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1689--1695},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/241},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Torralba015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/0001B0M15,
author = {Michael Backes and
Fabian Bendun and
J{\"{o}}rg Hoffmann and
Ninja Marnau},
editor = {Riccardo Focardi and
Andrew C. Myers},
title = {PriCL: Creating a Precedent, a Framework for Reasoning about Privacy
Case Law},
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},
series = {Lecture Notes in Computer Science},
volume = {9036},
pages = {344--363},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46666-7\_18},
doi = {10.1007/978-3-662-46666-7\_18},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/0001B0M15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Gnad015,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann},
editor = {Levi Lelis and
Roni Stern},
title = {Red-Black Planning: {A} New Tractability Analysis and Heuristic Function},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {44--52},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18349},
doi = {10.1609/SOCS.V6I1.18349},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Gnad015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Gnad0D15,
author = {Daniel Gnad and
J{\"{o}}rg Hoffmann and
Carmel Domshlak},
editor = {Levi Lelis and
Roni Stern},
title = {From Fork Decoupling to Star-Topology Decoupling},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {53--61},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18348},
doi = {10.1609/SOCS.V6I1.18348},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/Gnad0D15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001BHM15,
author = {Michael Backes and
Fabian Bendun and
J{\"{o}}rg Hoffmann and
Ninja Marnau},
title = {PriCL: Creating a Precedent {A} Framework for Reasoning about Privacy
Case Law},
journal = {CoRR},
volume = {abs/1501.03353},
year = {2015},
url = {http://arxiv.org/abs/1501.03353},
eprinttype = {arXiv},
eprint = {1501.03353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001BHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HelmertHHN14,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann and
Raz Nissim},
title = {Merge-and-Shrink Abstraction: {A} Method for Generating Lower Bounds
in Factored State Spaces},
journal = {J. {ACM}},
volume = {61},
number = {3},
pages = {16:1--16:63},
year = {2014},
url = {https://doi.org/10.1145/2559951},
doi = {10.1145/2559951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HelmertHHN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KeyderHH14,
author = {Emil Ragip Keyder and
J{\"{o}}rg Hoffmann and
Patrik Haslum},
title = {Improving Delete Relaxation Heuristics Through Explicitly Represented
Conjunctions},
journal = {J. Artif. Intell. Res.},
volume = {50},
pages = {487--533},
year = {2014},
url = {https://doi.org/10.1613/jair.4277},
doi = {10.1613/JAIR.4277},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KeyderHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Kissmann014,
author = {Peter Kissmann and
J{\"{o}}rg Hoffmann},
title = {{BDD} Ordering Heuristics for Classical Planning},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {779--804},
year = {2014},
url = {https://doi.org/10.1613/jair.4586},
doi = {10.1613/JAIR.4586},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Kissmann014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ArecesBD014,
author = {Carlos Areces and
Facundo Bustos and
Mart{\'{\i}}n Ariel Dom{\'{\i}}nguez and
J{\"{o}}rg Hoffmann},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Optimizing Planning Domains by Automatic Action Schema Splitting},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7894},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/ArecesBD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FawcettVH0HL14,
author = {Chris Fawcett and
Mauro Vallati and
Frank Hutter and
J{\"{o}}rg Hoffmann and
Holger H. Hoos and
Kevin Leyton{-}Brown},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Improved Features for Runtime Prediction of Domain-Independent Planners},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7939},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FawcettVH0HL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/0001KT14,
author = {J{\"{o}}rg Hoffmann and
Peter Kissmann and
{\'{A}}lvaro Torralba},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics
to Detect Unsolvability},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {441--446},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-441},
doi = {10.3233/978-1-61499-419-0-441},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/0001KT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Krajnansky0BF14,
author = {Michal Krajnansk{\'{y}} and
J{\"{o}}rg Hoffmann and
Olivier Buffet and
Alan Fern},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Learning Pruning Rules for Heuristic Search Planning},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {483--488},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-483},
doi = {10.3233/978-1-61499-419-0-483},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Krajnansky0BF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/snam/0001W14,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber},
title = {Web Service Composition},
booktitle = {Encyclopedia of Social Network Analysis and Mining},
pages = {2389--2399},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-6170-8\_132},
doi = {10.1007/978-1-4614-6170-8\_132},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/snam/0001W14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoffmannBHP14,
author = {J{\"{o}}rg Hoffmann and
Piergiorgio Bertoli and
Malte Helmert and
Marco Pistore},
title = {Message-Based Web Service Composition, Integrity Constraints, and
Planning under Uncertainty: {A} New Connection},
journal = {CoRR},
volume = {abs/1401.3470},
year = {2014},
url = {http://arxiv.org/abs/1401.3470},
eprinttype = {arXiv},
eprint = {1401.3470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoffmannBHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hoffmann14,
author = {J{\"{o}}rg Hoffmann},
title = {Analyzing Search Topology Without Running Any Search: On the Connection
Between Causal Graphs and h+},
journal = {CoRR},
volume = {abs/1401.3890},
year = {2014},
url = {http://arxiv.org/abs/1401.3890},
eprinttype = {arXiv},
eprint = {1401.3890},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hoffmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoffmanWK14,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber and
Frank Michael Kraft},
title = {{SAP} Speaks {PDDL:} Exploiting a Software-Engineering Model for Planning
in Business Process Management},
journal = {CoRR},
volume = {abs/1401.5858},
year = {2014},
url = {http://arxiv.org/abs/1401.5858},
eprinttype = {arXiv},
eprint = {1401.5858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoffmanWK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KatzHD13,
author = {Michael Katz and
J{\"{o}}rg Hoffmann and
Carmel Domshlak},
editor = {Marie desJardins and
Michael L. Littman},
title = {Red-Black Relaxed Plan Heuristics},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {489--495},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8644},
doi = {10.1609/AAAI.V27I1.8644},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KatzHD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KatzHD13,
author = {Michael Katz and
J{\"{o}}rg Hoffmann and
Carmel Domshlak},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Who Said We Need to Relax All Variables?},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5983},
timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
biburl = {https://dblp.org/rec/conf/aips/KatzHD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KissmannH13,
author = {Peter Kissmann and
J{\"{o}}rg Hoffmann},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {What's in It for My BDD? On Causal Graphs and Variable Orders in Planning},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5995},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KissmannH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/RauberKH13,
author = {Thorsten Rauber and
Peter Kissmann and
J{\"{o}}rg Hoffmann},
editor = {Ingo J. Timm and
Matthias Thimm},
title = {Translating Single-Player {GDL} into {PDDL}},
booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8077},
pages = {188--199},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40942-4\_17},
doi = {10.1007/978-3-642-40942-4\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/RauberKH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/KatzH13,
author = {Michael Katz and
J{\"{o}}rg Hoffmann},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {Red-Black Relaxed Plan Heuristics Reloaded},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
pages = {105--113},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18286},
doi = {10.1609/SOCS.V4I1.18286},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/KatzH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SarrauteBH13,
author = {Carlos Sarraute and
Olivier Buffet and
J{\"{o}}rg Hoffmann},
title = {Penetration Testing == {POMDP} Solving?},
journal = {CoRR},
volume = {abs/1306.4714},
year = {2013},
url = {http://arxiv.org/abs/1306.4714},
eprinttype = {arXiv},
eprint = {1306.4714},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SarrauteBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SarrauteBH13a,
author = {Carlos Sarraute and
Olivier Buffet and
J{\"{o}}rg Hoffmann},
title = {Les {POMDP} font de meilleurs hackers: Tenir compte de l'incertitude
dans les tests de penetration},
journal = {CoRR},
volume = {abs/1307.7809},
year = {2013},
url = {http://arxiv.org/abs/1307.7809},
eprinttype = {arXiv},
eprint = {1307.7809},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SarrauteBH13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SarrauteBH13b,
author = {Carlos Sarraute and
Olivier Buffet and
J{\"{o}}rg Hoffmann},
title = {POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration
Testing},
journal = {CoRR},
volume = {abs/1307.8182},
year = {2013},
url = {http://arxiv.org/abs/1307.8182},
eprinttype = {arXiv},
eprint = {1307.8182},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SarrauteBH13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/HoffmannWG12,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber and
Guido Governatori},
title = {On compliance checking for clausal constraints in annotated process
models},
journal = {Inf. Syst. Frontiers},
volume = {14},
number = {2},
pages = {155--177},
year = {2012},
url = {https://doi.org/10.1007/s10796-009-9179-7},
doi = {10.1007/S10796-009-9179-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/HoffmannWG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannWK12,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber and
Frank Michael Kraft},
title = {{SAP} Speaks {PDDL:} Exploiting a Software-Engineering Model for Planning
in Business Process Management},
journal = {J. Artif. Intell. Res.},
volume = {44},
pages = {587--632},
year = {2012},
url = {https://doi.org/10.1613/jair.3636},
doi = {10.1613/JAIR.3636},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SarrauteBH12,
author = {Carlos Sarraute and
Olivier Buffet and
J{\"{o}}rg Hoffmann},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration
Testing},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {1816--1824},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8363},
doi = {10.1609/AAAI.V26I1.8363},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SarrauteBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KeyderHH12,
author = {Emil Ragip Keyder and
J{\"{o}}rg Hoffmann and
Patrik Haslum},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Semi-Relaxed Plan Heuristics},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {2126--2128},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8434},
doi = {10.1609/AAAI.V26I1.8434},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KeyderHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KatzHH12,
author = {Michael Katz and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {How to Relax a Bisimulation?},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4593},
timestamp = {Wed, 01 Mar 2017 18:10:41 +0100},
biburl = {https://dblp.org/rec/conf/aips/KatzHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KeyderHH12,
author = {Emil Ragip Keyder and
J{\"{o}}rg Hoffmann and
Patrik Haslum},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Semi-Relaxed Plan Heuristics},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4568},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KeyderHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NakhostHM12,
author = {Hootan Nakhost and
J{\"{o}}rg Hoffmann and
Martin M{\"{u}}ller},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Resource-Constrained Planning: {A} Monte Carlo Random Walk Approach},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4707},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/NakhostHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/12/Heymans0MPW12,
author = {Stijn Heymans and
J{\"{o}}rg Hoffmann and
Annapaola Marconi and
Joshua Phillips and
Ingo Weber},
editor = {Alistair Barros and
Daniel Oberle},
title = {Semantic Web Services Fundamentals},
booktitle = {Handbook of Service Description - {USDL} and Its Methods},
pages = {135--158},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4614-1864-1\_6},
doi = {10.1007/978-1-4614-1864-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/12/Heymans0MPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
publisher = {{AAAI} Press},
year = {2012},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/307},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geoinformatica/FitznerHK11,
author = {Daniel Fitzner and
J{\"{o}}rg Hoffmann and
Eva Klien},
title = {Functional description of geoprocessing services as conjunctive datalog
queries},
journal = {GeoInformatica},
volume = {15},
number = {1},
pages = {191--221},
year = {2011},
url = {https://doi.org/10.1007/s10707-009-0093-4},
doi = {10.1007/S10707-009-0093-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/geoinformatica/FitznerHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/StollbergHF11,
author = {Michael Stollberg and
J{\"{o}}rg Hoffmann and
Dieter Fensel},
title = {A Caching Technique for Optimizing Automated Service Discovery},
journal = {Int. J. Semantic Comput.},
volume = {5},
number = {1},
pages = {1--31},
year = {2011},
url = {https://doi.org/10.1142/S1793351X11001146},
doi = {10.1142/S1793351X11001146},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/StollbergHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Hoffmann11,
author = {J{\"{o}}rg Hoffmann},
title = {Analyzing Search Topology Without Running Any Search: On the Connection
Between Causal Graphs and h+},
journal = {J. Artif. Intell. Res.},
volume = {41},
pages = {155--229},
year = {2011},
url = {https://doi.org/10.1613/jair.3276},
doi = {10.1613/JAIR.3276},
timestamp = {Sat, 28 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/Hoffmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Hoffmann11,
author = {J{\"{o}}rg Hoffmann},
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Where Ignoring Delete Lists Works, Part {II:} Causal Graphs},
booktitle = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2705},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Hoffmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NissimHH11,
author = {Raz Nissim and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Toby Walsh},
title = {Computing Perfect Heuristics in Polynomial Time: On Bisimulation and
Merge-and-Shrink Abstraction in Optimal Planning},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1983--1990},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-331},
doi = {10.5591/978-1-57735-516-8/IJCAI11-331},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NissimHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hoffmann11,
author = {J{\"{o}}rg Hoffmann},
editor = {Joscha Bach and
Stefan Edelkamp},
title = {Everything You Always Wanted to Know about Planning - (But Were Afraid
to Ask)},
booktitle = {{KI} 2011: Advances in Artificial Intelligence, 34th Annual German
Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7006},
pages = {1--13},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24455-1\_1},
doi = {10.1007/978-3-642-24455-1\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Hoffmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0243,
author = {Jana Koehler and
J{\"{o}}rg Hoffmann},
title = {On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven
Planning Algorithm},
journal = {CoRR},
volume = {abs/1106.0243},
year = {2011},
url = {http://arxiv.org/abs/1106.0243},
eprinttype = {arXiv},
eprint = {1106.0243},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0675,
author = {J{\"{o}}rg Hoffmann and
Bernhard Nebel},
title = {The {FF} Planning System: Fast Plan Generation Through Heuristic Search},
journal = {CoRR},
volume = {abs/1106.0675},
year = {2011},
url = {http://arxiv.org/abs/1106.0675},
eprinttype = {arXiv},
eprint = {1106.0675},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5271,
author = {J{\"{o}}rg Hoffmann},
title = {The Metric-FF Planning System: Translating "Ignoring Delete Lists"
to Numeric State Variables},
journal = {CoRR},
volume = {abs/1106.5271},
year = {2011},
url = {http://arxiv.org/abs/1106.5271},
eprinttype = {arXiv},
eprint = {1106.5271},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0052,
author = {J{\"{o}}rg Hoffmann and
Julie Porteous and
Laura Sebastia},
title = {Ordered Landmarks in Planning},
journal = {CoRR},
volume = {abs/1107.0052},
year = {2011},
url = {http://arxiv.org/abs/1107.0052},
eprinttype = {arXiv},
eprint = {1107.0052},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5663,
author = {Stefan Edelkamp and
J{\"{o}}rg Hoffmann},
title = {The Deterministic Part of {IPC-4:} An Overview},
journal = {CoRR},
volume = {abs/1109.5663},
year = {2011},
url = {http://arxiv.org/abs/1109.5663},
eprinttype = {arXiv},
eprint = {1109.5663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1016,
author = {Stefan Edelkamp and
Roman Englert and
J{\"{o}}rg Hoffmann and
Frederico dos S. Liporace and
Sylvie Thi{\'{e}}baux and
Sebastian Tr{\"{u}}g},
title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic
Part of {IPC-4}},
journal = {CoRR},
volume = {abs/1110.1016},
year = {2011},
url = {http://arxiv.org/abs/1110.1016},
eprinttype = {arXiv},
eprint = {1110.1016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0044,
author = {Carmel Domshlak and
J{\"{o}}rg Hoffmann},
title = {Probabilistic Planning via Heuristic Forward Search and Weighted Model
Counting},
journal = {CoRR},
volume = {abs/1111.0044},
year = {2011},
url = {http://arxiv.org/abs/1111.0044},
eprinttype = {arXiv},
eprint = {1111.0044},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/WeberHM10,
author = {Ingo Weber and
J{\"{o}}rg Hoffmann and
Jan Mendling},
title = {Beyond soundness: on the verification of semantic business process
models},
journal = {Distributed Parallel Databases},
volume = {27},
number = {3},
pages = {271--343},
year = {2010},
url = {https://doi.org/10.1007/s10619-010-7060-9},
doi = {10.1007/S10619-010-7060-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/WeberHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoffmannWK10,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber and
Frank Michael Kraft},
editor = {Maria Fox and
David Poole},
title = {{SAP} Speaks {PDDL}},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {1096--1101},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7737},
doi = {10.1609/AAAI.V24I1.7737},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoffmannWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KollerH10,
author = {Alexander Koller and
J{\"{o}}rg Hoffmann},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation
with {FF}},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {238--241},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1415},
timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
biburl = {https://dblp.org/rec/conf/aips/KollerH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HoffmannFP10,
author = {J{\"{o}}rg Hoffmann and
Nazim Fat{\`{e}}s and
H{\'{e}}ctor Palacios},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Brothers in Arms? On {AI} Planning and Cellular Automata},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {223--228},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17746},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HoffmannFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/NakhostH010,
author = {Hootan Nakhost and
J{\"{o}}rg Hoffmann and
Martin M{\"{u}}ller},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {Improving Local Search for Resource-Constrained Planning},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {81--82},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18166},
doi = {10.1609/SOCS.V1I1.18166},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/NakhostH010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2010,
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
publisher = {{AAAI}},
year = {2010},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannBHP09,
author = {J{\"{o}}rg Hoffmann and
Piergiorgio Bertoli and
Malte Helmert and
Marco Pistore},
title = {Message-Based Web Service Composition, Integrity Constraints, and
Planning under Uncertainty: {A} New Connection},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {49--117},
year = {2009},
url = {https://doi.org/10.1613/jair.2716},
doi = {10.1613/JAIR.2716},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/HoffmannBHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DomshlakHS09,
author = {Carmel Domshlak and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal},
title = {Friends or Foes? On Planning as Satisfiability and Abstract {CNF}
Encodings},
journal = {J. Artif. Intell. Res.},
volume = {36},
pages = {415--469},
year = {2009},
url = {https://doi.org/10.1613/jair.2817},
doi = {10.1613/JAIR.2817},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DomshlakHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CaiHH09,
author = {Dunbo Cai and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Enhancing the Context-Enhanced Additive Heuristic with Precedence
Constraints},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/694},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/CaiHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/BornHKKMSWZ09,
author = {Matthias Born and
J{\"{o}}rg Hoffmann and
Tomasz Kaczmarek and
Marek Kowalkiewicz and
Ivan Markovic and
James Scicluna and
Ingo Weber and
Xuan Zhou},
editor = {Xiaofang Zhou and
Haruo Yokota and
Ke Deng and
Qing Liu},
title = {Supporting Execution-Level Business Process Modeling with Semantic
Technologies},
booktitle = {Database Systems for Advanced Applications, 14th International Conference,
{DASFAA} 2009, Brisbane, Australia, April 21-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5463},
pages = {759--763},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00887-0\_67},
doi = {10.1007/978-3-642-00887-0\_67},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/BornHKKMSWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/geos/BabitskiBHSSW09,
author = {Grigori Babitski and
Simon Bergweiler and
J{\"{o}}rg Hoffmann and
Daniel Sch{\"{o}}n and
Christoph Stasch and
Alexander C. Walkowski},
editor = {Krzysztof Janowicz and
Martin Raubal and
Sergei Levashkin},
title = {Ontology-Based Integration of Sensor Web Services in Disaster Management},
booktitle = {GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico
City, Mexico, December 3-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5892},
pages = {103--121},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10436-7\_7},
doi = {10.1007/978-3-642-10436-7\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/geos/BabitskiBHSSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BabitskiPHO09,
author = {Grigori Babitski and
Florian Probst and
J{\"{o}}rg Hoffmann and
Daniel Oberle},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Ontology Design for Information Integration in Disaster Management},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {3120--3134},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31319},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BabitskiPHO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/WeberBMHK09,
author = {Ingo Weber and
Alistair Barros and
Norman May and
J{\"{o}}rg Hoffmann and
Tomasz Kaczmarek},
title = {Composing Services for Third-party Service Delivery},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {823--830},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.85},
doi = {10.1109/ICWS.2009.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/WeberBMHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HelmertHH08,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Explicit-State Abstraction: {A} New Method for Generating Heuristic
Functions},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1547--1550},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-259.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HelmertHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GovernatoriHSW08,
author = {Guido Governatori and
J{\"{o}}rg Hoffmann and
Shazia Wasim Sadiq and
Ingo Weber},
editor = {Danilo Ardagna and
Massimo Mecella and
Jian Yang},
title = {Detecting Regulatory Compliance for Business Process Models through
Semantic Annotations},
booktitle = {Business Process Management Workshops, {BPM} 2008 International Workshops,
Milano, Italy, September 1-4, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {17},
pages = {5--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00328-8\_2},
doi = {10.1007/978-3-642-00328-8\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GovernatoriHSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Hoffmann08,
author = {J{\"{o}}rg Hoffmann},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Towards Efficient Belief Update for Planning-Based Web Service Composition},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {558--562},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-558},
doi = {10.3233/978-1-58603-891-5-558},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Hoffmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/WeberHM08,
author = {Ingo Weber and
J{\"{o}}rg Hoffmann and
Jan Mendling},
editor = {Claus Pahl and
Siobh{\'{a}}n Clarke and
Rik Eshuis},
title = {Beyond Soundness: On the Semantic Consistency of Executable Process
Models},
booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November
2008, Dublin, Ireland},
pages = {102--111},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECOWS.2008.32},
doi = {10.1109/ECOWS.2008.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/WeberHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/AndreiBCDFGHKLLMSSTVZZ08,
author = {Mihai Andrei and
Arne{-}J{\o}rgen Berre and
Luis Costa and
Philippe Duchesne and
Daniel Fitzner and
Miha Grcar and
J{\"{o}}rg Hoffmann and
Eva Klien and
Jo{\"{e}}l Langlois and
Andreas Limyr and
Patrick Mau{\'{e}} and
Sven Schade and
Nathalie Steinmetz and
Francois Tertre and
Laurentiu Vasiliu and
Raluca Zaharia and
Nicolas Zastavni},
editor = {Sean Bechhofer and
Manfred Hauswirth and
J{\"{o}}rg Hoffmann and
Manolis Koubarakis},
title = {{SWING:} An Integrated Environment for Geospatial Semantic Web Services},
booktitle = {The Semantic Web: Research and Applications, 5th European Semantic
Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June
1-5, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5021},
pages = {767--771},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68234-9\_55},
doi = {10.1007/978-3-540-68234-9\_55},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/AndreiBCDFGHKLLMSSTVZZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/BornHKKMSWZ08,
author = {Matthias Born and
J{\"{o}}rg Hoffmann and
Tomasz Kaczmarek and
Marek Kowalkiewicz and
Ivan Markovic and
James Scicluna and
Ingo Weber and
Xuan Zhou},
editor = {Sean Bechhofer and
Manfred Hauswirth and
J{\"{o}}rg Hoffmann and
Manolis Koubarakis},
title = {Semantic Annotation and Composition of Business Processes with Maestro},
booktitle = {The Semantic Web: Research and Applications, 5th European Semantic
Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June
1-5, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5021},
pages = {772--776},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68234-9\_56},
doi = {10.1007/978-3-540-68234-9\_56},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/BornHKKMSWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/HoffmannWSKA08,
author = {J{\"{o}}rg Hoffmann and
Ingo Weber and
James Scicluna and
Tomasz Kaczmarek and
Anupriya Ankolekar},
editor = {Daniel Schwabe and
Francisco Curbera and
Paul Dantzig},
title = {Combining Scalability and Expressivity in the Automatic Composition
of Semantic Web Services},
booktitle = {Proceedings of the Eighth International Conference on Web Engineering,
{ICWE} 2008, 14-18 July 2008, Yorktown Heights, New York, {USA}},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWE.2008.8},
doi = {10.1109/ICWE.2008.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/HoffmannWSKA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SirbuH08,
author = {Adina Sirbu and
J{\"{o}}rg Hoffmann},
title = {Towards Scalable Web Service Composition with Partial Matches},
booktitle = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
September 23-26, 2008, Beijing, China},
pages = {29--36},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWS.2008.69},
doi = {10.1109/ICWS.2008.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/SirbuH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/SmausH08,
author = {Jan{-}Georg Smaus and
J{\"{o}}rg Hoffmann},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Relaxation Refinement: {A} New Method to Generate Heuristic Functions},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {147--165},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_10},
doi = {10.1007/978-3-642-00431-5\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/SmausH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KupferschmidHL08,
author = {Sebastian Kupferschmid and
J{\"{o}}rg Hoffmann and
Kim Guldstrand Larsen},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Fast Directed Model Checking Via Russian Doll Abstraction},
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},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_15},
doi = {10.1007/978-3-540-78800-3\_15},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KupferschmidHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2008,
editor = {Sean Bechhofer and
Manfred Hauswirth and
J{\"{o}}rg Hoffmann and
Manolis Koubarakis},
title = {The Semantic Web: Research and Applications, 5th European Semantic
Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June
1-5, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5021},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68234-9},
doi = {10.1007/978-3-540-68234-9},
isbn = {978-3-540-68233-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DomshlakH07,
author = {Carmel Domshlak and
J{\"{o}}rg Hoffmann},
title = {Probabilistic Planning via Heuristic Forward Search and Weighted Model
Counting},
journal = {J. Artif. Intell. Res.},
volume = {30},
pages = {565--620},
year = {2007},
url = {https://doi.org/10.1613/jair.2289},
doi = {10.1613/JAIR.2289},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DomshlakH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HoffmannGS07,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {1},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(1:6)2007},
doi = {10.2168/LMCS-3(1:6)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HoffmannGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/HoffmannSKW07,
author = {J{\"{o}}rg Hoffmann and
James Scicluna and
Tomasz Kaczmarek and
Ingo Weber},
title = {Polynomial-Time Reasoning for Semantic Web Service Composition},
booktitle = {2007 {IEEE} International Conference on Services Computing - Workshops
{(SCW} 2007), 9-13 July 2007, Salt Lake City, Utah, {USA}},
pages = {229--236},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SERVICES.2007.51},
doi = {10.1109/SERVICES.2007.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/HoffmannSKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoffmannBP07,
author = {J{\"{o}}rg Hoffmann and
Piergiorgio Bertoli and
Marco Pistore},
title = {Web Service Composition as Planning, Revisited: In Between Background
Theories and Initial State Uncertainty},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1013--1018},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-161.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoffmannBP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertHH07,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {Flexible Abstraction Heuristics for Optimal Sequential Planning},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {176--183},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-023.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/HelmertHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/SirbuH07,
author = {Adina Sirbu and
J{\"{o}}rg Hoffmann},
editor = {Elena Simperl and
J{\"{o}}rg Diederich and
Guus Schreiber},
title = {Scalable Web Service Composition with Partial Matches},
booktitle = {Proceedings of the {KWEPSY} 2007 Knowledge Web PhD Symposium 2007,
Innsbruck, Austria, June 6, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {275},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-275/paper04.pdf},
timestamp = {Fri, 23 Jun 2023 11:56:12 +0200},
biburl = {https://dblp.org/rec/conf/esws/SirbuH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/WeberHMN07,
author = {Ingo Weber and
J{\"{o}}rg Hoffmann and
Jan Mendling and
J{\"{o}}rg Nitzsche},
editor = {Elisabetta Di Nitto and
Matei Ripeanu},
title = {Towards a Methodology for Semantic Business Process Modeling and Configuration},
booktitle = {Service-Oriented Computing - {ICSOC} 2007 Workshops, International
Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {176--187},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-93851-4\_18},
doi = {10.1007/978-3-540-93851-4\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/WeberHMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BertoliHLP07,
author = {Piergiorgio Bertoli and
J{\"{o}}rg Hoffmann and
Freddy L{\'{e}}cu{\'{e}} and
Marco Pistore},
title = {Integrating Discovery and Automated Composition: from Semantic Requirements
to Executable Code},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {815--822},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.111},
doi = {10.1109/ICWS.2007.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BertoliHLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoffmannGSK07,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {{SAT} Encodings of State-Space Reachability Problems in Numeric Domains},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1918--1923},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/309.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoffmannGSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Manuela M. Veloso},
title = {From Sampling to Model Counting},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2293--2299},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/369.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {Short XORs for Model Counting: From Theory to Practice},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {100--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_13},
doi = {10.1007/978-3-540-72788-0\_13},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GomesHSS07,
author = {Carla P. Gomes and
J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Bart Selman},
editor = {Ruzica Piskac and
Frank van Harmelen and
Ning Zhong},
title = {Sampling and Soundness: Can We Have Both?},
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},
series = {{CEUR} Workshop Proceedings},
volume = {291},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-291/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:07 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/StollbergHH07,
author = {Michael Stollberg and
Martin Hepp and
J{\"{o}}rg Hoffmann},
editor = {Karl Aberer and
Key{-}Sun Choi and
Natasha Fridman Noy and
Dean Allemang and
Kyung{-}Il Lee and
Lyndon J. B. Nixon and
Jennifer Golbeck and
Peter Mika and
Diana Maynard and
Riichiro Mizoguchi and
Guus Schreiber and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {A Caching Mechanism for Semantic Web Service Discovery},
booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
November 11-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4825},
pages = {480--493},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76298-0\_35},
doi = {10.1007/978-3-540-76298-0\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/semweb/StollbergHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KupferschmidDHFDPB07,
author = {Sebastian Kupferschmid and
Klaus Dr{\"{a}}ger and
J{\"{o}}rg Hoffmann and
Bernd Finkbeiner and
Henning Dierks and
Andreas Podelski and
Gerd Behrmann},
editor = {Orna Grumberg and
Michael Huth},
title = {Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking},
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},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {679--682},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_52},
doi = {10.1007/978-3-540-71209-1\_52},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KupferschmidDHFDPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701184,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
journal = {CoRR},
volume = {abs/cs/0701184},
year = {2007},
url = {http://arxiv.org/abs/cs/0701184},
eprinttype = {arXiv},
eprint = {cs/0701184},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HoffmannB06,
author = {J{\"{o}}rg Hoffmann and
Ronen I. Brafman},
title = {Conformant planning via heuristic forward search: {A} new approach},
journal = {Artif. Intell.},
volume = {170},
number = {6-7},
pages = {507--541},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.01.003},
doi = {10.1016/J.ARTINT.2006.01.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HoffmannB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannETELT06,
author = {J{\"{o}}rg Hoffmann and
Stefan Edelkamp and
Sylvie Thi{\'{e}}baux and
Roman Englert and
Frederico dos S. Liporace and
Sebastian Tr{\"{u}}g},
title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic
Part of {IPC-4}},
journal = {J. Artif. Intell. Res.},
volume = {26},
pages = {453--541},
year = {2006},
url = {https://doi.org/10.1613/jair.1982},
doi = {10.1613/JAIR.1982},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannETELT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/000106,
author = {J{\"{o}}rg Hoffmann},
title = {{KI} 2007: Call for Tutorials},
journal = {K{\"{u}}nstliche Intell.},
volume = {20},
number = {4},
pages = {65},
year = {2006},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7750\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1217\&\#38;cHash=14e28cb2d7},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/000106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/DomshlakH06,
author = {Carmel Domshlak and
J{\"{o}}rg Hoffmann},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Fast Probabilistic Planning through Weighted Model Counting},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {243--252},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-025.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/DomshlakH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannGS06,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
SAT-Based Planning},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {284--293},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-029.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HoffmannGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannSD06,
author = {J{\"{o}}rg Hoffmann and
Ashish Sabharwal and
Carmel Domshlak},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Friends or Foes? An {AI} Planning Perspective on Abstraction and Search},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {294--303},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-030.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HoffmannSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/HoffmannSRKP06,
author = {J{\"{o}}rg Hoffmann and
Jan{-}Georg Smaus and
Andrey Rybalchenko and
Sebastian Kupferschmid and
Andreas Podelski},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Using Predicate Abstraction to Generate Heuristic Functions in {UPPAAL}},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {51--66},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_4},
doi = {10.1007/978-3-540-74128-2\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/HoffmannSRKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KupferschmidHDB06,
author = {Sebastian Kupferschmid and
J{\"{o}}rg Hoffmann and
Henning Dierks and
Gerd Behrmann},
editor = {Antti Valmari},
title = {Adapting an {AI} Planning Heuristic for Directed Model Checking},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {35--52},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_3},
doi = {10.1007/11691617\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KupferschmidHDB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimbi/AnicicBBFHHHHKKKLMSTZ06,
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{\"{o}}rg Hoffmann and
Mick Kerrigan and
Jacek Kopeck{\'{y}} and
Reto Krummenacher and
Holger Lausen and
Adrian Mocan and
James Scicluna and
Ioan Toma and
Michal Zaremba},
editor = {Ning Zhong and
Jiming Liu and
Yiyu Yao and
Jing{-}Long Wu and
Shengfu Lu and
Kuncheng Li},
title = {A Semantically Enabled Service Oriented Architecture},
booktitle = {Web Intelligence Meets Brain Informatics, First {WICI} International
Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4845},
pages = {367--381},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77028-2\_22},
doi = {10.1007/978-3-540-77028-2\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/wimbi/AnicicBBFHHHHKKKLMSTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ThiebauxHN05,
author = {Sylvie Thi{\'{e}}baux and
J{\"{o}}rg Hoffmann and
Bernhard Nebel},
title = {In defense of {PDDL} axioms},
journal = {Artif. Intell.},
volume = {168},
number = {1-2},
pages = {38--69},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2005.05.004},
doi = {10.1016/J.ARTINT.2005.05.004},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ThiebauxHN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannE05,
author = {J{\"{o}}rg Hoffmann and
Stefan Edelkamp},
title = {The Deterministic Part of {IPC-4:} An Overview},
journal = {J. Artif. Intell. Res.},
volume = {24},
pages = {519--579},
year = {2005},
url = {https://doi.org/10.1613/jair.1677},
doi = {10.1613/JAIR.1677},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Hoffmann05,
author = {J{\"{o}}rg Hoffmann},
title = {Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning
Benchmarks},
journal = {J. Artif. Intell. Res.},
volume = {24},
pages = {685--758},
year = {2005},
url = {https://doi.org/10.1613/jair.1747},
doi = {10.1613/JAIR.1747},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Hoffmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannB05,
author = {J{\"{o}}rg Hoffmann and
Ronen I. Brafman},
editor = {Susanne Biundo and
Karen L. Myers and
Kanna Rajan},
title = {Contingent Planning via Heuristic Forward Search witn Implicit Belief
States},
booktitle = {Proceedings of the Fifteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey,
California, {USA}},
pages = {71--80},
publisher = {{AAAI}},
year = {2005},
url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-008.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HoffmannB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoffmannK05,
author = {J{\"{o}}rg Hoffmann and
Sebastian Kupferschmid},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {A Covering Problem for Hypercubes},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1523--1524},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0074.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoffmannK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannPS04,
author = {J{\"{o}}rg Hoffmann and
Julie Porteous and
Laura Sebastia},
title = {Ordered Landmarks in Planning},
journal = {J. Artif. Intell. Res.},
volume = {22},
pages = {215--278},
year = {2004},
url = {https://doi.org/10.1613/jair.1492},
doi = {10.1613/JAIR.1492},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Hoffmann04,
author = {J{\"{o}}rg Hoffmann},
title = {Utilizing Problem Structure in Planning: {A} Local Search Approach},
journal = {K{\"{u}}nstliche Intell.},
volume = {18},
number = {2},
pages = {55},
year = {2004},
url = {http://www.kuenstliche-intelligenz.de/Artikel/UtilizingProblemStructureinPlanningALoca.htm},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Hoffmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BrafmanH04,
author = {Ronen I. Brafman and
J{\"{o}}rg Hoffmann},
editor = {Shlomo Zilberstein and
Jana Koehler and
Sven Koenig},
title = {Conformant Planning via Heuristic Forward Search: {A} New Approach},
booktitle = {Proceedings of the Fourteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2004), June 3-7 2004, Whistler, British
Columbia, Canada},
pages = {355--364},
publisher = {{AAAI}},
year = {2004},
url = {http://www.aaai.org/Library/ICAPS/2004/icaps04-042.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BrafmanH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/TrugHN04,
author = {Sebastian Tr{\"{u}}g and
J{\"{o}}rg Hoffmann and
Bernhard Nebel},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {Applying Automatic Planning Systems to Airport Ground-Traffic Control
- {A} Feasibility Study},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {183--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_15},
doi = {10.1007/978-3-540-30221-6\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/TrugHN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BeckerBEFHHHKNPW04,
author = {Bernd Becker and
Markus Behle and
Friedrich Eisenbrand and
Martin Fr{\"{a}}nzle and
Marc Herbstritt and
Christian Herde and
J{\"{o}}rg Hoffmann and
Daniel Kr{\"{o}}ning and
Bernhard Nebel and
Ilia Polian and
Ralf Wimmer},
editor = {Dominik Stoffel and
Wolfgang Kunz},
title = {Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous
Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February
24-25, 2004},
pages = {65--75},
publisher = {Shaker},
year = {2004},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BeckerBEFHHHKNPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Hoffmann03,
author = {J{\"{o}}rg Hoffmann},
title = {Utilizing Problem Structure in Planning, {A} Local Search Approach},
series = {Lecture Notes in Computer Science},
volume = {2854},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b93903},
doi = {10.1007/B93903},
urn = {urn:nbn:de:1111-200407263478},
isbn = {3-540-20259-5},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Hoffmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Hoffmann03,
author = {J{\"{o}}rg Hoffmann},
title = {The Metric-FF Planning System: Translating ''Ignoring Delete Lists''
to Numeric State Variables},
journal = {J. Artif. Intell. Res.},
volume = {20},
pages = {291--341},
year = {2003},
url = {https://doi.org/10.1613/jair.1144},
doi = {10.1613/JAIR.1144},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Hoffmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HoffmannG03,
author = {J{\"{o}}rg Hoffmann and
Hector Geffner},
editor = {Enrico Giunchiglia and
Nicola Muscettola and
Dana S. Nau},
title = {Branching Matters: Alternative Branching in Graphplan},
booktitle = {Proceedings of the Thirteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
pages = {22--31},
publisher = {{AAAI}},
year = {2003},
url = {http://www.aaai.org/Library/ICAPS/2003/icaps03-003.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HoffmannG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThiebauxHN03,
author = {Sylvie Thi{\'{e}}baux and
J{\"{o}}rg Hoffmann and
Bernhard Nebel},
editor = {Georg Gottlob and
Toby Walsh},
title = {In Defense of {PDDL} Axioms},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {961--968},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/139.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ThiebauxHN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Hoffmann02,
author = {J{\"{o}}rg Hoffmann},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Local Search Topology in Planning Benchmarks: {A} Theoretical Analysis},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {92--100},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-010.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Hoffmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Hoffmann02,
author = {J{\"{o}}rg Hoffmann},
editor = {Frank van Harmelen},
title = {Extending {FF} to Numerical State Variables},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {571--575},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Hoffmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Hoffmann02,
author = {J{\"{o}}rg Hoffmann},
editor = {J{\"{u}}rgen Sauer},
title = {Local Search Topology in Planning Benchmarks: {A} Theoretical Analysis},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg,
10./ 11.10.2002},
year = {2002},
url = {http://www.puk-workshop.de/puk2002/papers/hoffmann.pdf},
timestamp = {Fri, 27 Nov 2020 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/puk/Hoffmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Hoffmann01,
author = {J{\"{o}}rg Hoffmann},
title = {{FF:} The Fast-Forward Planning System},
journal = {{AI} Mag.},
volume = {22},
number = {3},
pages = {57--62},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i3.1572},
doi = {10.1609/AIMAG.V22I3.1572},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Hoffmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannN01,
author = {J{\"{o}}rg Hoffmann and
Bernhard Nebel},
title = {The {FF} Planning System: Fast Plan Generation Through Heuristic Search},
journal = {J. Artif. Intell. Res.},
volume = {14},
pages = {253--302},
year = {2001},
url = {https://doi.org/10.1613/jair.855},
doi = {10.1613/JAIR.855},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/RintanenH01,
author = {Jussi Rintanen and
J{\"{o}}rg Hoffmann},
title = {An Overview of Recent Algorithms for {AI} Planning},
journal = {K{\"{u}}nstliche Intell.},
volume = {15},
number = {2},
pages = {5--11},
year = {2001},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/RintanenH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Hoffmann01,
author = {J{\"{o}}rg Hoffmann},
title = {Der zweite internationale Wettbewerb f{\"{u}}r Planungssysteme},
journal = {K{\"{u}}nstliche Intell.},
volume = {15},
number = {2},
pages = {37--38},
year = {2001},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Hoffmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hoffmann01,
author = {J{\"{o}}rg Hoffmann},
editor = {Bernhard Nebel},
title = {Local Search Topology in Planning Benchmarks: An Empirical Analysis},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {453--458},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hoffmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LongKSBGKBHRAWSF00,
author = {Derek Long and
Henry A. Kautz and
Bart Selman and
Blai Bonet and
Hector Geffner and
Jana Koehler and
Michael Brenner and
J{\"{o}}rg Hoffmann and
Frank Rittinger and
Corin R. Anderson and
Daniel S. Weld and
David E. Smith and
Maria Fox},
title = {The {AIPS-98} Planning Competition},
journal = {{AI} Mag.},
volume = {21},
number = {2},
pages = {13--33},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i2.1505},
doi = {10.1609/AIMAG.V21I2.1505},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/LongKSBGKBHRAWSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KoehlerH00,
author = {Jana Koehler and
J{\"{o}}rg Hoffmann},
title = {On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven
Planning Algorithm},
journal = {J. Artif. Intell. Res.},
volume = {12},
pages = {338--386},
year = {2000},
url = {https://doi.org/10.1613/jair.715},
doi = {10.1613/JAIR.715},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KoehlerH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Hoffmann00,
author = {J{\"{o}}rg Hoffmann},
editor = {Zbigniew W. Ras and
Setsuo Ohsuga},
title = {A Heuristic for Domain Independent Planning and Its Use in an Enforced
Hill-Climbing Algorithm},
booktitle = {Foundations of Intelligent Systems, 12th International Symposium,
{ISMIS} 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1932},
pages = {216--227},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39963-1\_23},
doi = {10.1007/3-540-39963-1\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Hoffmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Hoffmann00,
author = {J{\"{o}}rg Hoffmann},
title = {A Heuristic for Domain Independent Planning and its Use in an Enforced
Hill-climbing Algorithm},
booktitle = {Proceedings of the 14th Workshop "New Results in Planning, Scheduling
and Design" (PuK2000), Berlin, 21-22 August 2000},
year = {2000},
url = {http://www.puk-workshop.de/puk2000/papers/hoffmann.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/puk/Hoffmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/KohlerH00,
author = {Jana Koehler and
J{\"{o}}rg Hoffmann},
title = {On the Instantiation of {ADL} Operators Involving Arbitrary First-Order
Formulas},
booktitle = {Proceedings of the 14th Workshop "New Results in Planning, Scheduling
and Design" (PuK2000), Berlin, 21-22 August 2000},
year = {2000},
url = {http://www.puk-workshop.de/puk2000/papers/koehler.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/puk/KohlerH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoffmannK99,
author = {J{\"{o}}rg Hoffmann and
Jana Koehler},
editor = {Thomas Dean},
title = {A New Method to Index and Query Sets},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {462--467},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/067.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoffmannK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/KohlerH99,
author = {Jana Koehler and
J{\"{o}}rg Hoffmann},
title = {Planen mit Zielagendas},
booktitle = {Proceedings PuK 99, 13. Workshop "Planen und Konfigurieren", Jahrestreffen
der Fachgruppe 1.5.3 der Gesellschaft f{\"{u}}r Informatik, vom
3.-5. M{\"{a}}rz 1999, im Rahmen der 5. Tagung "Expertensysteme"
an der Universit{\"{a}}t W{\"{u}}rzburg},
year = {1999},
url = {http://www.informatik.uni-freiburg.de/\%7Ekoehler/puk99-papers/koehler-hoffman.ps.gz},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/puk/KohlerH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/KoehlerNHD97,
author = {Jana Koehler and
Bernhard Nebel and
J{\"{o}}rg Hoffmann and
Yannis Dimopoulos},
editor = {Sam Steel and
Rachid Alami},
title = {Extending Planning Graphs to an {ADL} Subset},
booktitle = {Recent Advances in {AI} Planning, 4th European Conference on Planning,
ECP'97, Toulouse, France, September 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1348},
pages = {273--285},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63912-8\_92},
doi = {10.1007/3-540-63912-8\_92},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ecp/KoehlerNHD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
