Jörg Hoffmann
Orcid: 0000-0003-1590-5876Affiliations:
- Saarland University, Department of Computer Science, Saarbrücken, Germany (since 2012)
- INRIA, Nancy, France (since 2009)
- SAP Research Karlsruhe, Germany (since 2008)
- University of Innsbruck, Semantic Technology Institute, Austria (former)
- Cornell University, Ithaca, NY, USA (2006)
- Max Planck Institute for Computer Science, Saarbrücken, Germany (2004 - 2006)
- University of Freiburg, Department of Computer Science, Germany (PhD 2002)
According to our database1,
Jörg Hoffmann
authored at least 215 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
2023
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.
ACM Trans. Model. Comput. Simul., October, 2023
Int. J. Softw. Tools Technol. Transf., June, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies".
Dataset, June, 2022
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies".
Dataset, June, 2022
Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents.
Dataset, May, 2022
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning.
J. Artif. Intell. Res., 2022
CoRR, 2022
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022
Proceedings of the 26th International Conference Information Visualisation, 2022
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Dataset, November, 2021
Dataset, November, 2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.
Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.
J. Artif. Intell. Res., 2020
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version.
CoRR, 2020
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020
Proceedings of the 21th Annual Meeting of the Special Interest Group on Discourse and Dialogue, 2020
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the 28th International Conference on Computational Linguistics, 2020
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
J. Artif. Intell. Res., 2019
Auton. Agents Multi Agent Syst., 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract).
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning.
Artif. Intell., 2017
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
2016
Search Challenges in Natural Language Generation with Complex Optimization Objectives.
Künstliche Intell., 2016
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.
J. Artif. Intell. Res., 2016
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.
J. Artif. Intell. Res., 2016
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the COLING 2016, 2016
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Artif. Intell., 2015
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
Explicit Conjunctions without Compilation: Computing h<sup>FF</sup>(Pi<sup>C</sup>) in Polynomial Time.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
2014
J. Artif. Intell. Res., 2014
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces.
J. ACM, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
2013
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration.
CoRR, 2013
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.
J. Artif. Intell. Res., 2012
Inf. Syst. Frontiers, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Handbook of Service Description - USDL and Its Methods, 2012
2011
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+.
J. Artif. Intell. Res., 2011
Int. J. Semantic Comput., 2011
GeoInformatica, 2011
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.
Proceedings of the IJCAI 2011, 2011
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
2010
Distributed Parallel Databases, 2010
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
J. Artif. Intell. Res., 2009
J. Artif. Intell. Res., 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
Proceedings of the GeoSpatial Semantics, Third International Conference, 2009
Proceedings of the Database Systems for Advanced Applications, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.
Proceedings of the Eighth International Conference on Web Engineering, 2008
Proceedings of the Semantic Web: Research and Applications, 2008
Proceedings of the Semantic Web: Research and Applications, 2008
Proceedings of the ECOWS 2008, 2008
Proceedings of the ECAI 2008, 2008
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
Proceedings of the Business Process Management Workshops, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Log. Methods Comput. Sci., 2007
J. Artif. Intell. Res., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Semantic Web, 2007
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the IJCAI 2007, 2007
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007
2006
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res., 2006
Artif. Intell., 2006
Proceedings of the Web Intelligence Meets Brain Informatics, 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
2005
J. Artif. Intell. Res., 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
2004
Künstliche Intell., 2004
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
2003
The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables.
J. Artif. Intell. Res., 2003
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003
Lecture Notes in Computer Science 2854, Springer, ISBN: 3-540-20259-5, 2003
2002
Proceedings of the Proceedings Workshop Planen und Konfigurieren (PuK-2002), 2002
Extending FF to Numerical State Variables.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
An Overview of Recent Algorithms for AI Planning.
Künstliche Intell., 2001
Der zweite internationale Wettbewerb für Planungssysteme.
Künstliche Intell., 2001
J. Artif. Intell. Res., 2001
Local Search Topology in Planning Benchmarks: An Empirical Analysis.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
J. Artif. Intell. Res., 2000
Proceedings of the 14th Workshop "New Results in Planning, 2000
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.
Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
1997
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997