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

Jörg Hoffmann Home Page Coauthor index pubzone.org

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

DBLP keys2012
87Electronic 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)
2011
86Electronic 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
85Electronic 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
84Electronic 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)
83Electronic 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)
82Electronic 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)
81Electronic 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)
80Electronic 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)
79Electronic 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)
78Electronic 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)
77Electronic 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)
76Electronic 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)
2010
75no 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ingo Weber, Frank Michael Kraft: SAP Speaks PDDL. AAAI 2010
73Electronic 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
72Electronic 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
71Electronic 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)
2009
70Electronic 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
69Electronic 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
68Electronic 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
67no 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
66Electronic 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
65Electronic 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)
64Electronic 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)
2008
63no 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
62no 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
61Electronic 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
60Electronic 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
59Electronic 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
58Electronic 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
57Electronic 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
56Electronic 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
55Electronic 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
54Electronic 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
53Electronic 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
2007
52no 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
51no 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
50Electronic 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
49Electronic 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
48Electronic 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
47Electronic 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
46Electronic 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
45Electronic 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdina Sirbu, Jörg Hoffmann: Scalable Web Service Composition with Partial Matches. KWEPSY 2007
43Electronic 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
42Electronic 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
41Electronic 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
40Electronic 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)
39Electronic 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)
38Electronic 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)
2006
37no 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
36no 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
35no 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
34Electronic 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
33Electronic 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
32Electronic 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
31Electronic 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)
30Electronic 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)
2005
29no 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Sebastian Kupferschmid: A Covering Problem for Hypercubes. IJCAI 2005: 1523-1524
27Electronic 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)
26Electronic 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)
25Electronic 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)
2004
24no 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
23Electronic 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
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)
2003
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)
2002
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
2001
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)
2000
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)
1999
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
1997
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

Coauthor Index

1Corin R. Anderson [5]
2Mihai Andrei [58]
3Darko Anicic [32]
4Anupriya Ankolekar [56]
5Grigori Babitski [68] [69]
6Alistair P. Barros [66]
7Sean Bechhofer [63]
8Gerd Behrmann [33] [41]
9Simon Bergweiler [68]
10Arne-Jørgen Berre [58]
11Piergiorgio Bertoli [49] [52] [65]
12Blai Bonet [5]
13Matthias Born [57] [70]
14Ronen I. Brafman [24] [29] [31] [75]
15Michael Brenner [5]
16Michael L. Brodie [32]
17Jos de Bruijn [32]
18Dunbo Cai [67]
19Luis Costa [58]
20Henning Dierks [33] [41]
21Yannis Dimopoulos [1]
22Carmel Domshlak [35] [37] [39] [64] [78]
23Klaus Dräger [41]
24Philippe Duchesne [58]
25Stefan Edelkamp [26] [30] [79] [80]
26Roman Englert [30] [79]
27Nazim Fatès [73]
28Dieter Fensel [32] [76]
29Bernd Finkbeiner [41]
30Daniel Fitzner [58] [77]
31Maria Fox [5]
32Hector Geffner [5] [19] [75]
33Carla P. Gomes [36] [38] [40] [42] [43] [46] [47]
34Guido Governatori [61] [87]
35Miha Grcar [58]
36Thomas Haselwanter [32]
37Patrik Haslum [51] [62]
38Manfred Hauswirth [63]
39Malte Helmert [51] [62] [65] [67] [86]
40Martin Hepp [32] [45]
41Stijn Heymans [32]
42Tomasz Kaczmarek [48] [56] [57] [66] [70]
43Henry A. Kautz [5] [47] [75]
44Mick Kerrigan [32]
45Eva Klien [58] [77]
46Jana Koehler (Jana Köhler) [1] [2] [3] [4] [5] [6] [84]
47Jacek Kopecký [32]
48Manolis Koubarakis [63]
49Marek Kowalkiewicz [57] [70]
50Frank Michael Kraft [74]
51Reto Krummenacher [32]
52Sebastian Kupferschmid [28] [33] [34] [41] [53]
53Joel Langlois [58]
54Kim Guldstrand Larsen (Kim G. Larsen) [53]
55Holger Lausen [32]
56Freddy Lécué [49]
57Andreas Limyr [58]
58Frederico dos S. Liporace [30] [79]
59Derek Long [5]
60Ivan Markovic [57] [70]
61Patrick Maué [58]
62Norman May [66]
63Jan Mendling [50] [59] [71]
64Adrian Mocan [32]
65Martin Müller [72]
66Hootan Nakhost [72]
67Bernhard Nebel [1] [11] [18] [23] [27] [83]
68Raz Nissim [86]
69Jörg Nitzsche [50]
70Daniel Oberle [69]
71Héctor Palacios [73]
72Marco Pistore [49] [52] [65]
73Andreas Podelski [34] [41]
74Julie Porteous [22] [81]
75Florian Probst [69]
76Jussi Rintanen [9]
77Frank Rittinger [5]
78Andrey Rybalchenko [34]
79Ashish Sabharwal [35] [42] [43] [46] [64]
80Shazia Wasim Sadiq (Shazia W. Sadiq) [61]
81Sven Schade [58]
82Daniel Schön [68]
83James Scicluna [32] [48] [56] [57] [70]
84Laura Sebastia [22] [81]
85Bart Selman [5] [36] [38] [40] [42] [43] [46] [47]
86Adina Sirbu [44] [55]
87Jan-Georg Smaus [34] [54]
88David E. Smith [5]
89Christoph Stasch [68]
90Nathalie Steinmetz [58]
91Michael Stollberg [45] [76]
92Francois Tertre [58]
93Sylvie Thiébaux [18] [27] [30] [79]
94Ioan Toma [32]
95Sebastian Trüg [23] [30] [79]
96Laurentiu Vasiliu [58]
97Alexander C. Walkowski [68]
98Ingo Weber (Ingo M. Weber) [48] [50] [56] [57] [59] [61] [66] [70] [71] [74] [87]
99Daniel S. Weld [5]
100Raluca Zaharia [58]
101Michal Zaremba [32]
102Nicolas Zastavni [58]
103Xuan Zhou [57] [70]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page