COLIN: Planning with Continuous Linear Numeric Change

In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantics of

• Type: Journal
• Year: 2012
• Where: JAIR
• Authors: Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
• Keywords: Hardware, JAIR 2012, Numeric Change, Search Planner, Temporal Semantics