Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Browse member's work
You are here:

Member summary

InformationI'm a PhD student since October 2003 at the Department of Computer Science / Faculdade de Ciências e Tecnologia/Universidade Nova de Lisboa under the supervision of professor José Alferes and from Universitade Nova de Lisboa and professor Antonio Brogi from Department of Computer Science University of Pisa.

I took my master degree in Mathematics at Department of Mathematichs, Univeristy of Pisa with a thesis in Logic Programming.

The subjet of my PhD thesis is the development of a language and semantics for specifications of logic programming updates and related applications. I wrote a number of papers on this subject.

I have been involved in the Flux project and I am currently involved in the Rewerse Project on the semantic Web where I'm applying the results of my research to the problem of specifying and implement evolution and reactivity of Web Sources.

My main research interests are in the Artificial Intelligence Area and particulary in Logic Programming and Non Monotonic Reasoning. I'm studying and developing techniques for updating knowledge bases. The most promising area of applications for my studies are the implementation of logic based A.I. agents and the automatic updates of web sites.
Projects
  • Ongoing projects: 0
  • Completed projects: 0
Publications
CENTRIA member

Federico Banti
Former member

Federico Banti

School: FCT/UNL
Country: Portugal
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT