Modal and Temporal Logics-Based Planning for Open Networked Multimedia Systems

The titles of the five symposia were Modal and Temporal Logics-Based Planning for Open Networked Multimedia Systems Narrative Intelligence Psychological Models of Communication in Collaborative Systems Question-Answering Systems Using Layout for the Generation, Understanding, or Retrieval of Documents This article concludes with a previously unpublished report on the 1998 AAAI Fall Symposium on AI and Link Analysis. This symposium provided a forum for researchers involved in using formal methods and in design of networked multimedia systems and adaptivereactive systems to identify common ground, relevant experiences, applications, open problems, and possible future developments. To support intelligent and interactive multimedia applications, there's a need to tailor systems to possess and use knowledge about the application domain, user-requirement tasks, the context of interaction, communication, and performance parameters. Temporal and modal logics have been used to reason about time, action, and adaptive change and to program and verify networked systems. The 1999 American Association for Artificial Intelligence Fall Symposium Series was held Friday through Sunday, 5-7 November 1999, at the Sea Crest Oceanfront Resort and Conference Center.