Reasoning in high schools: Do it with ASP! ?


We report on a teaching experiment carried on in some high schools of the Friuli Venezia Giulia region. Starting with a two-hours talk on Artificial Intelligence and games proposed two years ago, the project went on with a short course on modeling with Answer Set Programming for students last year. In the current third year a course addressed to (high school) teachers has been organized. The aim is to prepare with them didactical material for their students to be used in the following years in the same schools, and possibly in other schools, without the need of lectures held by an external logic programming expert.

CEUR Workshop Proceedings