Alessandro (Ale) Provetti

Vita(OOD) (also in .pdf or .ps)

Publications Archive

Bookmarks

Guest D. J. (read editor) of a special issue of Theory and Practice of Logic Programming on Answer Set Programing, which follows-up on ASP2001 Symposium.

Organizer of M²AG, the Italian Chapter of Texas Action Group.

---

Class Pages (mostly in Italian).

• Data basesSpring 2002.
• Algorithms Spring 2002, Fall 2001 and Fall 2000.
• Artificial Intelligence Spring 2002 (Messina), Spring 2002 (Milan) and Spring 2001.
• Automated Planning Spring 2001.
• CS for Biotechnologies majors Fall 2001.

---

Sep. 2000: with Maurice Pagnucco at the prestigious Malpensa Express terminal. .

I was exchange PhD student, and instructor in El Paso, then home of my guru.. Prof. Michael Gelfond.

Texas, as seen by Alberto Burri, 1945:

---

In spicy Parmesan dialect, local people who moved abroad are called strajé. A warm greeting to these fellows of mine: may you never run out of beloved cheese and ham.

A quiet evening stroll in Parma, Italy:

---

Research Interests

• Inference over Semantic Web (DAML+OIL) stuctures, supervisor of ontology work by Franco Salvetti;
• Consistency of logic programs and Stable Models computation, joint work with Stefania Costantini;
• reasoning about actions, expecially narrative assimilation and causal explanation, joint works with Michael Gelfond, Chitta Baral and others;
• Logic programming exp. semantics, as a the computational side of knowledge representation.

Ego massage: you may see my citations on Researchindex or maybe an incomplete list of pubblications on DBLP.

---

---

Education

January 1996.

Phd (dottorato di ricerca) in Computer Science and Law at C.I.R.F.I.D. - "Hans Kelsen" Interdipartmental Research Centre for Informatics and Law. University of Bologna,Italy.
Dissertation: Towards the Formalization of Causal Aspects of Legal Reasoning. Supervisors: G. A. Lanzarone and M. Matteuzzi.

September 1991.

MSc in Foundations of Advanced Information Technology. Imperial College - Department of Computing, London (UK).
Dissertation: On the Temporal Aspects of Representing Legislation in Logic. Supervisor: M. J. Sergot.

July 1990.

Degree (Laurea) in Science dell'Informazione, University of Milan, Italy.
Dissertation: The Presentation of Completion Procedures and their Applications. Supervisor: G. Degli Antoni.

---

---

Life beyond computing.

Here's what I like (as if you care):

Readings:

Borges, Kundera, Camus, Le Carré and now Houllebecq.

Movies:

Olmi, Avati, Buñuel.

Music:

right now listening Gotan Project, Ryuichi Sakamoto and Astor Piazzolla.

Food:

pasta, salads, B-B-Q, exp. Italian sausages.

Beverages:

red wines, expecially Gutturnio, Chianti and Rioja.

Travel:

Tireless walking around in historic towns and mountain excursions. I like particularly the Dolomiti valleys.

---

---

Contact me at:

Dept. of Computer Science		Dip. di Scienze dell'Informazione
University of Texas at El Paso		Università di Milano
El Paso, TX 79968 U.S.A.		Milan, I-20135 Italy
Voice: (915) 747-6956 Fax: (915) 747-5030		Voice: +39-02-503.16290 Fax: +39-02-5835.6373
provetti@cs.utep.edu		provetti@dsi.unimi.it

---

---

June 2002 / Home Page / Ale Provetti / provetti@cs.utep.edu

---