Items where Author is "Hoffmann, Jörg"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 138.

Conference or Workshop Item (A Paper)

Torralba, Àlvaro and Speicher, Patrick and Künnemann, Robert and Hoffmann, Jörg and Steinmetz, Marcel
(2021) Faster Stackelberg Planning via Symbolic Search and Information Sharing.
In: 35th AAAI Conference on Artificial Intelligence, February 2-9, 2021, virtual conference.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Tran, Nicolas and Speicher, Patrick and Künnemann, Robert and Backes, Michael and Torralba, Àlvaro and Hoffmann, Jörg
(2020) Planning in the Browser.
In: System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), October 2020.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019) Towards Automated Network Mitigation Analysis.
In: The 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus.
Conference: SAC ACM Symposium on Applied Computing

Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019) Towards Automated Network Mitigation Analysis (extended version).
In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing.
Conference: SAC ACM Symposium on Applied Computing

Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael
(2018) Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.
In: 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Speicher, Patrick and Steinmetz, Marcel and Backes, Michael and Hoffmann, Jörg and Künnemann, Robert
(2018) Stackelberg Planning: Towards Effective Leader-Follower State Space Search.
In: The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Louisiana, USA.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Gnad, Daniel and Poser, Valerie and Hoffmann, Jörg
(2017) Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Speicher, Patrick and Steinmetz, Marcel and Gnad, Daniel and Hoffmann, Jörg and Gerevini, Alfonso
(2017) Beyond Red-Black Planning: Limited-Memory State Variables.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Fickert, Maximilian and Hoffmann, Jörg
(2017) Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Fickert, Maximilian and Hoffmann, Jörg
(2017) Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning.
In: Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA..

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Gnad, Daniel and Torralba, Àlvaro and Hoffmann, Jörg
(2017) Symbolic Leaf Representation in Decoupled Search.
In: Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA..

Gnad, Daniel and Torralba, Àlvaro and Shleyfman, Alexander and Hoffmann, Jörg
(2017) Symmetry Breaking in Star-Topology Decoupled Search.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Gnad, Daniel and Steinmetz, Marcel and Jany, Mathäus and Hoffmann, Jörg and Serina, Ivan and Gerevini, Alfonso
(2016) Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.
In: Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16).

Daum, Jeanette and Torralba, Àlvaro and Hoffmann, Jörg and Haslum, Patrik and Weber, Ingo
(2016) Practical Undoability Checking via Contingent Planning.
In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16).
Conference: ICAPS International Conference on Automated Planning and Scheduling

Steinmetz, Marcel and Hoffmann, Jörg and Buffet, Olivier
(2016) Revisiting Goal Probability Analysis in Probabilistic Planning.
In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16).
Conference: ICAPS International Conference on Automated Planning and Scheduling

Gnad, Daniel and Wehrle, Martin and Hoffmann, Jörg
(2016) Decoupled Strong Stubborn Sets.
In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Schwenger, Maximilian and Torralba, Àlvaro and Hoffmann, Jörg and Howcroft, David M. and Demberg, Vera
(2016) From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
In: COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan.
Conference: COLING International Conference on Computational Linguistics

Torralba, Àlvaro and Gnad, Daniel and Dubbert, Patrick and Hoffmann, Jörg
(2016) On State-Dominance Criteria in Fork-Decoupled Search.
In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Steinmetz, Marcel and Hoffmann, Jörg
(2016) Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Backes, Michael and Bendun, Fabian and Hoffmann, Jörg and Marnau, Ninja
(2015) PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law.
In: Proceedings of the 4th Conference on Principles of Security and Trust (POST).

Gnad, Daniel and Hoffmann, Jörg
(2015) Red-Black Planning: A New Tractability Analysis and Heuristic Function.
In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15).

Hoffmann, Jörg
(2015) Simulated Penetration Testing: From "Dijkstra" to "Turing Test++".
In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015).
Conference: ICAPS International Conference on Automated Planning and Scheduling

