Browse our site
Browse member's work
Ph. D. Dissertations
You are here:
I'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.
Ongoing projects: 0
Completed projects: 0
Written books: 0
Book editions: 0
Book chapters: 0
Ph. D. dissertations (inc. superv.)
M. Sc. dissertations (inc. superv.): 0
Technical reports: 0
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541