ILIKS logo

ILIKS preparatory Meeting
19-20 November, 2003 - Trento

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