Bertram Fronhöfer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
Hypothesis finding with proof theoretical appropriateness criteria Theoretical Computer Science	2006-03-20	Paper
Conditionals, Information, and Inference Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2086334 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2080447 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1966623 (Why is no real title available?)	2003-08-18	Paper
scientific article; zbMATH DE number 1748578 (Why is no real title available?)	2002-11-13	Paper
scientific article; zbMATH DE number 1292302 (Why is no real title available?)	1999-05-30	Paper
scientific article; zbMATH DE number 1203398 (Why is no real title available?)	1998-09-28	Paper
Linearity and plan generation New Generation Computing	1987-01-01	Paper
scientific article; zbMATH DE number 3992946 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Bertram Fronhöfer