Course info

Planning deals with intelligent decision making to decide which actions to perform and how to schedule them during execution. This includes a broad class of problems that has all kinds of applications in different fields. Some examples include scheduling jobs in factory control, finding sequences of chemistry reactions, discourse planning in natural language generation, finding weaknesses in network security, etc. Despite these applications look completely different from each other, they can be solved with general planning tools that anyone can apply to their own problems by modelling them in the corresponding mathematical formalism.  

This course introduces several planning tools to a broad audience with math/cs/engineering background. We cover three different perspectives: AI planning, model checking, and operational research.  

Students will learn the basics of how each area models planning problems. There will be hands-on sessions where students will familiarize themselves with the tools and will apply them to solve some exercises, possibly related to their own areas.

Organizer:         Alvaro Torralba

Lecturers:          Alvaro Torralba, Kim G. Larsen, Peter G. Jensen, and (to be confirmed) Peter Nielsen 

ECTS:                  2

Time:                 November 14 (8:15 to 12:00), November 15 (8:15 to 12:00 and 12:30 to 16:15) and November 16 (12:30 to 16:15)

Place:

Zip code:

City:

Number of seats:    15

Deadline:            24 October 2023

Important information concerning PhD courses:

We have over some time experienced problems with no-show for both project and general courses. It has now reached a point where we are forced to take action. Therefore, the Doctoral School has decided to introduce a no-show fee of DKK 3.000 for each course where the student does not show up. Cancellations are accepted no later than 2 weeks before start of the course. Registered illness is of course an acceptable reason for not showing up on those days. Furthermore, all courses open for registration approximately four months before start. This can hopefully also provide new students a chance to register for courses during the year. We look forward to your registrations.