Tuesday, August 3 |
Wednesday, August 4 |
Thursday, August 5 |
Friday, August 6 |
|
IJCAI-99 Awards and Distinguished Papers |
Computers and Thought Award, Nicholas B. Jennings, |
Award for Research Exellence, Judea Pearl, 17.30 -
18.30, |
Distinguished Paper, Ian Watson and Dan Gardingen, in session Knowledge - based Applications, Application 1, 11.00- 12.30, Room C Distinguished Paper, Dan Roth, in session Natural Language Processing 3, Learning, 14.00 - 15.30, Room Aulan |
|
Invited talks Room A/C |
9.00 - 10.00 Robert Schapire,
16.00 - 17.00 Lydia Kavraki, |
11.00 - 12.00 Minoru Asada and Henrik Christiansen, |
9.00 - 10.00 Donia Scott, 16.00 - 17.00 Radu Horaud, |
9.00 - 10.00 Luca Console and Oskar Dressler, |
Automated Reasoning. Room 456 |
Theorem Proving, Non-Monotonic |
Non-Monotonic Non-Monotonic Reasoning 3: Model Checking Methods,
|
Description Logics 2, Description Logics 1, Semantics and Models,
|
Reasoning about Reasoning about Belief Revision, Resource-Bounded Reasoning, |
Case-Based Reasoning, Room C |
Case-Based Case-Based |
|||
Challenge Papers, Room B |
Challenge Papers 1, Challenge Papers 2: Propositional Reasoning and Search,
Challenge Papers 3: Propositional Reasoning and Search/Planning,
|
Challenge Papers 4:
|
||
Cognitive Modelling, Room 307 |
Cognitive Modeling 1, Cognitive Modeling 2, Cognitive Modeling 3: Spatial Reasoning, |
|||
Constraint Satisfaction, Room Aulan/ |
Constraint Constraint |
Constraint Constraint |
||
Distributed AI, Room 307 |
Multi-Agent Systems 1,
|
Multi-Agent Systems 2, Economic Models 1, |
Economic Models 2: Auctions, |
|
Computer Game Playing, Room 307 |
Game Playing 1, Game Playing 2, |
|||
Knowledge-based Applications, Room C |
Applications 1, Applications 2, Applications 3, |
|||
Machine Learning, Room A/ Room Aulan |
Learning for Information Retrieval 1, Learning for Information Retrieval 2,
|
Classification
|
Classification Learning 2: Support Vector Machines, Neural Networks 1, Reinforcement Learning 1, Hybrid Systems: Neural and Symbolic Processing, Neural Networks 2, |
Reinforcement Learning 2: Applications, Automated Discovery, Data Mining,
|
Natural Language Processing, Room Aulan |
Natural Language Processing 1,
|
Natural Language Natural Language Natural Language |
||
Planning and Scheduling, Room 307 |
Planning 1, 9.00 - 10.00 Planning 2: Exploiting Domain Structure, Planning 3: Disjunctive Planning, 14.00 - 15.30 Scheduling, |
Planning 4: Uncertainty and Time Constraint,
|
||
Qualitative Reasoning and Diagnosis, Room B |
Qualitative Reasoning 1, |
Qualitative Reasoning 2: Spatial Reasoning, Diagnosis 1, Diagnosis 2, |
||
Robotics and Perception, Room C |
Robotics and Perception 1, |
Robotics and Perception 3, Robotics and Perception 2, |
||
Search, Room 203/204 |
Search 1, Search 2, Genetic Algorithms, |
|||
Software Agents, Room 203/204 |
16.00 - 17.00 |
|||
Temporal Reasoning, Room 203/204 |
14.00 - 15.30 |
|||
Uncertainty and Probabilistic Reasoning, Room 203/204 |
Decision-Theoretic Applications to Controlling Computation, Probabilistic Reasoning and Learning, |
Markov Decision Processes 1, Markov Decision Processes 2, |
Alternative Uncertainty Formalisms, Solving Control Problems, |
|