The SCEAS System
Navigation Menu

Search the dblp DataBase


Bertram Fronhöfer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bertram Fronhöfer
    Implementing Exceptions in Inheritance by Concept Transforming Actions. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:58-67 [Conf]
  2. Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
    Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:113-120 [Conf]
  3. Bertram Fronhöfer
    Plan Schemes in PLANLOG. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1988, pp:169-176 [Conf]
  4. Bertram Fronhöfer, Akihiro Yamamoto
    Minimised Residue Hypotheses in Relevant Logic. [Citation Graph (0, 0)][DBLP]
    ALT, 2002, pp:278-292 [Conf]
  5. Akihiro Yamamoto, Bertram Fronhöfer
    Hypotheses Finding via Residue Hypotheses with the Resolution Principle. [Citation Graph (0, 0)][DBLP]
    ALT, 2000, pp:156-165 [Conf]
  6. Bertram Fronhöfer
    Proof Structures and Matrix Graphs. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:159-173 [Conf]
  7. Akihiro Yamamoto, Bertram Fronhöfer
    A Theory of Hypothesis Finding in Clausal Logic. [Citation Graph (0, 0)][DBLP]
    Progress in Discovery Science, 2002, pp:246-257 [Conf]
  8. Bertram Fronhöfer
    Default Connections in a Modal Planning Framework. [Citation Graph (0, 0)][DBLP]
    EWSP, 1991, pp:39-52 [Conf]
  9. Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
    Towards an Advanced Implementation of the Connection Method. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:920-922 [Conf]
  10. Bertram Fronhöfer
    PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:15-17 [Conf]
  11. Bertram Fronhöfer
    Linear Proofs and Linear Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:106-125 [Conf]
  12. Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
    Plan Generation by Linear Proofs: On Semantics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:49-62 [Conf]
  13. Bertram Fronhöfer
    Cyclic Rules in Linear Connection Proofs. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:67-70 [Conf]
  14. Bertram Fronhöfer
    Connection Cutting for Contraction Free Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:385-388 [Conf]
  15. Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet
    Improvement of Recursive Programs from a Logic Programming Point of View. [Citation Graph (0, 0)][DBLP]
    GWAI, 1984, pp:229-237 [Conf]
  16. Bertram Fronhöfer, Ulrich Furbach
    Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:289-300 [Conf]
  17. Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz
    XPRTS - An Implementation Tool for Program Synthesis. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:348-357 [Conf]
  18. Bertram Fronhöfer
    The LOPS-Approach: Towards New Syntheses of Algorithms. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:164-172 [Conf]
  19. Bertram Fronhöfer
    Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:193-209 [Conf]
  20. Bertram Fronhöfer, Ulrich Furbach
    ALPES: A Programming Environment for Logic Programming. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1989, pp:496-506 [Conf]
  21. Bertram Fronhöfer, Gerd Neugebauer
    ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1987, pp:388-394 [Conf]
  22. Manfred Schramm, Bertram Fronhöfer
    Probabilistic Aspects of Score Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2003, v:11, n:Supplement-2, pp:51-74 [Journal]
  23. Bertram Fronhöfer
    Linearity and Plan Generation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1987, v:5, n:3, pp:213-225 [Journal]
  24. Bertram Fronhöfer, Akihiro Yamamoto
    Hypothesis finding with proof theoretical appropriateness criteria. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:350, n:1, pp:140-162 [Journal]

  25. Completing Incomplete Bayesian Networks. [Citation Graph (, )][DBLP]

Search in 0.015secs, Finished in 0.017secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002