Program

CLIMA IV - Computational Logic in Multi-Agent Systems

Fort Lauderdale, FL, USA - January 6-7 2004

Home
Call for Papers
Important Dates
Proceedings
Program Committee
Venue
Submissions
Accepted Papers
Invited Talks
Program
Registration
Travel Information
Past Events
Inquiries
Steering Committee

 

 

Tuesday, January 6

Wednesday, January 7

8:00 - 9:00

Registration

 
  LPNMR and SAIM Invited Talk LPNMR and SAIM Invited Talk
9:00 - 10:00 Toward a Universal Inference Engine by Henry Kautz Constraints and Probabilistic Networks: a Look at the Interface by Rina Dechter
10:00 - 10:30 Coffee Break
  Session I - Negotiation in MAS

Session III - Knowledge Revision and Update in MAS

10:30 - 11:00 An Abductive Framework for Information Sharing in Multi-Agent systems, by M. Gavanelli, E. Lamma, P. Mello and P. Torroni Revising Knowledge in Multi-Agent System Using Preferences, by I. Pivkina, E. Pontelli and T. C. Son
11:00 - 11:30 Fault Tolerant and Fixed Scalable Structure of Middle-Agents,  by P. Tichý A new framework for knowledge revision of abductive agents through their interaction (preliminary report), by A. Bracciali and P. Torroni
11:30 - 12:00 Symbolic Negotiation with Linear Logic,  by P. Küngas and M. Matskin Weighted Multi Dimensional Logic Programs,  by P. Dell`Acqua
12:00 - 12:30 Set Based Logic Programming, by H.A. Blair, V.W. Marek, J.B. Remmel and A. Rivera (Dis)Belief Change based on Messages Processing,  by L. Perrussel and J.-M. Thévenin
12:30 - 14:00

Lunch Break

  Invited talk I Invited talk II
14:00 - 15:30 MASS: Multiagent Survivability and Security by V. S. Subrahmanian Programming Groups of Rational Agents by Michael Fisher
15:30 - 16:00 Coffee Break
  Session II - Planning in MAS Session IV - Learning in MAS
16:00 - 16:30 Planning Experiments in the DALI Logic Programming Language, by S. Costantini and A. Tocchio Learning on BDI Multi-agent Systems,  by A. G. Hernandez, A. El Fallah-Seghrouchni and H. Soldano
16:30 - 17:00 A New HTN Planning Framework for Agents in Dynamic Environments,  by H. Hayashi, K. Cho and A. Ohsuga The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules,  by C. Child and K. Stathis
17:00 - 17:30 Resource Allocation and Multiagent Policy Formulation for Resource-Limited Agents Under Uncertainty,  by D. A. Dolgov and E. H. Durfee  
17:30 - 19:00

Break

 
19:00 -

Banquet

 

Home | Call for Papers | Important Dates | Proceedings | Program Committee | Venue | Submissions | Accepted Papers | Invited Talks | Program | Registration | Travel Information | Past Events | Inquiries | Steering Committee

 For problems or questions regardings this web contact Webmaster.
Last updated: 06/15/03.