dblp.uni-trier.dewww.uni-trier.de

Bertram Fronhöfer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
26EEBertram Fronhöfer, Akihiro Yamamoto: Hypothesis finding with proof theoretical appropriateness criteria. Theor. Comput. Sci. 350(1): 140-162 (2006)
2003
25EEManfred 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
24EEBertram Fronhöfer, Akihiro Yamamoto: Minimised Residue Hypotheses in Relevant Logic. ALT 2002: 278-292
23EEAkihiro Yamamoto, Bertram Fronhöfer: A Theory of Hypothesis Finding in Clausal Logic. Progress in Discovery Science 2002: 246-257
22EEManfred Schramm, Bertram Fronhöfer: Completing Incomplete Bayesian Networks. WCII 2002: 200-218
2000
21EEAkihiro 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

Coauthor Index

1Wolfgang Bibel [1] [11]
2Ramon Brena [3]
3Ricardo Caferra [2] [3]
4Luis Fariñas del Cerro [11]
5Elmar Eder [1]
6Ulrich Furbach [5] [10]
7Christian Gresse [3]
8Andreas Herzig [11]
9Philippe Jacquet [2] [3]
10Christoph Kreitz [12]
11Gerd Neugebauer [7] [12]
12Marie-Laure Potet [3]
13Manfred Schramm [22] [25]
14Graham Wrightson [16]
15Akihiro Yamamoto [21] [23] [24] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)