| 2009 |
|---|
| 65 | EE | 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 |
| 2008 |
|---|
| 64 | | Sean Bechhofer,
Manfred Hauswirth,
Jörg Hoffmann,
Manolis Koubarakis:
The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings
Springer 2008 |
| 63 | | Malte Helmert,
Patrik Haslum,
Jörg Hoffmann:
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
AAAI 2008: 1547-1550 |
| 62 | EE | Jörg Hoffmann:
Towards Efficient Belief Update for Planning-Based Web Service Composition.
ECAI 2008: 558-562 |
| 61 | EE | Mihai Andrei,
Arne-Jørgen Berre,
Luis Costa,
Philippe Duchesne,
Daniel Fitzner,
Miha Grcar,
Jörg Hoffmann,
Eva Klien,
Joel 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 |
| 60 | EE | 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 |
| 59 | EE | Jörg Hoffmann,
Ingo Weber,
James Scicluna,
Tomasz Kaczmarek,
Anupriya Ankolekar:
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.
ICWE 2008: 98-107 |
| 58 | EE | Adina Sirbu,
Jörg Hoffmann:
Towards Scalable Web Service Composition with Partial Matches.
ICWS 2008: 29-36 |
| 57 | EE | Jan-Georg Smaus,
Jörg Hoffmann:
Relaxation Refinement: A New Method to Generate Heuristic Functions.
MoChArt 2008: 147-165 |
| 56 | EE | Sebastian Kupferschmid,
Jörg Hoffmann,
Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS 2008: 203-217 |
| 2007 |
|---|
| 55 | | Jörg Hoffmann,
Piergiorgio Bertoli,
Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
AAAI 2007: 1013-1018 |
| 54 | | Malte Helmert,
Patrik Haslum,
Jörg Hoffmann:
Flexible Abstraction Heuristics for Optimal Sequential Planning.
ICAPS 2007: 176-183 |
| 53 | EE | Ingo Weber,
Jörg Hoffmann,
Jan Mendling,
Jörg Nitzsche:
Towards a Methodology for Semantic Business Process Modeling and Configuration.
ICSOC Workshops 2007: 176-187 |
| 52 | EE | Piergiorgio Bertoli,
Jörg Hoffmann,
Freddy Lécué,
Marco Pistore:
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
ICWS 2007: 815-822 |
| 51 | EE | Jörg Hoffmann,
James Scicluna,
Tomasz Kaczmarek,
Ingo Weber:
Polynomial-Time Reasoning for Semantic Web Service Composition.
IEEE SCW 2007: 229-236 |
| 50 | EE | Jörg Hoffmann,
Carla P. Gomes,
Bart Selman,
Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains.
IJCAI 2007: 1918-1923 |
| 49 | EE | Carla P. Gomes,
Jörg Hoffmann,
Ashish Sabharwal,
Bart Selman:
From Sampling to Model Counting.
IJCAI 2007: 2293-2299 |
| 48 | EE | Michael Stollberg,
Martin Hepp,
Jörg Hoffmann:
A Caching Mechanism for Semantic Web Service Discovery.
ISWC/ASWC 2007: 480-493 |
| 47 | EE | Adina Sirbu,
Jörg Hoffmann:
Scalable Web Service Composition with Partial Matches.
KWEPSY 2007 |
| 46 | EE | Carla P. Gomes,
Jörg Hoffmann,
Ashish Sabharwal,
Bart Selman:
Sampling and Soundness: Can We Have Both?
New Forms of Reasoning for the Semantic Web 2007 |
| 45 | EE | Carla P. Gomes,
Jörg Hoffmann,
Ashish Sabharwal,
Bart Selman:
Short XORs for Model Counting: From Theory to Practice.
SAT 2007: 100-106 |
| 44 | EE | Sebastian Kupferschmid,
Klaus Dräger,
Jörg Hoffmann,
Bernd Finkbeiner,
Henning Dierks,
Andreas Podelski,
Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS 2007: 679-682 |
| 43 | EE | Jörg Hoffmann,
Carla P. Gomes,
Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning
CoRR abs/cs/0701184: (2007) |
| 42 | | Carmel Domshlak,
Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.
J. Artif. Intell. Res. (JAIR) 30: 565-620 (2007) |
| 41 | EE | Jörg Hoffmann,
Carla P. Gomes,
Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Logical Methods in Computer Science 3(1): (2007) |
| 2006 |
|---|
| 40 | EE | Joachim Kiesel,
Jörg Hoffmann,
Gerd Lutze,
Karl-Otto Wenkel:
Methoden der räumlichen Generalisierung und Disaggregation im Kontext der GIS-gestützten explorativen Landschaftsanalyse.
GIL Jahrestagung 2006: 121-124 |
| 39 | | Carmel Domshlak,
Jörg Hoffmann:
Fast Probabilistic Planning through Weighted Model Counting.
ICAPS 2006: 243-252 |
| 38 | | Jörg Hoffmann,
Carla P. Gomes,
Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
ICAPS 2006: 284-293 |
| 37 | | Jörg Hoffmann,
Ashish Sabharwal,
Carmel Domshlak:
Friends or Foes? An AI Planning Perspective on Abstraction and Search.
ICAPS 2006: 294-303 |
| 36 | EE | Jörg Hoffmann,
Jan-Georg Smaus,
Andrey Rybalchenko,
Sebastian Kupferschmid,
Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
MoChArt 2006: 51-66 |
| 35 | EE | Sebastian Kupferschmid,
Jörg Hoffmann,
Henning Dierks,
Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN 2006: 35-52 |
| 34 | EE | Darko Anicic,
Michael L. Brodie,
Jos de Bruijn,
Dieter Fensel,
Thomas Haselwanter,
Martin Hepp,
Stijn Heymans,
Jörg Hoffmann,
Mick Kerrigan,
Jacek Kopecký,
Reto Krummenacher,
Holger Lausen,
Adrian Mocan,
James Scicluna,
Ioan Toma,
Michal Zaremba:
A Semantically Enabled Service Oriented Architecture.
WImBI 2006: 367-381 |
| 33 | EE | Jörg Hoffmann,
Ronen I. Brafman:
Conformant planning via heuristic forward search: A new approach.
Artif. Intell. 170(6-7): 507-541 (2006) |
| 32 | EE | Jörg Hoffmann,
Stefan Edelkamp,
Sylvie Thiébaux,
Roman Englert,
Frederico dos S. Liporace,
Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res. (JAIR) 26: 453-541 (2006) |
| 2005 |
|---|
| 31 | | Jörg Hoffmann,
Ronen I. Brafman:
Contingent Planning via Heuristic Forward Search witn Implicit Belief States.
ICAPS 2005: 71-80 |
| 30 | EE | Jörg Hoffmann,
Sebastian Kupferschmid:
A Covering Problem for Hypercubes.
IJCAI 2005: 1523-1524 |
| 29 | | Bernd Fröhlich,
Roland Blach,
Oliver Stefani,
Jan Hochstrate,
Jörg Hoffmann,
Karsten Klüger,
Matthias Bues:
Implementing Multi-Viewer Stereo Displays.
WSCG (Full Papers) 2005: 139-146 |
| 28 | EE | Sylvie Thiébaux,
Jörg Hoffmann,
Bernhard Nebel:
In defense of PDDL axioms.
Artif. Intell. 168(1-2): 38-69 (2005) |
| 27 | EE | Jörg Hoffmann,
Stefan Edelkamp:
The Deterministic Part of IPC-4: An Overview.
J. Artif. Intell. Res. (JAIR) 24: 519-579 (2005) |
| 26 | EE | Jörg Hoffmann:
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.
J. Artif. Intell. Res. (JAIR) 24: 685-758 (2005) |
| 2004 |
|---|
| 25 | | Ronen I. Brafman,
Jörg Hoffmann:
Conformant Planning via Heuristic Forward Search: A New Approach.
ICAPS 2004: 355-364 |
| 24 | EE | Sebastian Trüg,
Jörg Hoffmann,
Bernhard Nebel:
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
KI 2004: 183-197 |
| 23 | EE | Jörg Hoffmann,
Julie Porteous,
Laura Sebastia:
Ordered Landmarks in Planning.
J. Artif. Intell. Res. (JAIR) 22: 215-278 (2004) |
| 22 | EE | Jörg Hoffmann:
Utilizing Problem Structure in Planning: A Local Search Approach.
KI 18(2): 55- (2004) |
| 2003 |
|---|
| 21 | | Jörg Hoffmann:
Utilizing Problem Structure in Planning, A Local Search Approach
Springer 2003 |
| 20 | EE | Andreas Emmerling,
Kristian Hildebrand,
Jörg Hoffmann,
Przemyslaw Musialski,
Grit Thürmer:
A System for Modelling in Three-Dimensional Discrete Space.
DGCI 2003: 534-543 |
| 19 | | Jörg Hoffmann,
Hector Geffner:
Branching Matters: Alternative Branching in Graphplan.
ICAPS 2003: 22-31 |
| 18 | | Sylvie Thiébaux,
Jörg Hoffmann,
Bernhard Nebel:
In Defense of PDDL Axioms.
IJCAI 2003: 961-968 |
| 17 | EE | Jörg Hoffmann:
The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables.
J. Artif. Intell. Res. (JAIR) 20: 291-341 (2003) |
| 2002 |
|---|
| 16 | | Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
AIPS 2002: 92-100 |
| 15 | | Jörg Hoffmann:
Extending FF to Numerical State Variables.
ECAI 2002: 571-575 |
| 14 | EE | Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
PuK 2002 |
| 2001 |
|---|
| 13 | | Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: An Empirical Analysis.
IJCAI 2001: 453-458 |
| 12 | | Jörg Hoffmann:
FF: The Fast-Forward Planning System.
AI Magazine 22(3): 57-62 (2001) |
| 11 | EE | Jörg Hoffmann,
Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search.
J. Artif. Intell. Res. (JAIR) 14: 253-302 (2001) |
| 10 | | Jörg Hoffmann:
Der zweite internationale Wettbewerb für Planungssysteme.
KI 15(2): 37-38 (2001) |
| 9 | | Jussi Rintanen,
Jörg Hoffmann:
An Overview of Recent Algorithms for AI Planning.
KI 15(2): 5-11 (2001) |
| 2000 |
|---|
| 8 | EE | Jörg Hoffmann:
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.
ISMIS 2000: 216-227 |
| 7 | EE | Jörg Hoffmann:
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
PuK 2000 |
| 6 | EE | Jana Koehler,
Jörg Hoffmann:
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
PuK 2000 |
| 5 | | Derek Long,
Henry A. Kautz,
Bart Selman,
Blai Bonet,
Hector Geffner,
Jana Koehler,
Michael Brenner,
Jörg Hoffmann,
Frank Rittinger,
Corin R. Anderson,
Daniel S. Weld,
David E. Smith,
Maria Fox:
The AIPS-98 Planning Competition.
AI Magazine 21(2): 13-33 (2000) |
| 4 | EE | Jana Koehler,
Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
J. Artif. Intell. Res. (JAIR) 12: 338-386 (2000) |
| 1999 |
|---|
| 3 | | Jörg Hoffmann,
Jana Koehler:
A New Method to Index and Query Sets.
IJCAI 1999: 462-467 |
| 2 | EE | Jana Koehler,
Jörg Hoffmann:
Planen mit Zielagendas.
PuK 1999 |
| 1997 |
|---|
| 1 | | Jana Koehler,
Bernhard Nebel,
Jörg Hoffmann,
Yannis Dimopoulos:
Extending Planning Graphs to an ADL Subset.
ECP 1997: 273-285 |
