Chargement de la vue.
Séminaire Image
GREYC Bâtiment F 6 Boulevard du Maréchal Juin, Bâtiment F , CaenJournée du GREYC
GREYC Bâtiment F 6 Boulevard du Maréchal Juin, Bâtiment F , CaenSéminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages
Sciences 3- S3 351Abstract : 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 … Continue reading Séminaire ALGO : Sergej Scheck (GREYC), Knowledge Compilation for Action Languages