Conferencias
Conferencia: ASP with resources and preferences
Conferencia: "ASP with resources and preferences", impartida por Stefania Costantini (Università de L'Aquila, Italia).
Data: Mércores, 7 de setembro de 2011.
Hora: 11:30 hh
Lugar: Seminario 4.1, Facultade de Informática, Campus de Elviña, A Coruña.
Resumo:
RASP is a recent extension of Answer Set Programming that permits declarative specification and reasoning on consumption and production of resources. In this talk, we describe how RASP supports both formalization and quantitative reasoning on consumption and production of amounts of resources, and the specification of preferences. We also provide some hints about how the concept of strong equivalence can be extended from ASP to RASP.
Organiza: Máster Universitario en Computación
Departamento de Computación
