The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jörg Hoffmann 0001" ( http://dblp.L3S.de/Authors/Jörg_Hoffmann_0001 )

URL (Homepage):  http://fai.cs.uni-saarland.de/hoffmann/  Author page on DBLP  Author page in RDF  Community of Jörg Hoffmann 0001 in ASPL-2

Publication years (Num. hits)
1997-2002 (16) 2003-2006 (23) 2007 (15) 2008-2009 (18) 2010-2011 (19) 2012-2013 (17) 2014-2015 (21) 2016-2017 (20) 2018-2019 (18)
Publication types (Num. hits)
article(52) book(1) incollection(3) inproceedings(108) proceedings(3)
Venues (Conferences, Journals, ...)
ICAPS(33) J. Artif. Intell. Res.(17) CoRR(16) IJCAI(14) AAAI(11) KI(8) SOCS(7) Artif. Intell.(5) ECAI(5) PuK(4) ESWC(3) ICWS(3) AI Magazine(2) MoChArt(2) SPIN(2) TACAS(2) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 168 publication records. Showing 167 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dorin Shmaryahu, Guy Shani, Jörg Hoffmann 0001 Comparative criteria for partially observable contingent planning. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001, Martin Wehrle Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann 0001, Michael Backes 0001, Robert Künnemann Towards automated network mitigation analysis. Search on Bibsonomy SAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann 0001, Wheeler Ruml Refining Abstraction Heuristics during Real-Time Planning. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann 0001, Marek Petrik Real-Time Planning as Decision-Making under Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001 On the Relation between Star-Topology Decoupling and Petri Net Unfolding. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Frederik Schmitt, Daniel Gnad, Jörg Hoffmann 0001 Advanced Factoring Strategies for Decoupled Search Using Linear Programming. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Dorin Shmaryahu, Jörg Hoffmann 0001, Guy Shani Comparative Criteria for Partially Observable Contingent Planning. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber Web Service Composition. Search on Bibsonomy Encyclopedia of Social Network Analysis and Mining. 2nd Ed. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001 Star-topology decoupled state space search. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001 Star-Topology Decoupling in SPIN. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Michael Backes 0001, Jörg Hoffmann 0001, Robert Künnemann Stackelberg Planning: Towards Effective Leader-Follower State Space Search. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann 0001, Michael Backes 0001 Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. Search on Bibsonomy EuroS&P The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorin Shmaryahu, Guy Shani, Jörg Hoffmann 0001, Marcel Steinmetz Simulated Penetration Testing as Contingent Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann 0001 On Stubborn Sets and Planning with Resources. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann 0001, Holger Hermanns Compiling Probabilistic Model Checking into Probabilistic Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximilian Fickert, Daniel Gnad, Jörg Hoffmann 0001 Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Backes 0001, Jörg Hoffmann 0001, Robert Künnemann, Patrick Speicher, Marcel Steinmetz Simulated Penetration Testing and Mitigation Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Maximilian Fickert, Jörg Hoffmann 0001 Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann 0001 Symmetry Breaking in Star-Topology Decoupled Search. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann 0001, Alfonso Gerevini Beyond Red-Black Planning: Limited-Memory State Variables. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Maximilian Fickert, Jörg Hoffmann 0001 Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. Search on Bibsonomy SOCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Gnad, Álvaro Torralba, Jörg Hoffmann 0001 Symbolic Leaf Representation in Decoupled Search. Search on Bibsonomy SOCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Valerie Poser, Jörg Hoffmann 0001 Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vera Demberg, Jörg Hoffmann 0001, David M. Howcroft, Dietrich Klakow, Álvaro Torralba Search Challenges in Natural Language Generation with Complex Optimization Objectives. Search on Bibsonomy KI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001, Olivier Buffet Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maximilian Fickert, Jörg Hoffmann 0001, Marcel Steinmetz Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann 0001, David M. Howcroft, Vera Demberg From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. Search on Bibsonomy COLING The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001, Olivier Buffet Revisiting Goal Probability Analysis in Probabilistic Planning. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeanette Daum, Álvaro Torralba, Jörg Hoffmann 0001, Patrik Haslum, Ingo Weber Practical Undoability Checking via Contingent Planning. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann 0001, Ivan Serina, Alfonso Gerevini Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann 0001 On State-Dominance Criteria in Fork-Decoupled Search. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Gnad, Martin Wehrle, Jörg Hoffmann 0001 Decoupled Strong Stubborn Sets. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmel Domshlak, Jörg Hoffmann 0001, Michael Katz 0001 Red-black planning: A new systematic approach to partial delete relaxation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Backes 0001, Fabian Bendun, Jörg Hoffmann 0001, Ninja Marnau PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Backes 0001, Fabian Bendun, Jörg Hoffmann 0001, Ninja Marnau PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. Search on Bibsonomy POST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001, Maximilian Fickert Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001 Simulated Penetration Testing: From "Dijkstra" to "Turing Test++". Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001 Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Alan Fern Journal Track Paper Abstracts. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001 Red-Black Planning: A New Tractability Analysis and Heuristic Function. Search on Bibsonomy SOCS The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Gnad, Jörg Hoffmann 0001, Carmel Domshlak From Fork Decoupling to Star-Topology Decoupling. Search on Bibsonomy SOCS The full citation details ... 2015 DBLP  BibTeX  RDF
1Álvaro Torralba, Jörg Hoffmann 0001 Simulation-Based Admissible Dominance Pruning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber Web Service Composition. Search on Bibsonomy Encyclopedia of Social Network Analysis and Mining The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Malte Helmert, Patrik Haslum, Jörg Hoffmann 0001, Raz Nissim Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Kissmann, Jörg Hoffmann 0001 BDD Ordering Heuristics for Classical Planning. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emil Ragip Keyder, Jörg Hoffmann 0001, Patrik Haslum Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber, Frank Michael Kraft SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001 Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Piergiorgio Bertoli, Malte Helmert, Marco Pistore Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Peter Kissmann, Álvaro Torralba "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michal Krajnanský, Jörg Hoffmann 0001, Olivier Buffet, Alan Fern Learning Pruning Rules for Heuristic Search Planning. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann 0001, Holger H. Hoos, Kevin Leyton-Brown Improved Features for Runtime Prediction of Domain-Independent Planners. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann 0001 Optimizing Planning Domains by Automatic Action Schema Splitting. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Carlos Sarraute, Olivier Buffet, Jörg Hoffmann 0001 POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlos Sarraute, Olivier Buffet, Jörg Hoffmann 0001 Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlos Sarraute, Olivier Buffet, Jörg Hoffmann 0001 Penetration Testing == POMDP Solving? Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thorsten Rauber, Peter Kissmann, Jörg Hoffmann 0001 Translating Single-Player GDL into PDDL. Search on Bibsonomy KI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Katz 0001, Jörg Hoffmann 0001, Carmel Domshlak Red-Black Relaxed Plan Heuristics. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Peter Kissmann, Jörg Hoffmann 0001 What's in It for My BDD? On Causal Graphs and Variable Orders in Planning. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Katz 0001, Jörg Hoffmann 0001, Carmel Domshlak Who Said We Need to Relax All Variables? Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Katz 0001, Jörg Hoffmann 0001 Red-Black Relaxed Plan Heuristics Reloaded. Search on Bibsonomy SOCS The full citation details ... 2013 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber, Frank Michael Kraft SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber, Guido Governatori On compliance checking for clausal constraints in annotated process models. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stijn Heymans, Jörg Hoffmann 0001, Annapaola Marconi, Joshua Phillips, Ingo Weber Semantic Web Services Fundamentals. Search on Bibsonomy Handbook of Service Description The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Sarraute, Olivier Buffet, Jörg Hoffmann 0001 POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Emil Ragip Keyder, Jörg Hoffmann 0001, Patrik Haslum Semi-Relaxed Plan Heuristics. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Bart Selman (eds.) Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Katz 0001, Jörg Hoffmann 0001, Malte Helmert How to Relax a Bisimulation? Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Emil Ragip Keyder, Jörg Hoffmann 0001, Patrik Haslum Semi-Relaxed Plan Heuristics. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Hootan Nakhost, Jörg Hoffmann 0001, Martin Müller 0003 Resource-Constrained Planning: A Monte Carlo Random Walk Approach. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Daniel Fitzner, Jörg Hoffmann 0001, Eva Klien Functional description of geoprocessing services as conjunctive datalog queries. Search on Bibsonomy GeoInformatica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001 Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Stollberg, Jörg Hoffmann 0001, Dieter Fensel A Caching Technique for Optimizing Automated Service Discovery. Search on Bibsonomy Int. J. Semantic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Roman Englert, Jörg Hoffmann 0001, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Julie Porteous, Laura Sebastia Ordered Landmarks in Planning Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carmel Domshlak, Jörg Hoffmann 0001 Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001 The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Stefan Edelkamp, Jörg Hoffmann 0001 The Deterministic Part of IPC-4: An Overview Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Bernhard Nebel The FF Planning System: Fast Plan Generation Through Heuristic Search Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jana Koehler, Jörg Hoffmann 0001 On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001 Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). Search on Bibsonomy KI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001 Where Ignoring Delete Lists Works, Part II: Causal Graphs. Search on Bibsonomy ICAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Raz Nissim, Jörg Hoffmann 0001, Malte Helmert Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ingo Weber, Jörg Hoffmann 0001, Jan Mendling Beyond soundness: on the verification of semantic business process models. Search on Bibsonomy Distributed and Parallel Databases The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jörg Hoffmann 0001, Ingo Weber, Frank Michael Kraft SAP Speaks PDDL. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Nazim Fatès, Héctor Palacios Brothers in Arms? On AI Planning and Cellular Automata. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Alexander Koller, Jörg Hoffmann 0001 Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF. Search on Bibsonomy ICAPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Ronen I. Brafman, Hector Geffner, Jörg Hoffmann 0001, Henry A. Kautz (eds.) Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010 Search on Bibsonomy ICAPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Hootan Nakhost, Jörg Hoffmann 0001, Martin Müller 0003 Improving Local Search for Resource-Constrained Planning. Search on Bibsonomy SOCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Jörg Hoffmann 0001, Piergiorgio Bertoli, Malte Helmert, Marco Pistore Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carmel Domshlak, Jörg Hoffmann 0001, Ashish Sabharwal Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ingo Weber, Alistair P. Barros, Norman May, Jörg Hoffmann 0001, Tomasz Kaczmarek Composing Services for Third-party Service Delivery. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Born, Jörg Hoffmann 0001, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna 0001, Ingo Weber, Xuan Zhou 0003 Supporting Execution-Level Business Process Modeling with Semantic Technologies. Search on Bibsonomy DASFAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Grigori Babitski, Florian Probst, Jörg Hoffmann 0001, Daniel Oberle Ontology Design for Information Integration in Disaster Management. Search on Bibsonomy GI Jahrestagung The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 167 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license