In this talk I will discuss the role of common domains in the performance and evaluation of research in AI. Many of my examples will come from the search literature, where common domains include Chess, the Fifteen Puzzle, the N-Queens Problem, the Travelling Salesman Problem, and random boolean satisfiability problems. I will argue that the primary benefits of common domains are that they facil...

Swarm robotics is about constructing and controlling swarms of autonomous robots that cooperate to perform tasks that go beyond the capabilities of the single robots in the swarm. In this talk, I will give an overview of recent and ongoing research in swarm robotics in my research lab, IRIDIA, at the Universit Libre de Bruxelles. In particular, I will present results obtained with homogeneous a...

Vincent Aleven Intelligent tutoring systems (ITS) are highly effective in supporting student learning, but are difficult to build. The Cognitive Tutor Authoring Tools (CTAT) project started over 6 years ago with the goals of making it easier for experienced programmers, and possible for non-programmers to create an ITS. CTAT supports tutor building through programming by demonstration, an appro...

This is a joint work with P.Bressler, R. Nest and B. Tsygan. We will discuss problems in which formal deformations of etale groupoids and gerbes arise and give an explicit description of the differential graded Lie algebra which controls this deformation theory. • Maxim Kontsevich (IHES) Title: On the degeneration of the Hodge to de Rham spectral sequence. Abstract: Several years ago I proposed...

the end of cold war created a unique opportunity for both the arabs and israelis to end their animosity and for the united states to play an important role to bring them to peace negotiations. therefore, during the 1990s, the u.s. facilitated several rounds of talks between syria and israel, but the negotiations complicated gradually. the talks were stalled over the fact that israel did not wan...