Materiały uzupełniające

Gry

• Proof Number Search (opracowanie po polsku: M. Maciak)

• Go-Moku i Threat Space Search (opracowanie po polsku: B. Piechna)

• Przeszukiwanie MTD-f

Uczenie maszynowe

• Drzewo decyzyjne C4.5 (opis, opracowanie po polsku: U. Herman-Iżycka, P. Strzelczak)

• System regułowy CN2

• Integrated Decremental Instance Based Learning

Planowanie i logika

• SatPlan i BlackBox (planowanie przez sprowadzenie do problemu spełnialności)

• TALPlanner (planowanie z wykorzystanie logiki temporalnej)

• Algorytm Stalmarcka (weryfikowanie tautologii, opracowanie po polsku: E. Krępska)

• Temporalne dedukcyjne bazy danych

Bazy wiedzy i ontologie

• OpenCyC (system wnioskowania zdroworozsądkowego oparty na ogólnej bazie wiedzy, www.opencyc.org, opisy i przykład po polsku)

• WordNet (www.cogsci.princeton.edu/~wn, system relacji językowych, opracowanie po polsku: M. Gierulski)

• Informacje o ontologiach po polsku

Systemy wieloagentowe

• dMars (specyfikacja architektury agentów, opracowanie po polsku: A. Grygiel)