Gnad, Daniel and Hoffmann, Jörg
(2015) Beating LM-Cut with h-max (Sometimes): Fork-Decoupled State Space Search.
In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Hoffmann, Jörg and Fickert, Maximilian
(2015) Explicit Conjunctions without Compilation: Computing h-FF(Pi-C) in Polynomial Time.
In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Gnad, Daniel and Hoffmann, Jörg and Domshlak, Carmel
(2015) From Fork Decoupling to Star-Topology Decoupling.
In: Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel..

Hoffmann, Jörg and Fern, Alan
(2015) Journal Track Paper Abstracts.
In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Torralba, Àlvaro and Hoffmann, Jörg
(2015) Simulation-Based Admissible Dominance Pruning.
In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Fawcett, Chris and Vallati, Mauro and Hutter, Frank and Hoffmann, Jörg and Hoos, Holger H. and Leyton-Brown, Kevin
(2014) Improved Features for Runtime Prediction of Domain-Independent Planners.
In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014).
Conference: ICAPS International Conference on Automated Planning and Scheduling

Krajnanský, Michal and Hoffmann, Jörg and Buffet, Olivier and Fern, Alan
(2014) Learning Pruning Rules for Heuristic Search Planning.
In: Proc. of the 21st European Conference on Artificial Intelligence (ECAI 2014).
Conference: ECAI European Conference on Artificial Intelligence

Areces, Carlos and Bustos, Facundo and Dominguez, Martín Ariel and Hoffmann, Jörg
(2014) Optimizing Planning Domains by Automatic Action Schema Splitting.
In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014).
Conference: ICAPS International Conference on Automated Planning and Scheduling

Hoffmann, Jörg and Kissmann, Peter and Torralba, Àlvaro
(2014) "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.
In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014).
Conference: ECAI European Conference on Artificial Intelligence

Katz, Michael and Hoffmann, Jörg and Domshlak, Carmel
(2013) Red-Black Relaxed Plan Heuristics.
In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Katz, Michael and Hoffmann, Jörg
(2013) Red-Black Relaxed Plan Heuristics Reloaded.
In: Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013..

Rauber, Thorsten and Kissmann, Peter and Hoffmann, Jörg
(2013) Translating Single-Player GDL into PDDL.
In: KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings.

Kissmann, Peter and Hoffmann, Jörg
(2013) What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.
In: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Katz, Michael and Hoffmann, Jörg and Domshlak, Carmel
(2013) Who Said We Need to Relax All Variables?
In: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Katz, Michael and Hoffmann, Jörg and Helmert, Malte
(2012) How to Relax a Bisimulation?
In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Sarraute, Carlos and Buffet, Olivier and Hoffmann, Jörg
(2012) POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.
In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Nakhost, Hootan and Hoffmann, Jörg and Müller, Martin
(2012) Resource-Constrained Planning: A Monte Carlo Random Walk Approach.
In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Keyder, Emil Ragip and Hoffmann, Jörg and Haslum, Patrik
(2012) Semi-Relaxed Plan Heuristics.
In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Keyder, Emil Ragip and Hoffmann, Jörg and Haslum, Patrik
(2012) Semi-Relaxed Plan Heuristics.
In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Nissim, Raz and Hoffmann, Jörg and Helmert, Malte
(2011) Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.
In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011.
Conference: IJCAI International Joint Conference on Artificial Intelligence

Hoffmann, Jörg
(2011) Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask).
In: KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings.

Hoffmann, Jörg
(2011) Where Ignoring Delete Lists Works, Part II: Causal Graphs.
In: Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011.
Conference: ICAPS International Conference on Automated Planning and Scheduling

Hoffmann, Jörg and Fatès, Nazim and Palacios, Héctor
(2010) Brothers in Arms? On AI Planning and Cellular Automata.
In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings.

