DALT 2007
 |
 |
| Call for paper / PDF | Call for paper / TXT | Programma / TXT | Logo |
programma / txt
Declarative Agent Languages and Technologies (DALT 2007) About DALT Committees Submission Location Contact 1 8.45-9.00: Welcome 1 9.00-9.30: Modelling (Chair: TBA) Integrating Agent Models and Dynamical Systems Tibor Bosse, Alexei Sharpanskykh and Jan Treur 9.30-10.30: Invited Talk (Chair: TBA) Agent-Oriented Modelling: Declarative or Procedural? Leon Sterling 10.30-11.00: Coffee Break 11.00-12.30: Goals (Chair: TBA) Composing high-level plans for declarative agent programming Felipe Meneguzzi and Michael Luck Satisfying Maintenance Goals Koen Hindriks and M. Birna van Riemsdijk Towards Alternative Approaches to Reasoning about Goals Patricia Shaw and Rafael H. Bordini 12.30-14.00: Lunch Break 14.00-16.00: Foundational Concepts (Chair: TBA) Reflections on Agent Beliefs John Lloyd and Kee Siong Ng Modelling Agents' Choices in Temporal Linear Logic Duc Quang Pham, James Harland and Michael Winikoff Conflict Resolution in Norm-Regulated Environments via Unification and Constraints Martin J. Kollingbaum, Wamberto Vasconcelos, Andres Garcia-Camino and Timothy J. Norman On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition Tibor Bosse, Alexei Sharpanskykh and Jan Treur 16.00-16.30: Coffee Break 16.30-18.00: Communication (Chair: TBA) Structured Argumentation for Mediator in Online Dispute Resolution Ioan Alfred Letia and Adrian Groza Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini Component-Based Standardisation of Agent Communication Frank Guerin and Wamberto Vasconcelos 18.00-18.15: Closing Remarks last modified on Friday, 13-Apr-2007 15:18:07 CEST ( baldoni )