Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJörg Hoffmann 0001
Person information
- affiliation (since 2012): Saarland University, Department of Computer Science, Saarbrücken, Germany
- affiliation (since 2009): INRIA, Nancy, France
- affiliation (since 2008): SAP Research Karlsruhe, Germany
- affiliation (former): University of Innsbruck, Semantic Technology Institute, Austria
- affiliation (2006): Cornell University, Ithaca, NY, USA
- affiliation (2004 - 2006): Max Planck Institute for Computer Science, Saarbrücken, Germany
- affiliation (PhD 2002): University of Freiburg, Department of Computer Science, Germany
Other persons with the same name
- Jörg Hoffmann — disambiguation page
- Jörg Hoffmann 0002 — Bauhaus University Weimar, Faculty of Media, Germany
- Jörg Hoffmann 0003 — Kaiserslautern University of Technology, Germany
- Jörg Hoffmann 0004 — German Federal Research Institute for Agriculture, Braunschweig, Germany
- Jörg Hoffmann 0005 — University of Bonn, Germany
- Jörg Hoffmann 0006
![[0000-0003-4493-094X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-4493-094X")
— RWTH Aachen University, Germany - Jörg Hoffmann 0007 — Julius Kühn-Institut - Federal Research Centre for Cultivated Plants, Quedlinburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j37]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68: 247-310 (2020)- [c121]Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz:
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI 2020: 9818-9826 - [c120]Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Jörg Hoffmann, Marek Petrik:
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search. AAAI 2020: 9827-9834 - [c119]Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020: 13569-13575 - [c118]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. COLING 2020: 2802-2813 - [c117]Patrick Ferber, Malte Helmert, Jörg Hoffmann:
Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. ECAI 2020: 2346-2353 - [c116]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Deep Statistical Model Checking. FORTE 2020: 96-114 - [c115]Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann:
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI 2020: 4091-4097 - [c114]Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach:
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) 2020: 416-439 - [c113]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST 2020: 11-17 - [c112]Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller:
MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. SIGdial 2020: 53-56 - [c111]Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann:
Applying Monte-Carlo Tree Search in HTN Planning. SOCS 2020: 82-90 - [c110]Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90 - [e4]J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, Shirin Sohrabi:
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press 2020, ISBN 978-1-57735-824-4 [contents] - [i20]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR abs/2008.00766 (2020) - [i19]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. CoRR abs/2010.03982 (2020) - [i18]Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann:
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR abs/2010.10967 (2020) - [i17]Rebecca Eifler, Jörg Hoffmann:
Iterative Planning with Plan-Space Explanations: A Tool and User Study. CoRR abs/2011.09705 (2020)
2010 – 2019
- 2019
- [j36]Dorin Shmaryahu, Guy Shani, Jörg Hoffmann:
Comparative criteria for partially observable contingent planning. Auton. Agents Multi Agent Syst. 33(5): 481-517 (2019) - [j35]Daniel Gnad, Jörg Hoffmann, Martin Wehrle:
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65: 343-392 (2019) - [c109]Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann, Marek Petrik:
Real-Time Planning as Decision-Making under Uncertainty. AAAI 2019: 2338-2345 - [c108]Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann, Wheeler Ruml:
Refining Abstraction Heuristics during Real-Time Planning. AAAI 2019: 7578-7585 - [c107]Daniel Gnad, Jörg Hoffmann:
On the Relation between Star-Topology Decoupling and Petri Net Unfolding. ICAPS 2019: 172-180 - [c106]Frederik Schmitt, Daniel Gnad, Jörg Hoffmann:
Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS 2019: 377-381 - [c105]Dorin Shmaryahu, Jörg Hoffmann, Guy Shani:
Comparative Criteria for Partially Observable Contingent Planning. AAMAS 2019: 1740-1742 - [c104]Jörg Hoffmann, Daniele Magazzeni:
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). Reasoning Web 2019: 277-282 - [c103]Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann:
Towards automated network mitigation analysis. SAC 2019: 1971-1978 - 2018
- [j34]Daniel Gnad, Jörg Hoffmann:
Star-topology decoupled state space search. Artif. Intell. 257: 24-60 (2018) - [c102]Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann:
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI 2018: 6286-6293 - [c101]Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018: 150-154 - [c100]Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz:
Simulated Penetration Testing as Contingent Planning. ICAPS 2018: 241-249 - [c99]Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann:
On Stubborn Sets and Planning with Resources. ICAPS 2018: 288-297 - [c98]Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes:
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P 2018: 77-91 - [c97]Maximilian Fickert, Daniel Gnad, Jörg Hoffmann:
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. IJCAI 2018: 4750-4756 - [c96]Marcel Steinmetz, Jörg Hoffmann:
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. IJCAI 2018: 4837-4843 - [c95]Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. SPIN 2018: 103-114 - [r2]Jörg Hoffmann, Ingo Weber:
Web Service Composition. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [j33]Marcel Steinmetz, Jörg Hoffmann:
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Artif. Intell. 245: 1-37 (2017) - [c94]Maximilian Fickert, Jörg Hoffmann:
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement. ICAPS 2017: 107-115 - [c93]Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann:
Symmetry Breaking in Star-Topology Decoupled Search. ICAPS 2017: 125-134 - [c92]Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini:
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS 2017: 269-273 - [c91]Marcel Steinmetz, Jörg Hoffmann:
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. ICAPS 2017: 283-287 - [c90]Daniel Gnad, Valerie Poser, Jörg Hoffmann:
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. IJCAI 2017: 4310-4316 - [c89]Marcel Steinmetz, Jörg Hoffmann:
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. IJCAI 2017: 4398-4404 - [c88]Maximilian Fickert, Jörg Hoffmann:
Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. SOCS 2017: 38-46 - [c87]Daniel Gnad, Álvaro Torralba, Jörg Hoffmann:
Symbolic Leaf Representation in Decoupled Search. SOCS 2017: 124-128 - [i16]Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz:
Simulated Penetration Testing and Mitigation Analysis. CoRR abs/1705.05088 (2017) - 2016
- [j32]Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz:
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. J. Artif. Intell. Res. 56: 269-327 (2016) - [j31]Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet:
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. J. Artif. Intell. Res. 57: 229-271 (2016) - [j30]Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba:
Search Challenges in Natural Language Generation with Complex Optimization Objectives. Künstliche Intell. 30(1): 63-69 (2016) - [c86]Marcel Steinmetz, Jörg Hoffmann:
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. AAAI 2016: 760-768 - [c85]Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber:
Practical Undoability Checking via Contingent Planning. ICAPS 2016: 106-114 - [c84]Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet:
Revisiting Goal Probability Analysis in Probabilistic Planning. ICAPS 2016: 299-307 - [c83]Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg:
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING 2016: 1524-1534 - [c82]Daniel Gnad, Martin Wehrle, Jörg Hoffmann:
Decoupled Strong Stubborn Sets. IJCAI 2016: 3110-3116 - [c81]Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann:
On State-Dominance Criteria in Fork-Decoupled Search. IJCAI 2016: 3265-3271 - [c80]Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini:
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS 2016: 45-53 - 2015
- [j29]Carmel Domshlak, Jörg Hoffmann, Michael Katz:
Red-black planning: A new systematic approach to partial delete relaxation. Artif. Intell. 221: 73-114 (2015) - [c79]Daniel Gnad, Jörg Hoffmann:
Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search. ICAPS 2015: 88-96 - [c78]Jörg Hoffmann, Maximilian Fickert:
Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time. ICAPS 2015: 115-119 - [c77]Jörg Hoffmann, Alan Fern:
Journal Track Paper Abstracts. ICAPS 2015: 357-358 - [c76]Jörg Hoffmann:
Simulated Penetration Testing: From "Dijkstra" to "Turing Test++". ICAPS 2015: 364-372 - [c75]Álvaro Torralba, Jörg Hoffmann:
Simulation-Based Admissible Dominance Pruning. IJCAI 2015: 1689-1695 - [c74]Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau:
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. POST 2015: 344-363 - [c73]Daniel Gnad, Jörg Hoffmann:
Red-Black Planning: A New Tractability Analysis and Heuristic Function. SOCS 2015: 44-52 - [c72]Daniel Gnad, Jörg Hoffmann, Carmel Domshlak:
From Fork Decoupling to Star-Topology Decoupling. SOCS 2015: 53-61 - [i15]Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau:
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law. CoRR abs/1501.03353 (2015) - 2014
- [j28]Malte Helmert, Patrik Haslum, Jörg Hoffmann, Raz Nissim:
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces. J. ACM 61(3): 16:1-16:63 (2014) - [j27]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions. J. Artif. Intell. Res. 50: 487-533 (2014) - [j26]Peter Kissmann, Jörg Hoffmann:
BDD Ordering Heuristics for Classical Planning. J. Artif. Intell. Res. 51: 779-804 (2014) - [c71]Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann:
Optimizing Planning Domains by Automatic Action Schema Splitting. ICAPS 2014 - [c70]Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown:
Improved Features for Runtime Prediction of Domain-Independent Planners. ICAPS 2014 - [c69]Jörg Hoffmann, Peter Kissmann, Álvaro Torralba:
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. ECAI 2014: 441-446 - [c68]Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern:
Learning Pruning Rules for Heuristic Search Planning. ECAI 2014: 483-488 - [r1]Jörg Hoffmann, Ingo Weber:
Web Service Composition. Encyclopedia of Social Network Analysis and Mining 2014: 2389-2399 - [i14]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR abs/1401.3470 (2014) - [i13]Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. CoRR abs/1401.3890 (2014) - [i12]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. CoRR abs/1401.5858 (2014) - 2013
- [c67]Michael Katz, Jörg Hoffmann, Carmel Domshlak:
Red-Black Relaxed Plan Heuristics. AAAI 2013 - [c66]Michael Katz, Jörg Hoffmann, Carmel Domshlak:
Who Said We Need to Relax All Variables? ICAPS 2013 - [c65]Peter Kissmann, Jörg Hoffmann:
What's in It for My BDD? On Causal Graphs and Variable Orders in Planning. ICAPS 2013 - [c64]Thorsten Rauber, Peter Kissmann, Jörg Hoffmann:
Translating Single-Player GDL into PDDL. KI 2013: 188-199 - [c63]Michael Katz, Jörg Hoffmann:
Red-Black Relaxed Plan Heuristics Reloaded. SOCS 2013 - [i11]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Penetration Testing == POMDP Solving? CoRR abs/1306.4714 (2013) - [i10]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration. CoRR abs/1307.7809 (2013) - [i9]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. CoRR abs/1307.8182 (2013) - 2012
- [j25]Jörg Hoffmann, Ingo Weber, Guido Governatori:
On compliance checking for clausal constraints in annotated process models. Inf. Syst. Frontiers 14(2): 155-177 (2012) - [j24]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. J. Artif. Intell. Res. 44: 587-632 (2012) - [c62]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Semi-Relaxed Plan Heuristics. AAAI 2012 - [c61]Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. AAAI 2012 - [c60]Michael Katz, Jörg Hoffmann, Malte Helmert:
How to Relax a Bisimulation? ICAPS 2012 - [c59]Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum:
Semi-Relaxed Plan Heuristics. ICAPS 2012 - [c58]Hootan Nakhost, Jörg Hoffmann, Martin Müller:
Resource-Constrained Planning: A Monte Carlo Random Walk Approach. ICAPS 2012 - [p1]Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber:
Semantic Web Services Fundamentals. Handbook of Service Description 2012: 135-158 - [e3]Jörg Hoffmann, Bart Selman:
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012 [contents] - 2011
- [j23]Daniel Fitzner, Jörg Hoffmann, Eva Klien:
Functional description of geoprocessing services as conjunctive datalog queries. GeoInformatica 15(1): 191-221 (2011) - [j22]Michael Stollberg, Jörg Hoffmann, Dieter Fensel:
A Caching Technique for Optimizing Automated Service Discovery. Int. J. Semantic Comput. 5(1): 1-31 (2011) - [j21]Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. J. Artif. Intell. Res. 41: 155-229 (2011) - [c57]Jörg Hoffmann:
Where Ignoring Delete Lists Works, Part II: Causal Graphs. ICAPS 2011 - [c56]Raz Nissim, Jörg Hoffmann, Malte Helmert:
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. IJCAI 2011: 1983-1990 - [c55]Jörg Hoffmann:
Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). KI 2011: 1-13 - [i8]Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. CoRR abs/1106.0243 (2011) - [i7]Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. CoRR abs/1106.0675 (2011) - [i6]Jörg Hoffmann:
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. CoRR abs/1106.5271 (2011) - [i5]Jörg Hoffmann, Julie Porteous, Laura Sebastia:
Ordered Landmarks in Planning. CoRR abs/1107.0052 (2011) - [i4]Stefan Edelkamp, Jörg Hoffmann:
The Deterministic Part of IPC-4: An Overview. CoRR abs/1109.5663 (2011) - [i3]Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. CoRR abs/1110.1016 (2011) - [i2]Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. CoRR abs/1111.0044 (2011) - 2010
- [j20]Ingo Weber, Jörg Hoffmann, Jan Mendling:
Beyond soundness: on the verification of semantic business process models. Distributed Parallel Databases 27(3): 271-343 (2010) - [c54]Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL. AAAI 2010 - [c53]Alexander Koller, Jörg Hoffmann:
Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF. ICAPS 2010: 238-241 - [c52]Jörg Hoffmann, Nazim Fatès, Héctor Palacios:
Brothers in Arms? On AI Planning and Cellular Automata. ECAI 2010: 223-228 - [c51]Hootan Nakhost, Jörg Hoffmann, Martin Müller:
Improving Local Search for Resource-Constrained Planning. SOCS 2010 - [e2]Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz:
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. AAAI 2010 [contents]
2000 – 2009
- 2009
- [j19]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. 35: 49-117 (2009) - [j18]Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal:
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. J. Artif. Intell. Res. 36: 415-469 (2009) - [c50]Dunbo Cai, Jörg Hoffmann, Malte Helmert:
Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints. ICAPS 2009 - [c49]Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou:
Supporting Execution-Level Business Process Modeling with Semantic Technologies. DASFAA 2009: 759-763 - [c48]Grigori Babitski, Simon Bergweiler, Jörg Hoffmann, Daniel Schön, Christoph Stasch, Alexander C. Walkowski:
Ontology-Based Integration of Sensor Web Services in Disaster Management. GeoS 2009: 103-121 - [c47]Grigori Babitski, Florian Probst, Jörg Hoffmann, Daniel Oberle:
Ontology Design for Information Integration in Disaster Management. GI Jahrestagung 2009: 3120-3134 - [c46]Ingo Weber, Alistair P. Barros, Norman May, Jörg Hoffmann, Tomasz Kaczmarek:
Composing Services for Third-party Service Delivery. ICWS 2009: 823-830 - 2008
- [c45]Malte Helmert, Patrik Haslum, Jörg Hoffmann:
Explicit-State Abstraction: A New Method for Generating Heuristic Functions. AAAI 2008: 1547-1550 - [c44]Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber:
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. Business Process Management Workshops 2008: 5-17 - [c43]Jörg Hoffmann:
Towards Efficient Belief Update for Planning-Based Web Service Composition. ECAI 2008: 558-562 - [c42]Ingo Weber, Jörg Hoffmann, Jan Mendling:
Beyond Soundness: On the Semantic Consistency of Executable Process Models. ECOWS 2008: 102-111 - [c41]Mihai Andrei, Arne-Jørgen Berre, Luis Costa, Philippe Duchesne, Daniel Fitzner, Miha Grcar, Jörg Hoffmann, Eva Klien, Joël Langlois, Andreas Limyr, Patrick Maué, Sven Schade, Nathalie Steinmetz, Francois Tertre, Laurentiu Vasiliu, Raluca Zaharia, Nicolas Zastavni:
SWING: An Integrated Environment for Geospatial Semantic Web Services. ESWC 2008: 767-771 - [c40]Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou:
Semantic Annotation and Composition of Business Processes with Maestro. ESWC 2008: 772-776