Fronhöfer, Bertram

4 publications

ALT 2002 Minimised Residue Hypotheses in Relevant Logic Bertram Fronhöfer, Akihiro Yamamoto

ALT 2000 Hypotheses Finding via Residue Hypotheses with the Resolution Principle Akihiro Yamamoto, Bertram Fronhöfer

IJCAI 1987 PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming Bertram Fronhöfer

IJCAI 1983 Towards an Advanced Implementation of the Connection Method Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer