DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Matteo Baldoni's Home Page 

     
Current address:
Dipartimento di Informatica
Università degli Studi di Torino
Corso Svizzera, 185
I-10149 Torino (ITALY)

e-mail: baldoni [at] di [dot] unito [dot] it (my pgp public key)
Tel.:      +39 011 670 67 56
Fax.:     +39 011 75 16 03


What is this?


Matteo Baldoni was born in Torino in 1968.
He took his ``Laurea'' degree ``summa cum laude'' in Computer Science in February 1993 and his Ph.D. in Computer Science in May 1998, both at the University of Turin, Italy.

Currently he is associate professor at the Department of Computer Science, Università degli Studi di Torino where he is member of the Logic Programming & Automatic Reasoning group.

From July 1999 through September 2006 he was a researcher at the Department of Computer Science, Università degli Studi di Torino.

From February through October 1998 he has been visiting the Laboratoire d'Informatique de Marseille (LIM) where he worked in the group of Représentation et traiement logique des connaissances under the supervision of Camilla Schwind.

He has a background in computational logic, modal and nonmonotonic extensions of logic programming, multimodal logics, reasoning by actions and change.
His current research interests include issues in communication protocol design and implementation, conformance and interoperabilty for agents and web services, agent programming languages, and personalization by reasoning in the semantic web.

 

   My publications (by year [1993-2015], by keywords, by title words), see also the current connection graph

   My PhD thesis (revised version): Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension (download gzipped ps or pdf)

   Logic Programming and Automatic Reasoning Group's Home Page
   Advanced Logic in Programming Environment (ALiCE's Home Page)
   Extraction of Fractal Features for Image Recognition Home Page

   Teaching (only in Italian)

   Member of the Steering Commitee of the Workshop "From Objects to Agents" (see also DBLP) and
     member of the Network of Excellence

   Co-chair and organiser of: (see also DBLP), (see also DBLP),

   Editor of the following volumes:
     , , , (buy it at Springer Web Site)

   I am envolved as PC Member in the following events: IJCAI 2009, AAMAS 2009, WEBIST 2009, ABIS 2009, ICAART 2009, RCRA 2008, DMBIO 2008, RuleML 2008, WS-FM 2008, ICWS 2008, ProMAS'08, IEEE SCC 2008, ESSLLI-LAM'08, WEBIST 2008, AAMAS 2008, DALT 2008, AASWE 2008, EUMAS'07, Roles'07, MALLOW'007, MALLOW-LADS'007, WS-FM 2007, WEBIST 2007, ProMAS'07, DALT 2007, KES-AMSTA 2007, MoodleMoot Italia 2007, WS-FM 2006, SWP 2006, PPSWR 2006, WWW/Internet 2006, DALT 2006, ISA 2006, WWW/Internet 2005, ISA2005, CILC 2004, WOA 2003, WOA 2002

  Software: I-learn @ Home (CD-Live), ,

   Matteo Baldoni's access restricted home page

   A Simple Spirograph simulator


[Group's HOME] [Department's HOME]

Last update: Apr 16, 2015