Bertram Fronhöfer

From International Center for Computational Logic

Dr. Bertram Fronhöfer

Former member
Bertram Fronhöfer

Newest Publications

View full publication list

Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details
Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006
Details
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Rödder and Friedhelm Kulmann, eds., Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, LNAI, 200-218, 2005. Springer
Details
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS), 11(Suppl.):51-74, November 2003
Details
Bertram Fronhöfer, Steffen Hölldobler
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002
Technical Report, TU Dresden, 01062 Dresden, volume TUD--FI03--03, April 2003
Details
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Roedder, eds., Conditionals, Information, and Inference, 231-243, May 2002. Fernuniversität, Gesamthochschule in Hagen
Details
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, 7(007), 2002
Details
Bertram Fronhöfer, Akihiro Yamamoto
Minimised Residue Hypotheses in Relevant Logic
In Nicolò Cesa-Bianchi and Masayuki Numao and Rüdiger Reischuk, eds., Proceedings of the 13th International Conference on Algorithmic Learning Theory, volume 2533 of Lecture Notes in Artificial Intelligence, 278-292, 2002. Springer
Details
Akihiro Yamamoto, Bertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic
In Setsuo Arikawa and Ayumi Shinohara, eds., Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, 246-257. Springer, 2002
Details
Bertram Fronhöfer, Manfred Schramm
A Probability Theoretic Analysis of Score Systems
In Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert, eds., KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, 95-108, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download
View full publication list