BibTeX cite key | Author/Editor | Year | | Title | Type |
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 |
HustadtSchmidt97b | Hustadt, Ullrich
Schmidt, Renate A. | 1997 | | On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207 | Proceedings Article |
HustadtSchmidt98a | Hustadt, Ullrich
Schmidt, Renate A. | 1998 | | Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201 | Proceedings Article |
HustadtSchmidt99a | Hustadt, Ullrich
Schmidt, Renate A. | 1999 | | Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Proceedings Article |
HustadtSchmidt99b | Hustadt, Ullrich
Schmidt, Renate A. | 1999 | | On the relation of resolution and tableaux proof systems for description logics
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115 | Proceedings Article |
HustadtSchmidt99e | Hustadt, Ullrich
Schmidt, Renate A. | 1999 | | An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522 | Journal Article |
ICTL94 | Gabbay, Ohlbach (ed.) | 1994 | | Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic | Proceedings |
jacobs-sofronie-pdpar-06 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | 2006 | | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article |