Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical - Model of computation - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science		Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Download Document from Source Website File Size: 286,91 KB Share Document on Facebook

	Heuristic Evaluation Functions for General Game Playing DocID: 1qSuo - View Document
	Automatic Construction of a Heuristic Search Function for General Game Playing Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden DocID: 1pxnr - View Document
	Distributed Computing Prof. R. Wattenhofer Bachelor’s thesis: Ranking alternatives offline DocID: 1mZq5 - View Document
	Games and Economic Behavior–385 www.elsevier.com/locate/geb Identifying individual differences: An algorithm with application to Phineas Gage Daniel Houser a,∗ , Antoine Bechara b , Michael Keane c , DocID: 1gnph - View Document
	PNBA*: A Parallel Bidirectional Heuristic Search Algorithm Luis Henrique Oliveira Rios1 , Luiz Chaimowicz1 1 Departamento de Ciˆencia da Computac¸a˜ o Universidade Federal de Minas Gerais (UFMG) – Belo Horizonte, MG DocID: 1gfQN - View Document