![]() | ||
![]() | ![]() ILIKS preparatory
Meeting
19-20 November, 2003 - Trento Programme 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 |