Enrico Giunchiglia

numeric planning (2) automated planning (1) constraint solving (1) automated reasoning (1) symbolic planning (1) answer set programming (1) planning algorithm (1) smt solving (1) classical planning (1) logic programming (1) optimal planning (1) stable model (1) action planning (1) satisfiability modulo theories (1) concurrent planning (1) pddl planning (1) conditional effect (1) satisfiability encoding (1) planning as satisfiability (1) optimization modulo theories (1)