Bertram Fronhöfer

32 papers A* 2B 5Misc 4Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2006 J jnl
Hypothesis finding with proof theoretical appropriateness criteria.
Theor. Comput. Sci.
Bertram Fronhöfer, Akihiro Yamamoto
2003 J jnl
Probabilistic Aspects of Score Systems.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Manfred Schramm, Bertram Fronhöfer
2002 — conf
A Theory of Hypothesis Finding in Clausal Logic.
Progress in Discovery Science
Akihiro Yamamoto, Bertram Fronhöfer
2002 — conf
Completing Incomplete Bayesian Networks.
WCII
Manfred Schramm, Bertram Fronhöfer
2002 B conf
Minimised Residue Hypotheses in Relevant Logic.
ALT
Bertram Fronhöfer, Akihiro Yamamoto
2000 B conf
Hypotheses Finding via Residue Hypotheses with the Resolution Principle.
ALT
Akihiro Yamamoto, Bertram Fronhöfer
2000 — conf
Proof Structures and Matrix Graphs.
Intellectics and Computational Logic
Bertram Fronhöfer
1997 Misc conf
Connection Cutting for Contraction Free Logic.
KI
Bertram Fronhöfer
1996 Misc conf
Cyclic Rules in Linear Connection Proofs.
KI
Bertram Fronhöfer
1996 B conf
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison.
TABLEAUX
Bertram Fronhöfer
1996 — book
The action-as-implication paradigm - formal systems and application.
Bertram Fronhöfer
1992 B conf
Linear Proofs and Linear Logic.
JELIA
Bertram Fronhöfer
1992 — ed.
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings
Dagstuhl Seminar on Parallelization in Inference Systems
Bertram Fronhöfer, Graham Wrightson
1992 B ed.
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
TABLEAUX
Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl
1991 — conf
Default Connections in a Modal Planning Framework.
EWSP
Bertram Fronhöfer
1991 — conf
Implementing Exceptions in Inheritance by Concept Transforming Actions.
AI*IA
Bertram Fronhöfer
1990 J jnl
Implementing exception in inheritance by concept transforming actions.
Forschungsberichte, TU Munich
Bertram Fronhöfer
1989 — conf
ALPES: A Programming Environment for Logic Programming.
Wissensbasierte Systeme
Bertram Fronhöfer, Ulrich Furbach
1989 J jnl
Default connections in a model planning framework
Forschungsberichte, TU Munich
Bertram Fronhöfer
1989 — conf
Plan Generation by Linear Proofs: On Semantics.
GWAI
Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
1989 — conf
XPRTS - An Implementation Tool for Program Synthesis.
GWAI
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz
1988 J jnl
Logic oriented program synthesis
Forschungsberichte, TU Munich
Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer
1988 Misc conf
Plan Schemes in PLANLOG.
AIMSA
Bertram Fronhöfer
1988 J jnl
Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold
Forschungsberichte, TU Munich
Bertram Fronhöfer, Ulrich Furbach
1987 — conf
ESPRIT Project P973 ALPES: Advanced Logical Programming Environments.
Wissensbasierte Systeme
Bertram Fronhöfer, Gerd Neugebauer
1987 J jnl
Linearity and Plan Generation.
New Gener. Comput.
Bertram Fronhöfer
1987 A* conf
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming.
IJCAI
Bertram Fronhöfer
1986 — conf
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.
GWAI
Bertram Fronhöfer, Ulrich Furbach
1985 — conf
The LOPS-Approach: Towards New Syntheses of Algorithms.
ÖGAI
Bertram Fronhöfer
1984 — conf
Improvement of Recursive Programs from a Logic Programming Point of View.
GWAI
Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet
1984 Misc conf
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.
AIMSA
Ramón F. Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
1983 A* conf
Towards an Advanced Implementation of the Connection Method.
IJCAI
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer