22/07/2002 |
08:30-17:00 | |
08:30-17:30 | W1 Ontologies and Semantic Interoperability |
|
09:00-12:00 | Tutorial: An Introduction to Ant Algorithms and Swarm Intelligence | Tutorial: Data Mining and Relational Knowledge Discovery | Tutorial: Models and use of context in AI | Tutorial: Bayesian inference and learning |
|
09:00-17:00 | Tutorial: Ontologies : Representation, Engineering, Learning and Applications | W3 Model Checking and Artificial Intelligence | W4 Configuration | W5 Knowledge Management and Organizational Memories | W6 Artificial Intelligence in Mobile Systems | W12 Knowledge Discovery from Temporal and Spatial Data | W13 Agents Applied in Health Care | W16 Machine Learning and Natural Language Processing for Ontology Engineering | W17 Creative Systems: Approaches to Creativity in AI and Cognitive Science | W18 Computational Models of Natural Argument |
|
14:00-17:00 | Tutorial: Reasoning with, about and for Constraint Handling Rules | Tutorial: Machine Learning for Agents and Multi-Agent Systems | Tutorial: Aspects of Qualitative Spatial and Temporal Reasoning | Tutorial: Information extraction from Web documents |
|
23/07/2002 |
08:30-17:00 | W14 Binding Environmental Sciences and Artificial Intelligence |
|
09:00-12:00 | Tutorial: Molecular Computing and Computational Moleware : How to Efficiently Solve the NP problems | Tutorial: Seeking Information : Methods from Information Retrieval and Artificial Intelligence |
|
09:00-17:00 | Tutorial: Probabilistic Robotics | Tutorial: Elements of Formal Language Theory for Artificial Intelligence | W2 Advances in Formal Concept Analysis for Knowledge Discovery in Databases | W7 Knowledge Transformation for the Semantic Web | W8 Spatial and Temporal Reasoning | W9 Modelling and Solving Problems with Constraints | W20 Agent Technologies in Logistics | W21 Intelligent Data Analysis in Medicine and Pharmacology | W22 Semantic Authoring, Annotation and Knowledge Markup |
|
14:00-17:00 | Tutorial: Description Logics: Basics, Inference, Algorithms and Applications |
|
24/07/2002 |
09:30-10:30 | IT: Content and Meaning on the Semantic Web (Invited talk) |
|
10:50-12:20 | AG: Agents | KK: Knowledge Acquisition/ Knowledge Engineering | ML: Machine Learning | NM: Non Monotonic Reasoning | RO: Robotics | UN: Uncertainty |
|
14:00-15:30 | AG: Agents | CM: Cognitive Modelling | CO: Constraints/Search | GA: Genetic Algorithm | KR: Knowledge Representation | ML: Machine Learning |
|
15:50-16:50 | IT: Probabilistic Techniques for Personal Service Robots (Invited talk) |
|
16:50-17:15 | New Themes and Instruments in the 6th Framework Programme |
|
17:20-18:20 | KK: Knowledge Acquisition/ Knowledge Engineering | MBR: Model Based Reasoning | NL: Natural Language | VI: Vision |
|
19:00-20:00 | |
25/07/2002 |
09:30-10:30 | IT: AI on the Ocean (Invited talk) |
|
10:50-12:20 | AG: Agents | CO: Constraints/Search | KR: Knowledge Representation | ML: Machine Learning | NL: Natural Language |
|
10:50-12:50 | PAIS 1: Information Systems |
|
14:00-15:30 | GA: Genetic Algorithm | MBR: Model Based Reasoning | NL: Natural Language | PAIS 2: Decision and control | PL: Planning | VI: Vision |
|
15:50-16:50 | KK: Knowledge Acquisition/ Knowledge Engineering | KR: Knowledge Representation | NM: Non Monotonic Reasoning | NN: Neural Networks | PAIS 3 : Model Based Diagnosis | UN: Uncertainty |
|
16:50-18:20 | AG: Agents | CO: Constraints/Search | KR: Knowledge Representation | ML: Machine Learning | NL: Natural Language | PAIS 4: Expert Systems |
|
26/07/2002 |
09:30-10:30 | IT: In Search of the Horowitz Factor: Trying to Understand an Artistic Phenomenon with AI Methods (Invited talk) |
|
10:30-11:15 | |
11:35-12:35 | CBR: Case-Based Reasoning | KR: Knowledge Representation | ML: Machine Learning | NM: Non Monotonic Reasoning | PH: Philosophy | UN: Uncertainty |
|
14:00-15:00 | |
14:00-15:30 | AG: Agents | CO: Constraints/Search | KK: Knowledge Acquisition/ Knowledge Engineering | NN: Neural Networks | PL: Planning |
|