dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jörg Hoffmann (Selection)

INRIA Nancy / University Freiburg / Max Planck Institute for Computer Science

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Bart Selman: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Sarraute, Olivier Buffet, Jörg Hoffmann: POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. AAAI 2012
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Ragip Keyder, Jörg Hoffmann, Patrik Haslum: Semi-Relaxed Plan Heuristics. AAAI 2012
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Katz, Jörg Hoffmann, Malte Helmert: How to Relax a Bisimulation? ICAPS 2012
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHootan Nakhost, Jörg Hoffmann, Martin Müller: Resource-Constrained Planning: A Monte Carlo Random Walk Approach. ICAPS 2012
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Ragip Keyder, Jörg Hoffmann, Patrik Haslum: Semi-Relaxed Plan Heuristics. ICAPS 2012
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ingo Weber, Guido Governatori: On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers 14(2): 155-177 (2012)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaz 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). KI 2011: 1-13
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm CoRR abs/1106.0243: (2011)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Bernhard Nebel: The FF Planning System: Fast Plan Generation Through Heuristic Search CoRR abs/1106.0675: (2011)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables CoRR abs/1106.5271: (2011)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Julie Porteous, Laura Sebastia: Ordered Landmarks in Planning CoRR abs/1107.0052: (2011)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Jörg Hoffmann: The Deterministic Part of IPC-4: An Overview CoRR abs/1109.5663: (2011)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel Domshlak, Jörg Hoffmann: Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting CoRR abs/1111.0044: (2011)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Fitzner, Jörg Hoffmann, Eva Klien: Functional description of geoprocessing services as conjunctive datalog queries. GeoInformatica 15(1): 191-221 (2011)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Stollberg, Jörg Hoffmann, Dieter Fensel: A Caching Technique for Optimizing Automated Service Discovery. Int. J. Semantic Computing 5(1): 1-31 (2011)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonen 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ingo Weber, Frank Michael Kraft: SAP Speaks PDDL. AAAI 2010
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Nazim Fatès, Héctor Palacios: Brothers in Arms? On AI Planning and Cellular Automata. ECAI 2010: 223-228
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHootan Nakhost, Jörg Hoffmann, Martin Müller: Improving Local Search for Resource-Constrained Planning. SOCS 2010
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Weber, Jörg Hoffmann, Jan Mendling: Beyond soundness: on the verification of semantic business process models. Distributed and Parallel Databases 27(3): 271-343 (2010)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigori Babitski, Florian Probst, Jörg Hoffmann, Daniel Oberle: Ontology Design for Information Integration in Disaster Management. GI Jahrestagung 2009: 3120-3134
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigori 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
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDunbo Cai, Jörg Hoffmann, Malte Helmert: Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints. ICAPS 2009
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Weber, Alistair P. Barros, Norman May, Jörg Hoffmann, Tomasz Kaczmarek: Composing Services for Third-party Service Delivery. ICWS 2009: 823-830
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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. (JAIR) 35: 49-117 (2009)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel Domshlak, Jörg Hoffmann, Ashish Sabharwal: Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. J. Artif. Intell. Res. (JAIR) 36: 415-469 (2009)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean 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
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalte Helmert, Patrik Haslum, Jörg Hoffmann: Explicit-State Abstraction: A New Method for Generating Heuristic Functions. AAAI 2008: 1547-1550
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Towards Efficient Belief Update for Planning-Based Web Service Composition. ECAI 2008: 558-562
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Weber, Jörg Hoffmann, Jan Mendling: Beyond Soundness: On the Semantic Consistency of Executable Process Models. ECOWS 2008: 102-111
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdina Sirbu, Jörg Hoffmann: Towards Scalable Web Service Composition with Partial Matches. ICWS 2008: 29-36
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Georg Smaus, Jörg Hoffmann: Relaxation Refinement: A New Method to Generate Heuristic Functions. MoChArt 2008: 147-165
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen: Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Piergiorgio Bertoli, Marco Pistore: Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalte Helmert, Patrik Haslum, Jörg Hoffmann: Flexible Abstraction Heuristics for Optimal Sequential Planning. ICAPS 2007: 176-183
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Weber, Jörg Hoffmann, Jan Mendling, Jörg Nitzsche: Towards a Methodology for Semantic Business Process Modeling and Configuration. ICSOC Workshops 2007: 176-187
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore: Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, James Scicluna, Tomasz Kaczmarek, Ingo Weber: Polynomial-Time Reasoning for Semantic Web Service Composition. IEEE SCW 2007: 229-236
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Stollberg, Martin Hepp, Jörg Hoffmann: A Caching Mechanism for Semantic Web Service Discovery. ISWC/ASWC 2007: 480-493
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdina Sirbu, Jörg Hoffmann: Scalable Web Service Composition with Partial Matches. KWEPSY 2007
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning CoRR abs/cs/0701184: (2007)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel Domshlak, Jörg Hoffmann: Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. J. Artif. Intell. Res. (JAIR) 30: 565-620 (2007)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel Domshlak, Jörg Hoffmann: Fast Probabilistic Planning through Weighted Model Counting. ICAPS 2006: 243-252
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS 2006: 284-293
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ashish Sabharwal, Carmel Domshlak: Friends or Foes? An AI Planning Perspective on Abstraction and Search. ICAPS 2006: 294-303
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski: Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarko 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ronen I. Brafman: Conformant planning via heuristic forward search: A new approach. Artif. Intell. 170(6-7): 507-541 (2006)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJö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)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ronen I. Brafman: Contingent Planning via Heuristic Forward Search witn Implicit Belief States. ICAPS 2005: 71-80
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Sebastian Kupferschmid: A Covering Problem for Hypercubes. IJCAI 2005: 1523-1524
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Stefan Edelkamp: The Deterministic Part of IPC-4: An Overview. J. Artif. Intell. Res. (JAIR) 24: 519-579 (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks. J. Artif. Intell. Res. (JAIR) 24: 685-758 (2005)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonen I. Brafman, Jörg Hoffmann: Conformant Planning via Heuristic Forward Search: A New Approach. ICAPS 2004: 355-364
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Trüg, Jörg Hoffmann, Bernhard Nebel: Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. KI 2004: 183-197
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer: Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Julie Porteous, Laura Sebastia: Ordered Landmarks in Planning. J. Artif. Intell. Res. (JAIR) 22: 215-278 (2004)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Utilizing Problem Structure in Planning: A Local Search Approach. KI 18(2): 55- (2004)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Utilizing Problem Structure in Planning, A Local Search Approach Springer 2003
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Hector Geffner: Branching Matters: Alternative Branching in Graphplan. ICAPS 2003: 22-31
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In Defense of PDDL Axioms. IJCAI 2003: 961-968
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables. J. Artif. Intell. Res. (JAIR) 20: 291-341 (2003)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Local Search Topology in Planning Benchmarks: A Theoretical Analysis. AIPS 2002: 92-100
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Extending FF to Numerical State Variables. ECAI 2002: 571-575
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Local Search Topology in Planning Benchmarks: A Theoretical Analysis. PuK 2002
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Local Search Topology in Planning Benchmarks: An Empirical Analysis. IJCAI 2001: 453-458
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: FF: The Fast-Forward Planning System. AI Magazine 22(3): 57-62 (2001)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Bernhard Nebel: The FF Planning System: Fast Plan Generation Through Heuristic Search. J. Artif. Intell. Res. (JAIR) 14: 253-302 (2001)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: Der zweite internationale Wettbewerb für Planungssysteme. KI 15(2): 37-38 (2001)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJussi Rintanen, Jörg Hoffmann: An Overview of Recent Algorithms for AI Planning. KI 15(2): 5-11 (2001)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. ISMIS 2000: 216-227
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann: A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm. PuK 2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK 2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek 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)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana 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)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Jana Koehler: A New Method to Index and Query Sets. IJCAI 1999: 462-467
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: Planen mit Zielagendas. PuK 1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos: Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285

Selection of 94 from 94 records - Jörg Hoffmann has 116 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page