Bertram Fronhöfer

Publication Activity (10 Years)

Years Active: 1983-2006
Publications (10 Years): 0

Publications

Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis finding with proof theoretical appropriateness criteria. Theor. Comput. Sci. 350 (1) (2006)
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 11 (Supplement-2) (2003)
Akihiro Yamamoto, Bertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic. Progress in Discovery Science (2002)
Bertram Fronhöfer, Akihiro Yamamoto
Minimised Residue Hypotheses in Relevant Logic. ALT (2002)
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks. WCII (2002)
Akihiro Yamamoto, Bertram Fronhöfer
Hypotheses Finding via Residue Hypotheses with the Resolution Principle. ALT (2000)
Bertram Fronhöfer
Proof Structures and Matrix Graphs. Intellectics and Computational Logic (2000)
Bertram Fronhöfer
Connection Cutting for Contraction Free Logic. KI (1997)
Bertram Fronhöfer
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. TABLEAUX (1996)
Bertram Fronhöfer
Cyclic Rules in Linear Connection Proofs. KI (1996)
Bertram Fronhöfer
Linear Proofs and Linear Logic. JELIA (1992)
Bertram Fronhöfer
Implementing Exceptions in Inheritance by Concept Transforming Actions. AI*IA (1991)
Bertram Fronhöfer
Default Connections in a Modal Planning Framework. EWSP (1991)
Bertram Fronhöfer
Implementing exception in inheritance by concept transforming actions. Forschungsberichte, TU Munich (1990)
Bertram Fronhöfer, Ulrich Furbach
ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme (1989)
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz
XPRTS - An Implementation Tool for Program Synthesis. GWAI (1989)
Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
Plan Generation by Linear Proofs: On Semantics. GWAI (1989)
Bertram Fronhöfer
Default connections in a model planning framework Forschungsberichte, TU Munich (1989)
Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer
Logic oriented program synthesis Forschungsberichte, TU Munich (1988)
Bertram Fronhöfer
Plan Schemes in PLANLOG. AIMSA (1988)
Bertram Fronhöfer, Ulrich Furbach
Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold Forschungsberichte, TU Munich (1988)
Bertram Fronhöfer
Linearity and Plan Generation. New Gener. Comput. 5 (3) (1987)
Bertram Fronhöfer
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. IJCAI (1987)
Bertram Fronhöfer, Gerd Neugebauer
ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. Wissensbasierte Systeme (1987)
Bertram Fronhöfer, Ulrich Furbach
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI (1986)
Bertram Fronhöfer
The LOPS-Approach: Towards New Syntheses of Algorithms. ÖGAI (1985)
Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet
Improvement of Recursive Programs from a Logic Programming Point of View. GWAI (1984)
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)
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
Towards an Advanced Implementation of the Connection Method. IJCAI (1983)