Bertram Fronhöfer

Bertram Fronhöfer, Akihiro Yamamoto: Hypothesis finding with proof theoretical appropriateness criteria. Theor. Comput. Sci. 350(1): 140-162 (2006)

Manfred Schramm, Bertram Fronhöfer: Probabilistic Aspects of Score Systems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(Supplement-2): 51-74 (2003)

Bertram Fronhöfer, Akihiro Yamamoto: Minimised Residue Hypotheses in Relevant Logic. ALT 2002: 278-292

Akihiro Yamamoto, Bertram Fronhöfer: A Theory of Hypothesis Finding in Clausal Logic. Progress in Discovery Science 2002: 246-257

Manfred Schramm, Bertram Fronhöfer: Completing Incomplete Bayesian Networks. WCII 2002: 200-218

Akihiro Yamamoto, Bertram Fronhöfer: Hypotheses Finding via Residue Hypotheses with the Resolution Principle. ALT 2000: 156-165

Bertram Fronhöfer: Proof Structures and Matrix Graphs. Intellectics and Computational Logic 2000: 159-173

Bertram Fronhöfer: Connection Cutting for Contraction Free Logic. KI 1997: 385-388

Bertram Fronhöfer: Cyclic Rules in Linear Connection Proofs. KI 1996: 67-70

Bertram Fronhöfer: Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. TABLEAUX 1996: 193-209

Bertram Fronhöfer: Linear Proofs and Linear Logic. JELIA 1992: 106-125

Bertram Fronhöfer, Graham Wrightson (Eds.): Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Lecture Notes in Computer Science 590, Springer 1992, isbn 3-540-55425-4

Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (Eds.): Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992

Bertram Fronhöfer: Implementing Exceptions in Inheritance by Concept Transforming Actions. AI*IA 1991: 58-67

Bertram Fronhöfer: Default Connections in a Modal Planning Framework. EWSP 1991: 39-52

Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62

Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz: XPRTS - An Implementation Tool for Program Synthesis. GWAI 1989: 348-357

Bertram Fronhöfer, Ulrich Furbach: ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme 1989: 496-506

Bertram Fronhöfer: Plan Schemes in PLANLOG. AIMSA 1988: 169-176

Bertram Fronhöfer: Linearity and Plan Generation. New Generation Comput. 5(3): 213-225 (1987)

Bertram Fronhöfer: PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. IJCAI 1987: 15-17

Bertram Fronhöfer, Gerd Neugebauer: ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. Wissensbasierte Systeme 1987: 388-394

Bertram Fronhöfer, Ulrich Furbach: Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI 1986: 289-300

Bertram Fronhöfer: The LOPS-Approach: Towards New Syntheses of Algorithms. ÖGAI 1985: 164-172

Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA 1984: 113-120

Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet: Improvement of Recursive Programs from a Logic Programming Point of View. GWAI 1984: 229-237

Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer: Towards an Advanced Implementation of the Connection Method. IJCAI 1983: 920-922