REWERSE - reasoning on the web

Viviana Patti

Associated Member of REWERSE participant


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

go to top of page