Schedule:

Day 1 (March 27 2006):

 9:00  -  9:20   Introduction to the Symposium -- Chitta Baral
 9:20  - 10:30   Foundation Technology and Lessons Learned from Community
                 Interoperability Efforts. 
                 Invited talk by Richard Fikes.
 

 BREAK
 11:00 - 11:20   Discussion on the invited talk.
 11:20 - 11:50   Towards a Modular action description language.
                 Vladimir Lifschitz and Wanwan Ren.
 11:50 - 12:30   Why the Monkey Needs the Box: A Serious Look at Toy Domains.
                 Vladimir Lifschitz

 LUNCH

 2:00  - 2:45    Going Places -- notes on a modular development of knowledge about travel
                 Michael Gelfond.
 2:45  - 3:30    Macros, Macro calls and use of ensembles in modular answer set programming.
                 Saadat Anwar, Chitta Baral, and Juraj Dzifcak.
 BREAK
 4:00  - 4:45    A tool for knowledge base integration and querying,
                 Omar El Khatib, Enrico Pontelli, Tran Son
 4:45  - 5:05    Hierarchical task libraries in Congolog.
                 Alfredo Gabaldon
 5:05  - 5:25    Development of a background knowledge about transportation and
                 smuggling.
                 Richard Scherl

 Day 2 (March 28 2006):

 9:00  - 10:10   On WordNet, Text Mining, and Knowledge Bases of the Future
                 Invited talk by Peter Clark
                  
 10:10 - 10:30   Discussion on the invited talk
 BREAK
 11:00 - 11:45   Approximate Objects are precise in some contexts.
                 John McCarthy.
 11:45 - 12:30   Specifying a Web Service Ontology in First-Order Logic.
                 Michael Grunigner and Sheila McIlraith

 LUNCH

 2:00  - 2:45    Building a repository of background knowledge using semantic skeletons.
                 Boris Galitsky
 2:45  - 3:30    An introduction to the syntax and content of CYC.
                 Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira
 BREAK
 4:00  - 5:30    Panel on 
                 Technical Issues for Developing Knowledge Repositories

 Day 3 (March 29 2006)

 9:00  - 9:45    A knowledge module - buying and selling.
                 Joohyung Lee and Vladimir Lifschitz.
 9:45  - 10:30   Combining logical and probabilistic reasoning.
                 Michael Gelfond, Weijun Zhu.
 BREAK
 11:00 - 12:15   Panel on
		 Where do we go from here? How do we make the idea of a Knowledge 
                 Repository a reality?
 12:15 - 12:30   Closing