Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany

First Page		Document Content
Date: 2016-06-09 08:09:13 Automated planning and scheduling Planning Domain Definition Language Mathematics Heuristic Search algorithm Algorithm Equation solving Philosophy of mathematics Abstraction		Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany Add to Reading List Source URL: icaps16.icaps-conference.org Download Document from Source Website File Size: 143,61 KB Share Document on Facebook

	Philosophy of Mathematics SIGMAA Charter DocID: 1vqOI - View Document
	POMSIGMAA Newsletter Spring/Summer, 2008 Greetings from the Executive Board of POMSIGMAA, the Special Interest Group of the Mathematical Association of America for the Philosophy of Mathematics. We have newsletters twi DocID: 1vfZq - View Document
	Philosophy of Mathematics SIGMAA Charter DocID: 1vcBM - View Document
	Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017 DocID: 1v2tx - View Document
	Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure Mathematics DocID: 1v1R7 - View Document