Nakhost, Hootan and Hoffmann, Jörg and Müller, Martin
(2010) Improving Local Search for Resource-Constrained Planning.
In: Proceedings of the Third Annual Symposium on Combinatorial Search, SOCS 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010.

Hoffmann, Jörg and Weber, Ingo and Kraft, Frank Michael
(2010) SAP Speaks PDDL.
In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010.

Koller, Alexander and Hoffmann, Jörg
(2010) Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF.
In: Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010.

Weber, Ingo and Barros, Alistair P. and May, Norman and Hoffmann, Jörg and Kaczmarek, Tomasz
(2009) Composing Services for Third-party Service Delivery.
In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009.

Cai, Dunbo and Hoffmann, Jörg and Helmert, Malte
(2009) Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints.
In: Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009.

Babitski, Grigori and Probst, Florian and Hoffmann, Jörg and Oberle, Daniel
(2009) Ontology Design for Information Integration in Disaster Management.
In: Informatik 2009: Im Focus das Leben, Beitrage der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Deutschland, Proceedings.

Babitski, Grigori and Bergweiler, Simon and Hoffmann, Jörg and Schön, Daniel and Stasch, Christoph and Walkowski, Alexander C.
(2009) Ontology-Based Integration of Sensor Web Services in Disaster Management.
In: GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings.

Born, Matthias and Hoffmann, Jörg and Kaczmarek, Tomasz and Kowalkiewicz, Marek and Markovic, Ivan and Scicluna, James and Weber, Ingo and Zhou, Xuan
(2009) Supporting Execution-Level Business Process Modeling with Semantic Technologies.
In: Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings.

Weber, Ingo and Hoffmann, Jörg and Mendling, Jan
(2008) Beyond Soundness: On the Semantic Consistency of Executable Process Models.
In: ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland.

Hoffmann, Jörg and Weber, Ingo and Scicluna, James and Kaczmarek, Tomasz and Ankolekar, Anupriya
(2008) Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.
In: Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA.

Governatori, Guido and Hoffmann, Jörg and Sadiq, Shazia Wasim and Weber, Ingo
(2008) Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers.

Helmert, Malte and Haslum, Patrik and Hoffmann, Jörg
(2008) Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008.

Kupferschmid, Sebastian and Hoffmann, Jörg and Larsen, Kim Guldstrand
(2008) Fast Directed Model Checking Via Russian Doll Abstraction.
In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed.

Smaus, Jan-Georg and Hoffmann, Jörg
(2008) Relaxation Refinement: A New Method to Generate Heuristic Functions.
In: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers.

Andrei, Mihai and Berre, Arne-Jørgen and Costa, Luis and Duchesne, Philippe and Fitzner, Daniel and Grcar, Miha and Hoffmann, Jörg and Klien, Eva and Langlois, Joel and Limyr, Andreas and Maué, Patrick and Schade, Sven and Steinmetz, Nathalie and Tertre, Francois and Vasiliu, Laurentiu and Zaharia, Raluca and Zastavni, Nicolas
(2008) SWING: An Integrated Environment for Geospatial Semantic Web Services.
In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings.

Born, Matthias and Hoffmann, Jörg and Kaczmarek, Tomasz and Kowalkiewicz, Marek and Markovic, Ivan and Scicluna, James and Weber, Ingo and Zhou, Xuan
(2008) Semantic Annotation and Composition of Business Processes with Maestro.
In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings.

Hoffmann, Jörg
(2008) Towards Efficient Belief Update for Planning-Based Web Service Composition.
In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings.

Sirbu, Adina and Hoffmann, Jörg
(2008) Towards Scalable Web Service Composition with Partial Matches.
In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China.

Stollberg, Michael and Hepp, Martin and Hoffmann, Jörg
(2007) A Caching Mechanism for Semantic Web Service Discovery.
In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007..

Helmert, Malte and Haslum, Patrik and Hoffmann, Jörg
(2007) Flexible Abstraction Heuristics for Optimal Sequential Planning.
In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) From Sampling to Model Counting.
In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007.

