June 19, 2011

Workshop Agenda

14:00 - 14:15
Welcome and Introduction
Enrico Pontelli and Son Tran
New Mexico State University
14:15 - 15:00
Invited Talk:
Going from Theory to Practice: Making Hybrid KBs Do What People Really Need
Terrance Swift
CENTRIA – Universidade Nova
de Lisboa
15:00 - 15:15
Questions and Initial Discussion

15:15 - 15:45
Contributed Presentation 1:
A semantics for semi-­negative abductive logic programs with implicative integrity constraints
Paolo Mancarella1 and Francesca Toni2
1University of Pisa
2Imperial College
15:45 - 16:00

16:00 - 16:30
Contributed Presentation 2:
Defining and Maintaining Agent's Experience in Logical Agents
Stefania Costantini
University of L’Aquila
16:30 - 17:00
Contributed Presentation 3:
Agent Mobility with Weak Local Inheritance and Transactional Remote Logic Invocation
Paul Tarau1 and Arun Majumdar2
1University of North Texas
2Vivomind Research LLC
17:00 - 17:30
Contributed Presentation 4:
Meta‐axioms and Complex Preferences in Evolving Logical Agents
Stefania Costantini1, Pierangelo Dell’Acqua2, Luis Moniz Pereira3,
Francesca Toni4
1University of L’Aquila
2Linkoping University
3Universidade Nova de Lisboa
4Imperial College

Workshop Date:

July 9th, 2011