Towards a Joint European Laboratory on
Interacting Knowledge Systems

 

Centre National de la Recherche Scientifique - Institut de Recherche en Informatique de Toulouse (IRIT-CNRS)

Consiglio Nazionale delle Ricerche - Istituto di Scienze e Tecnologie della Cognizione (ISTC-CNR)

Università di Trento

Istituto Trentino di Cultura - Centro per la Ricerca Scientifica e Tecnologica (IRST-ITC)

 

Preparatory Meeting

 

Wednesday November 19, 2003

 Polo Tecnologico, via Solteri 38, Trento, Room B (ground floor)

 

9:00     Presentation of the meeting context and aims, Nicola Guarino & Laure Vieu, LOA-ISTC-CNR & IRIT-CNRS

Presentation of the four institutes

9:15     ISTC-CNR, Cristiano Castelfranchi, director

9:30     IRIT-CNRS, Andreas Herzig,  head of the LILaC group

9:45     Università di Trento, Fausto Giunchiglia,   head of the DIT department

10:00   IRST-ITC, Luigia Carlucci Aiello, director

10:15   Coffee break

10:35   Agents and Mental Attitudes

            10:35   Belief, intentions, actions and speech acts, Andreas Herzig, IRIT

            11:10   Goal analysis, Paolo Giorgini, UNITN

            11:45   Towards a computational lexicon of mind, Alessandro Oltramari, ISTC

12:20   Lunch

13:50   Societies and Social Relationships

            13:50   A socio-cognitive approach to trust, Rino Falcone, ISTC

14:25   Persuasion models for automated multimodal generation, Marco Guerini,  IRST

15:00   The theory of tacit communication and its application in human-machine interaction, Cristiano Castelfranchi,  ISTC

15:35   Coffee Break

15:55   Logics for Interaction within Agent Societies

            15:55   Logics for access control for web services,  Fabio Massacci, UNITN

16:30   Modal logics for concurrency and information dependence, Stefano Borgo, ISTC

17:05   Discussion on the organizational, legal and bureaucratic aspects concerning the future joint laboratory (with the participation of a delegate from the Servizio Università e Ricerca Scientifica of the Provincia Autonoma di Trento)

20:30   Social Dinner, Maso Cantanghel, Civezzano

Thursday November 20, 2003

IRST-ITC, via Sommarive 18, Povo, Conference Room, West Building

 

9:00     Actions and Plans-I

            9:00     Action representation and partially observable planning in epistemic logic, Jerôme Lang, IRIT

            9:35     Planning under uncertainty by model checking, Paolo Traverso, IRST

10:10   Coffee break

10:30   Actions and Plans-II

            10:30   Planning and monitoring the execution of requests to web services, Marco Aiello & Alexander Lazovik, UNITN

            11:05   Descriptions of plans and descriptions of actions, Aldo Gangemi, ISTC

11:40   Semantic Negotiation

            11:40   C-OWL: Contextualizing Ontologies, Fausto Giunchiglia, UNITN

            12:15   Semantic coordination, Paolo Bouquet, UNITN

12:50   Lunch

14:20   Semantic Integration and Ontologies

            14:20   Harmonise: the new bridge towards interoperability in travel and tourism, Mirella Dell'Erba, IRST

            14:55   Learning ontologies from texts, Bernardo Magnini, IRST

15:30   Interaction and Discourse Structure

            15:30   Dialogue and the ontology of interaction, Laure Vieu, Philippe Muller & Laurent Prévot, IRIT

            16:05   Automatic documentary generation, Massimo Zancanaro, IRST

16:40   Coffee break

17:00   Discussion on the scientific programme of the new laboratory and conclusions

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The meeting is partially supported by the project TICCA (Tecnologie Cognitive per l'interazione e la cooperazione con agenti artificiali), jointly funded by the Provincia Autonoma di Trento and CNR