Publications of Bertram Fronhöfer

Bertram Fronhöfer

Journal Articles

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
Probabilistic Aspects of Score Systems
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS), 11(Suppl.):51-74, November 2003
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

Proceedings Articles

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

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

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

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

Manfred Schramm, Bertram Fronhöfer
PIT: A System for Reasoning with Probabilities.
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, 109-123, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download

Manfred Schramm, Bertram Fronhöfer
On Efficient Decision Preserving Translations of Score Systems into Probabilistic 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, 79-93, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download

Books

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

Book Chapters

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

Technical Reports

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