The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jörg Hoffmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ronen I. Brafman, Jörg Hoffmann
    Conformant Planning via Heuristic Forward Search: A New Approach. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:355-364 [Conf]
  2. Jörg Hoffmann
    Local Search Topology in Planning Benchmarks: A Theoretical Analysis. [Citation Graph (0, 0)][DBLP]
    AIPS, 2002, pp:92-100 [Conf]
  3. Jörg Hoffmann, Ronen I. Brafman
    Contingent Planning via Heuristic Forward Search witn Implicit Belief States. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:71-80 [Conf]
  4. Jörg Hoffmann, Hector Geffner
    Branching Matters: Alternative Branching in Graphplan. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2003, pp:22-31 [Conf]
  5. Andreas Emmerling, Kristian Hildebrand, Jörg Hoffmann, Przemyslaw Musialski, Grit Thürmer
    A System for Modelling in Three-Dimensional Discrete Space. [Citation Graph (0, 0)][DBLP]
    DGCI, 2003, pp:534-543 [Conf]
  6. Jörg Hoffmann
    Extending FF to Numerical State Variables. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:571-575 [Conf]
  7. Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos
    Extending Planning Graphs to an ADL Subset. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:273-285 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    GIL Jahrestagung, 2006, pp:121-124 [Conf]
  9. Jörg Hoffmann
    Local Search Topology in Planning Benchmarks: An Empirical Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:453-458 [Conf]
  10. Jörg Hoffmann, Sebastian Kupferschmid
    A Covering Problem for Hypercubes. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1523-1524 [Conf]
  11. Jörg Hoffmann, Jana Koehler
    A New Method to Index and Query Sets. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:462-467 [Conf]
  12. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
    In Defense of PDDL Axioms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:961-968 [Conf]
  13. Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
    SAT Encodings of State-Space Reachability Problems in Numeric Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1918-1923 [Conf]
  14. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
    From Sampling to Model Counting. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2293-2299 [Conf]
  15. Jörg Hoffmann
    A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2000, pp:216-227 [Conf]
  16. Sebastian Trüg, Jörg Hoffmann, Bernhard Nebel
    Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:183-197 [Conf]
  17. Jörg Hoffmann
    A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm. [Citation Graph (0, 0)][DBLP]
    PuK, 2000, pp:- [Conf]
  18. Jörg Hoffmann
    Local Search Topology in Planning Benchmarks: A Theoretical Analysis. [Citation Graph (0, 0)][DBLP]
    PuK, 2002, pp:- [Conf]
  19. Jana Koehler, Jörg Hoffmann
    On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. [Citation Graph (0, 0)][DBLP]
    PuK, 2000, pp:- [Conf]
  20. Jana Koehler, Jörg Hoffmann
    Planen mit Zielagendas. [Citation Graph (0, 0)][DBLP]
    PuK, 1999, pp:- [Conf]
  21. Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
    Adapting an AI Planning Heuristic for Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:35-52 [Conf]
  22. Bernd Fröhlich, Roland Blach, Oliver Stefani, Jan Hochstrate, Jörg Hoffmann, Karsten Klüger, Matthias Bues
    Implementing Multi-Viewer Stereo Displays. [Citation Graph (0, 0)][DBLP]
    WSCG (Full Papers), 2005, pp:139-146 [Conf]
  23. Jörg Hoffmann, Ronen I. Brafman
    Conformant planning via heuristic forward search: A new approach. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:6-7, pp:507-541 [Journal]
  24. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
    In defense of PDDL axioms. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:168, n:1-2, pp:38-69 [Journal]
  25. Jörg Hoffmann
    FF: The Fast-Forward Planning System. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:3, pp:57-62 [Journal]
  26. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2000, v:21, n:2, pp:13-33 [Journal]
  27. Jörg Hoffmann
    The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:20, n:, pp:291-341 [Journal]
  28. Jörg Hoffmann, Bernhard Nebel
    The FF Planning System: Fast Plan Generation Through Heuristic Search. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2001, v:14, n:, pp:253-302 [Journal]
  29. Jörg Hoffmann, Julie Porteous, Laura Sebastia
    Ordered Landmarks in Planning. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:215-278 [Journal]
  30. Jana Koehler, Jörg Hoffmann
    On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:12, n:, pp:338-386 [Journal]
  31. Jörg Hoffmann
    Der zweite internationale Wettbewerb für Planungssysteme. [Citation Graph (0, 0)][DBLP]
    KI, 2001, v:15, n:2, pp:37-38 [Journal]
  32. Jörg Hoffmann
    Utilizing Problem Structure in Planning: A Local Search Approach. [Citation Graph (0, 0)][DBLP]
    KI, 2004, v:18, n:2, pp:55-0 [Journal]
  33. Jussi Rintanen, Jörg Hoffmann
    An Overview of Recent Algorithms for AI Planning. [Citation Graph (0, 0)][DBLP]
    KI, 2001, v:15, n:2, pp:5-11 [Journal]
  34. Jorg Hoffmann, James Scicluna, Tomasz Kaczmarek, Ingo Weber
    Polynomial-Time Reasoning for Semantic Web Service Composition. [Citation Graph (0, 0)][DBLP]
    IEEE SCW, 2007, pp:229-236 [Conf]
  35. Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
    Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1013-1018 [Conf]
  36. Jörg Hoffmann, Carla P. Gomes, Bart Selman
    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:284-293 [Conf]
  37. Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak
    Friends or Foes? An AI Planning Perspective on Abstraction and Search. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:294-303 [Conf]
  38. Carmel Domshlak, Jörg Hoffmann
    Fast Probabilistic Planning through Weighted Model Counting. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:243-252 [Conf]
  39. Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
    Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:815-822 [Conf]
  40. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
    Short XORs for Model Counting: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:100-106 [Conf]
  41. Michael Stollberg, Martin Hepp, Jörg Hoffmann
    A Caching Mechanism for Semantic Web Service Discovery. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:480-493 [Conf]
  42. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:679-682 [Conf]
  43. Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
    Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:51-66 [Conf]
  44. Jörg Hoffmann, Carla P. Gomes, Bart Selman
    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  45. Jörg Hoffmann
    Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:685-758 [Journal]
  46. Jörg Hoffmann, Stefan Edelkamp
    The Deterministic Part of IPC-4: An Overview. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:519-579 [Journal]
  47. 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. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:453-541 [Journal]

  48. Explicit-State Abstraction: A New Method for Generating Heuristic Functions. [Citation Graph (, )][DBLP]


  49. SAP Speaks PDDL. [Citation Graph (, )][DBLP]


  50. Flexible Abstraction Heuristics for Optimal Sequential Planning. [Citation Graph (, )][DBLP]


  51. Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints. [Citation Graph (, )][DBLP]


  52. Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. [Citation Graph (, )][DBLP]


  53. Supporting Execution-Level Business Process Modeling with Semantic Technologies. [Citation Graph (, )][DBLP]


  54. Towards Efficient Belief Update for Planning-Based Web Service Composition. [Citation Graph (, )][DBLP]


  55. Brothers in Arms? On AI Planning and Cellular Automata. [Citation Graph (, )][DBLP]


  56. Beyond Soundness: On the Semantic Consistency of Executable Process Models. [Citation Graph (, )][DBLP]


  57. Semantic Annotation and Composition of Business Processes with Maestro. [Citation Graph (, )][DBLP]


  58. SWING: An Integrated Environment for Geospatial Semantic Web Services. [Citation Graph (, )][DBLP]


  59. Scalable Web Service Composition with Partial Matches. [Citation Graph (, )][DBLP]


  60. Ontology-Based Integration of Sensor Web Services in Disaster Management. [Citation Graph (, )][DBLP]


  61. Ontology Design for Information Integration in Disaster Management. [Citation Graph (, )][DBLP]


  62. Towards a Methodology for Semantic Business Process Modeling and Configuration. [Citation Graph (, )][DBLP]


  63. Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services. [Citation Graph (, )][DBLP]


  64. Towards Scalable Web Service Composition with Partial Matches. [Citation Graph (, )][DBLP]


  65. Composing Services for Third-party Service Delivery. [Citation Graph (, )][DBLP]


  66. Sampling and Soundness: Can We Have Both? [Citation Graph (, )][DBLP]


  67. Fast Directed Model Checking Via Russian Doll Abstraction. [Citation Graph (, )][DBLP]


  68. Relaxation Refinement: A New Method to Generate Heuristic Functions. [Citation Graph (, )][DBLP]


  69. A Semantically Enabled Service Oriented Architecture. [Citation Graph (, )][DBLP]


Search in 0.063secs, Finished in 0.066secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002