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 |