Viviana Patti
Associated Member of REWERSE participant
Turin
Involvement in REWERSE packages
A3,
I2
Former and current employments
Current professional interests
- knowledge representation and computational logic
 
- adaptive web and education
 
- automated reasoning on the semantic web
 
- interaction protocol design and implementation, especially for
web services
 
Former professional interests
- modal and nonmonotonic extensions of logic programming
 
- applications of computational logics for agent programming
 
- reasoning about actions and change
 
Professional web page
http://www.di.unito.it/~patti/