Search Results for Planning.

2 sonuç bulundu

Tümünü Seç

00DEFAULTTR

Yazar

Kifer, M. (Michael), 1954-, editor, author.

Abstract with links to full text http://dx.doi.org/10.1145/3191315

Format:

Electronic Resources

Alıntı:

model checking -- 8.3 Infinite-state model checking -- 8.4 Simple planning via tabled search -- 8.5

Yazar

Jacobson, Ivar, author.

Abstract with links to full text http://dx.doi.org/10.1145/3277669

Format:

Electronic Resources

Alıntı:

8. Applying Essence in the small--playing serious games -- 8.1. Progress poker -- 8.2. Chasing the

Tümünü Seç

2 sonuç bulundu

	{displayName}	{count}
{error}