BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200929T100000
DTEND;TZID=Europe/Paris:20200929T110000
DTSTAMP:20260505T064908
CREATED:20200921T081202Z
LAST-MODIFIED:20201216T174024Z
UID:9921-1601373600-1601377200@www.greyc.fr
SUMMARY:Séminaire ALGO :  Sergej Scheck (GREYC)\, Knowledge Compilation for Action Languages
DESCRIPTION:Abstract : Computational efficiency of a planner in automated planning depends among other things on the formal representation of actions. This motivates the study of the relative succinctness and complexity of queries for languages that can be used to represent actions. We are going to investigate variants of two most common representations\, namely the boolean formulas and the planning domain description language PDDL. We will also investigate the complexity of checking whether one state is a possible successor of another state via a given action. »
URL:https://www.greyc.fr/event/seminaire-algo-sergej-scheck-greyc-knowledge-compilation-for-action-languages/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,Séminaire Algo
END:VEVENT
END:VCALENDAR