Bertram Fronhöfer

	2006
27		Bertram Fronhöfer, Akihiro Yamamoto: Hypothesis finding with proof theoretical appropriateness criteria. Theor. Comput. Sci. 350(1): 140-162 (2006)
	2003
26		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
25		Bertram Fronhöfer, Akihiro Yamamoto: Minimised Residue Hypotheses in Relevant Logic. ALT 2002: 278-292
24		Akihiro Yamamoto, Bertram Fronhöfer: A Theory of Hypothesis Finding in Clausal Logic. Progress in Discovery Science 2002: 246-257
23		Manfred Schramm, Bertram Fronhöfer: Completing Incomplete Bayesian Networks. WCII 2002: 200-218
	2000
22		Akihiro Yamamoto, Bertram Fronhöfer: Hypotheses Finding via Residue Hypotheses with the Resolution Principle. ALT 2000: 156-165
21		Bertram Fronhöfer: Proof Structures and Matrix Graphs. Intellectics and Computational Logic 2000: 159-173
	1997
20		Bertram Fronhöfer: Connection Cutting for Contraction Free Logic. KI 1997: 385-388
	1996
19		Bertram Fronhöfer: Cyclic Rules in Linear Connection Proofs. KI 1996: 67-70
18		Bertram Fronhöfer: Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. TABLEAUX 1996: 193-209
	1992
17		Bertram Fronhöfer, Graham Wrightson: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings Springer 1992
16		Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl: 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 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

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

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page