DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Matteo Baldoni's Home Page 

spacer
     
 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
spacer
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.

 

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

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

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

spacer    Teaching (only in Italian)

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

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

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

spacer    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

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

spacer    Matteo Baldoni's access restricted home page

spacer    A Simple Spirograph simulator


[Group's HOME] [Department's HOME]
Last update: Apr 16, 2015
Related searches:
torino universit reasoning agrave science
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.