Bertoli, Piergiorgio and Hoffmann, Jörg and Lécué, Freddy and Pistore, Marco
(2007) Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA.

Hoffmann, Jörg and Scicluna, James and Kaczmarek, Tomasz and Weber, Ingo
(2007) Polynomial-Time Reasoning for Semantic Web Service Composition.
In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA.

Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart and Kautz, Henry A.
(2007) SAT Encodings of State-Space Reachability Problems in Numeric Domains.
In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) Sampling and Soundness: Can We Have Both?
In: Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007.

Sirbu, Adina and Hoffmann, Jörg
(2007) Scalable Web Service Composition with Partial Matches.
In: Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, Innsbruck, Austria, June 6, 2007.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) Short XORs for Model Counting: From Theory to Practice.
In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings.

Weber, Ingo and Hoffmann, Jörg and Mendling, Jan and Nitzsche, Jörg
(2007) Towards a Methodology for Semantic Business Process Modeling and Configuration.
In: Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers.

Kupferschmid, Sebastian and Drager, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Dierks, Henning and Podelski, Andreas and Behrmann, Gerd
(2007) Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Hoffmann, Jörg and Bertoli, Piergiorgio and Pistore, Marco
(2007) Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada.

Kupferschmid, Sebastian and Hoffmann, Jörg and Dierks, Henning and Behrmann, Gerd
(2006) Adapting an AI Planning Heuristic for Directed Model Checking.
In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings.

Domshlak, Carmel and Hoffmann, Jörg
(2006) Fast Probabilistic Planning through Weighted Model Counting.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

Hoffmann, Jörg and Sabharwal, Ashish and Domshlak, Carmel
(2006) Friends or Foes? An AI Planning Perspective on Abstraction and Search.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

Anicic, Darko and Brodie, Michael L. and de Bruijn, Jos and Fensel, Dieter and Haselwanter, Thomas and Hepp, Martin and Heymans, Stijn and Hoffmann, Jörg and Kerrigan, Mick and Kopecký, Jacek and Krummenacher, Reto and Lausen, Holger and Mocan, Adrian and Scicluna, James and Toma, Ioan and Zaremba, Michal
(2006) A Semantically Enabled Service Oriented Architecture.
In: Web Intelligence Meets Brain Informatics, First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers.

Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart
(2006) Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

Hoffmann, Jörg and Smaus, Jan-Georg and Rybalchenko, Andrey and Kupferschmid, Sebastian and Podelski, Andreas
(2006) Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers.

Hoffmann, Jörg and Brafman, Ronen I.
(2005) Contingent Planning via Heuristic Forward Search witn Implicit Belief States.
In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA.

Hoffmann, Jörg and Kupferschmid, Sebastian
(2005) A Covering Problem for Hypercubes.
In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005.

Trüg, Sebastian and Hoffmann, Jörg and Nebel, Bernhard
(2004) Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings.

Becker, Bernd and Behle, Markus and Eisenbrand, Friedrich and Franzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Jörg and Kröning, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf
(2004) Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004.

Brafman, Ronen I. and Hoffmann, Jörg
(2004) Conformant Planning via Heuristic Forward Search: A New Approach.
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada.

Hoffmann, Jörg and Geffner, Hector
(2003) Branching Matters: Alternative Branching in Graphplan.
In: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy.

Thiébaux, Sylvie and Hoffmann, Jörg and Nebel, Bernhard
(2003) In Defense of PDDL Axioms.
In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003.

Hoffmann, Jörg
(2002) Extending FF to Numerical State Variables.
In: Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002.

Hoffmann, Jörg
(2002) Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
In: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France.

Hoffmann, Jörg
(2002) Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
In: Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002.

Hoffmann, Jörg
(2001) Local Search Topology in Planning Benchmarks: An Empirical Analysis.
In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001.

Hoffmann, Jörg
(2000) A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.
In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings.

