Technical paper sessions schedule

9.00-10.00

10.30-12.00

Invited talk Oliviero Stock

Case-Based Reasoning 1

Invited talk Rob Schapire

Challenge Papers 1

Planning 1

Constraint Satisfaction 1

Decision-Theoretic Applications to Controlling Computation

Learning for Information Retrieval 1

Planning 2: Exploiting Domain Structure

Theorem Proving

14.00 - 15.30

16.00 - 17.00

Case-Based Reasoning 2

Invited talk: David Heckerman

Challenge Papers 2: Propositional Reasoning and Search

Invited talk: Lydia Kavraki

Constraint Satisfaction 2

Challenge Papers 3: Propositional Reasoning and Search/Planning

Learning for Information Retrieval 2

Scheduling

Non-Monotonic Reasoning 1

Planning 3: Disjunctive Planning

Probabilistic Reasoning and Learning

9.00 - 10.30

11.00 - 12.30

Classification Learning 1

Invited talk: Stig Hagstroem

Constraint Satisfaction 3

Invited talk: Minoru Asada and Henrik Christensen (joint talk)

Markov Decision Processes 1

Constraint Satisfaction 4

Natural Language Processing 1

Markov Decision Processes 2

Nonmonotonic Reasoning 2

Multi-Agent Systems 1

Planning 4: Uncertainty and Time Constraings

Nonmonotonic Reasoning 3: Model Checking Methods

Robotics and Perception 1

9.00 - 10.00

10.30 - 12.00

Invited talk: Moshe Tennenholz

Challenge Papers 4: Bridging Plan Synthesis Paradigms

Invited talk: Donia Scott

Classification Learning 2: Support Vector Machines

Alternative Uncertainty Formalisms

Description Logics 1

Description Logics 2

Multi-Agent Systems 2

Game Playing 1

Neural Networks 1

Robotics and Perception 3

Solving Control Problems

14.00 - 15.30

16.00 - 17.00

Economic Models 1

Invited Talk: John Hooker

Hybrid Systems: Neural and Symbolic Processing

Invited Talk: Radu Horaud

Qualitative Reasoning 1

Game Playing 2

Reinforcement Learning 1

Neural Networks 2

Robotics and Perception 2

Semantics and Models

Temporal Reasoning

9.00 - 10.30

11.00 - 12.30

Invited Talk: Neil Gershenfeld

Reasoning about Action 2

Invited Talk: Luca Console and Oskar Dressler (joint talk)

Cognitive Modeling 1

Reasoning about Action 1

Applications 1

Economic Models 2: Actions

Reinforcement Learning 2: Applications

Search 1

Natural Language Processing 2

Qualitative Reasoning 2: Spatial Reasoning

Search 2

14.00 - 15.30

16.00 - 17.30

Cognitive Modeling 2

Cognitive Modeling 3: Spatial Reasoning

Applications 2

Applications 3

Automated Discovery

Data Mining

Natural Language Processing 3: Learning

Natural Language Processing 4: Information Retrieval

Diagnosis 1

Diagnosis 2

Genetic Algorithms

Software Agents