| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| HoffmannBrafman2005a | Hoffmann, Jörg
Brafman, Ronen | 2005 | | Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | Proceedings Article |
| HoffmannBrafman2006 | Hoffmann, Jörg
Brafman, Ronen I. | 2006 | | Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541 | Journal Article |
| HoffmannEdelkamp2005 | Hoffmann, Jörg | 2005 | | The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579 | Journal Article |
| HoffmannEtal2004 | Hoffmann, Jörg
Porteous, Julie
Sebastia, Laura | 2004 | | Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278 | Journal Article |
| HoffmannEtal2006a | Hoffmann, Jörg
Gomes, Carla
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), 284-293 | Proceedings Article |
| HoffmannEtAl2006b | Hoffmann, Jörg
Sabharwal, Ashish
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), 294-303 | Proceedings Article |
| HoffmannGeffner2003 | Hoffmann, Jörg
Geffner, Hector | 2003 | | Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31 | Proceedings Article |
| HoffmannKupferschmid2005 | Hoffmann, Jörg | 2005 | | A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | Poster |
| hop94 | Hopf, Jörn
Klawonn, Frank | 1994 | | Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | Part of a Book |
| Hopf93a | Hopf, Jörn
Klawonn, Frank | 1993 | | Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27 | Proceedings Article |
| Hopf94b | Hopf, Jörn | 1994 | | Genetic Algorithms within the Framework of Evolutionary Computation | Miscellaneous |
| Hopf96a | Claus, Hopf, Schwefel (ed.) | 1996 | | Evolutionary Algorithms and their Application | Report |
| Hopf96b | Hopf, Jörn | 1996 | | Optimizing Photo Mask Layout for Grey-tone Lithography | Report |
| Hopf96b | Hopf, Jörn | 1996 | | Optimizing Photo Mask Layout for Grey-tone Lithography | Report |
| Hopf96c | Hopf, Jörn
Rau, Rainer | 1996 | | Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336 | Proceedings Article |
| Hopf97a | Hopf, Jörn | 1997 | | Cooperative Coevolution of Fuzzy Rules
In: Proceedings of the 2nd International ICSC Symposium on Fuzzy Logic and Applications (ISFL-97), 337-381 | Proceedings Article |
| HopfDiss2001 | Hopf, Jörn | 2001 | | Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes | Thesis - PhD thesis |
| HPT02 | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | 2002 |  | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Proceedings Article |
| HSW1998 | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | 1998 | | Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | Proceedings Article |
| Hustadt1999 | Hustadt, Ullrich | 1999 | | Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes | Thesis - PhD thesis |
| Hustadt2001handbook | Fermüller, Christian G.
Leitsch, Alexander
Hustadt, Ullrich
Tammet, Tanel | 2001 | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book |
| Hustadt93a | Hustadt, Ullrich | 1993 | | Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Proceedings Article |
| Hustadt93b | Hustadt, Ullrich | 1993 | | Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93, | Proceedings Article |
| Hustadt93c | Hustadt, Ullrich
Nonnengart, Andreas | 1993 | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article |
| Hustadt94b | Hustadt, Ullrich | 1994 | | Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), | Proceedings Article |
| Hustadt94b2 | Hustadt, Ullrich | 1994 | | Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124 | Proceedings Article |
| Hustadt94c | Hustadt, Ullrich | 1994 | | Do we need the closed-world assumption in knowledge representation?
In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26 | Proceedings Article |
| Hustadt94c2 | Hustadt, Ullrich | 1994 | | Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294 | Proceedings Article |
| Hustadt94d | Hustadt, Ullrich | 1994 | | A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92 | Proceedings Article |
| Hustadt95b | Hustadt, Ullrich | 1995 | | Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85 | Part of a Book |
