Università di Torino
Matteo Baldoni's Home Page
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.
My publications (by year [1993-2013], 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
|Last update: Nov 18, 2012|