1016 search results - page 117 / 204 » Knowledge Representation Requirements for Intelligent Tutori... |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
SBRN
2002
IEEE
14 years 1 months ago
2002
IEEE
This article presents the system “Neural Connect 4”, a program that plays the game Connect Four. This system employs the multilayer perceptron architecture which is learning t...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
HAIS
2008
Springer
13 years 10 months ago
2008
Springer
The continuous advances in genomics, and specifically in the field of transcriptome, require novel computational solutions capable of dealing with great amounts of data. Each expre...