| 2006 |
|---|
| 26 | EE | Bertram Fronhöfer,
Akihiro Yamamoto:
Hypothesis finding with proof theoretical appropriateness criteria.
Theor. Comput. Sci. 350(1): 140-162 (2006) |
| 2003 |
|---|
| 25 | EE | 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) |
| 2002 |
|---|
| 24 | EE | Bertram Fronhöfer,
Akihiro Yamamoto:
Minimised Residue Hypotheses in Relevant Logic.
ALT 2002: 278-292 |
| 23 | EE | Akihiro Yamamoto,
Bertram Fronhöfer:
A Theory of Hypothesis Finding in Clausal Logic.
Progress in Discovery Science 2002: 246-257 |
| 22 | EE | Manfred Schramm,
Bertram Fronhöfer:
Completing Incomplete Bayesian Networks.
WCII 2002: 200-218 |
| 2000 |
|---|
| 21 | EE | Akihiro Yamamoto,
Bertram Fronhöfer:
Hypotheses Finding via Residue Hypotheses with the Resolution Principle.
ALT 2000: 156-165 |
| 20 | | Bertram Fronhöfer:
Proof Structures and Matrix Graphs.
Intellectics and Computational Logic 2000: 159-173 |
| 1997 |
|---|
| 19 | | Bertram Fronhöfer:
Connection Cutting for Contraction Free Logic.
KI 1997: 385-388 |
| 1996 |
|---|
| 18 | | Bertram Fronhöfer:
Cyclic Rules in Linear Connection Proofs.
KI 1996: 67-70 |
| 17 | | Bertram Fronhöfer:
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison.
TABLEAUX 1996: 193-209 |
| 1992 |
|---|
| 16 | | Bertram Fronhöfer,
Graham Wrightson:
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings
Springer 1992 |
| 15 | | Bertram Fronhöfer:
Linear Proofs and Linear Logic.
JELIA 1992: 106-125 |
| 1991 |
|---|
| 14 | | Bertram Fronhöfer:
Implementing Exceptions in Inheritance by Concept Transforming Actions.
AI*IA 1991: 58-67 |
| 13 | | Bertram Fronhöfer:
Default Connections in a Modal Planning Framework.
EWSP 1991: 39-52 |
| 1989 |
|---|
| 12 | | Gerd Neugebauer,
Bertram Fronhöfer,
Christoph Kreitz:
XPRTS - An Implementation Tool for Program Synthesis.
GWAI 1989: 348-357 |
| 11 | | Wolfgang Bibel,
Luis Fariñas del Cerro,
Bertram Fronhöfer,
Andreas Herzig:
Plan Generation by Linear Proofs: On Semantics.
GWAI 1989: 49-62 |
| 10 | | Bertram Fronhöfer,
Ulrich Furbach:
ALPES: A Programming Environment for Logic Programming.
Wissensbasierte Systeme 1989: 496-506 |
| 1988 |
|---|
| 9 | | Bertram Fronhöfer:
Plan Schemes in PLANLOG.
AIMSA 1988: 169-176 |
| 1987 |
|---|
| 8 | | Bertram Fronhöfer:
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming.
IJCAI 1987: 15-17 |
| 7 | | Bertram Fronhöfer,
Gerd Neugebauer:
ESPRIT Project P973 ALPES: Advanced Logical Programming Environments.
Wissensbasierte Systeme 1987: 388-394 |
| 6 | | Bertram Fronhöfer:
Linearity and Plan Generation.
New Generation Comput. 5(3): 213-225 (1987) |
| 1986 |
|---|
| 5 | | Bertram Fronhöfer,
Ulrich Furbach:
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.
GWAI 1986: 289-300 |
| 1985 |
|---|
| 4 | | Bertram Fronhöfer:
The LOPS-Approach: Towards New Syntheses of Algorithms.
ÖGAI 1985: 164-172 |
| 1984 |
|---|
| 3 | | 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 |
| 2 | | Bertram Fronhöfer,
Ricardo Caferra,
Philippe Jacquet:
Improvement of Recursive Programs from a Logic Programming Point of View.
GWAI 1984: 229-237 |
| 1983 |
|---|
| 1 | | Wolfgang Bibel,
Elmar Eder,
Bertram Fronhöfer:
Towards an Advanced Implementation of the Connection Method.
IJCAI 1983: 920-922 |