Hoffmann, Jörg
(2000) A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
In: Proceedings of the 14th Workshop "New Results in Planning, Scheduling and Design" (PuK2000), Berlin, 21-22 August 2000.

Koehler, Jana and Hoffmann, Jörg
(2000) On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
In: Proceedings of the 14th Workshop "New Results in Planning, Scheduling and Design" (PuK2000), Berlin, 21-22 August 2000.

Hoffmann, Jörg and Koehler, Jana
(1999) A New Method to Index and Query Sets.
In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages.

Koehler, Jana and Hoffmann, Jörg
(1999) Planen mit Zielagendas.
In: Proceedings PuK 99, 13. Workshop "Planen und Konfigurieren", Jahrestreffen der Fachgruppe 1.5.3 der Gesellschaft für Informatik, vom 3.-5. Marz 1999, im Rahmen der 5. Tagung "Expertensysteme" an der Universitat Würzburg.

Koehler, Jana and Nebel, Bernhard and Hoffmann, Jörg and Dimopoulos, Yannis
(1997) Extending Planning Graphs to an ADL Subset.
In: Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings.

Article

Gnad, Daniel and Hoffmann, Jörg
(2018) Star-topology decoupled state space search.
Artif. Intell., 257. 24–60.

Steinmetz, Marcel and Hoffmann, Jörg
(2017) State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning.
Artificial Intelligence (journal), ???. -.

Backes, Michael and Hoffmann, Jörg and Künnemann, Robert and Speicher, Patrick and Steinmetz, Marcel
(2017) Simulated Penetration Testing and Mitigation Analysis.
CoRR, abs/17.

Steinmetz, Marcel and Hoffmann, Jörg and Buffet, Olivier
(2016) Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.
J. Artif. Intell. Res. (JAIR), 57. pp. 229-271.

Fickert, Maximilian and Hoffmann, Jörg and Steinmetz, Marcel
(2016) Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.
J. Artif. Intell. Res., 56. 269–327.

Demberg, Vera and Hoffmann, Jörg and Howcroft, David M. and Klakow, Dietrich and Torralba, Àlvaro
(2016) Search Challenges in Natural Language Generation with Complex Optimization Objectives.
KI, 30 (1). 63–69.

Domshlak, Carmel and Hoffmann, Jörg and Katz, Michael
(2015) Red-black planning: A new systematic approach to partial delete relaxation.
Artif. Intell., 221. pp. 73-114.

Kissmann, Peter and Hoffmann, Jörg
(2014) BDD Ordering Heuristics for Classical Planning.
J. Artif. Intell. Res., 51. 779–804.

Keyder, Emil Ragip and Hoffmann, Jörg and Haslum, Patrik
(2014) Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions.
J. Artif. Intell. Res., 50. 487–533.

Helmert, Malte and Haslum, Patrik and Hoffmann, Jörg and Nissim, Raz
(2014) Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces.
J. ACM, 61 (3). 16:1–16:63.

Hoffmann, Jörg and Weber, Ingo and Governatori, Guido
(2012) On compliance checking for clausal constraints in annotated process models.
Information Systems Frontiers, 14 (2). 155–177.

Hoffmann, Jörg and Weber, Ingo and Kraft, Frank Michael
(2012) SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.
J. Artif. Intell. Res., 44. 587–632.

Stollberg, Michael and Hoffmann, Jörg and Fensel, Dieter
(2011) A Caching Technique for Optimizing Automated Service Discovery.
Int. J. Semantic Computing, 5 (1). 1–31.

Fitzner, Daniel and Hoffmann, Jörg and Klien, Eva
(2011) Functional description of geoprocessing services as conjunctive datalog queries.
GeoInformatica, 15 (1). 191–221.

Weber, Ingo and Hoffmann, Jörg and Mendling, Jan
(2010) Beyond soundness: on the verification of semantic business process models.
Distributed and Parallel Databases, 27 (3). 271–343.

Domshlak, Carmel and Hoffmann, Jörg and Sabharwal, Ashish
(2009) Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res., 36. 415–469.

Hoffmann, Jörg and Bertoli, Piergiorgio and Helmert, Malte and Pistore, Marco
(2009) Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
J. Artif. Intell. Res., 35. 49–117.

Domshlak, Carmel and Hoffmann, Jörg
(2007) Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.
J. Artif. Intell. Res., 30. 565–620.

Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart
(2007) Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Logical Methods in Computer Science, 3 (1).

Hoffmann, Jörg and Brafman, Ronen I.
(2006) Conformant planning via heuristic forward search: A new approach.
Artif. Intell., 170 (6-7). 507–541.

Hoffmann, Jörg and Edelkamp, Stefan and Thiébaux, Sylvie and Englert, Roman and dos Liporace, Frederico S. and Trüg, Sebastian
(2006) Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res., 26. 453–541.

Hoffmann, Jörg
(2006) KI 2007: Call for Tutorials.
KI, 20 (4). p. 65.

Hoffmann, Jörg and Edelkamp, Stefan
(2005) The Deterministic Part of IPC-4: An Overview.
J. Artif. Intell. Res., 24. 519–579.

Thiébaux, Sylvie and Hoffmann, Jörg and Nebel, Bernhard
(2005) In defense of PDDL axioms.
Artif. Intell., 168 (1-2). 38–69.

Hoffmann, Jörg
(2005) Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.
J. Artif. Intell. Res., 24. 685–758.

Hoffmann, Jörg and Porteous, Julie and Sebastia, Laura
(2004) Ordered Landmarks in Planning.
J. Artif. Intell. Res., 22. 215–278.

Hoffmann, Jörg
(2004) Utilizing Problem Structure in Planning: A Local Search Approach.
KI, 18 (2). p. 55.

Hoffmann, Jörg
(2003) The Metric-FF Planning System: Translating ”Ignoring Delete Lists” to Numeric State Variables.
J. Artif. Intell. Res., 20. 291–341.

Hoffmann, Jörg
(2001) Der zweite internationale Wettbewerb für Planungssysteme.
KI, 15 (2). 37–38.

Hoffmann, Jörg and Nebel, Bernhard
(2001) The FF Planning System: Fast Plan Generation Through Heuristic Search.
J. Artif. Intell. Res., 14. 253–302.

Hoffmann, Jörg
(2001) FF: The Fast-Forward Planning System.
AI Magazine, 22 (3). 57–62.

Rintanen, Jussi and Hoffmann, Jörg
(2001) An Overview of Recent Algorithms for AI Planning.
KI, 15 (2). 5–11.

Long, Derek and Kautz, Henry A. and Selman, Bart and Bonet, Blai and Geffner, Hector and Koehler, Jana and Brenner, Michael and Hoffmann, Jörg and Rittinger, Frank and Anderson, Corin R. and Weld, Daniel S. and Smith, David E. and Fox, Maria
(2000) The AIPS-98 Planning Competition.
AI Magazine, 21 (2). 13–33.

Koehler, Jana and Hoffmann, Jörg
(2000) On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
J. Artif. Intell. Res., 12. 338–386.

Book Section

Hoffmann, Jörg and Weber, Ingo
(2014) Web Service Composition.
In: Encyclopedia of Social Network Analysis and Mining. UNSPECIFIED, 2389–2399.

Heymans, Stijn and Hoffmann, Jörg and Marconi, Annapaola and Phillips, Joshua and Weber, Ingo
(2012) Semantic Web Services Fundamentals.
In: Handbook of Service Description - USDL and Its Methods. Springer, 135–158.

Book

Hoffmann, Jörg
(2003) Utilizing Problem Structure in Planning, A Local Search Approach.
Lecture Notes in Computer Science, 2854 . Springer.

Other

Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael
(2018) Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version).
CISPA
.

This list was generated on Thu Mar 28 17:35:35 2024 CET.