Bertram Fronhöfer

From MaRDI portal
Person:817839

Available identifiers

zbMath Open fronhofer.bertramMaRDI QIDQ817839

List of research outcomes





PublicationDate of PublicationType
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison2019-01-10Paper
Hypothesis finding with proof theoretical appropriateness criteria2006-03-20Paper
Conditionals, Information, and Inference2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q30445042004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44732382004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44207562003-08-18Paper
https://portal.mardi4nfdi.de/entity/Q45304632002-11-13Paper
https://portal.mardi4nfdi.de/entity/Q42443091999-05-30Paper
https://portal.mardi4nfdi.de/entity/Q42096251998-09-28Paper
Linearity and plan generation1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47207991986-01-01Paper

Research outcomes over time

This page was built for person: Bertram Fronhöfer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:817839&oldid=7327887"
Powered by MediaWiki