Conference Programme



Monday
24th July


9.00

Keynote
Talk Computational Logic: Memories of the Past and Challenges for the Future J. Alan Robinson 

10.00

Morning Coffee  
10.30

Invited
Talk Robust Logics Leslie Valiant 

11.30

Tutorial
1 Term Rewriting and Narrowing A. Middeldorp 
Tutorial
2 Phase Transition Behaviour T. Walsh 
Tutorial
3 Stable Model Semantics: From Theory to Implementations and Applications I. Niemela 

1.00

Lunch  
2.30

LOPSTR 1  Constraints 1  Logic Programming: Theory and Extensions 1  Inductive Logic Programming 1  Workshop on Computational Logic in MultiAgent Systems 1  Workshop on Memory Management in Logic Programming Implementations  
4.00

Afternoon Coffee  
4.30

LOPSTR 2  Constraints 2  Logic Programming: Theory and Extensions 2  Inductive Logic Programming 2  Workshop on Computational Logic in MultiAgent Systems 2  Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming 1 
Conference Programme



Tuesday
25th July


9.00

Invited
Talk ILP: Just Do It David Page 

10.00

Morning Coffee  
10.30

Invited
Talk Databases and Higher Types Melvin Fitting 

11.30

Tutorial
4 Knowledge Representation for Inductive Logic Programming P. Flach 
Tutorial
5 The OPL Optimization Programming Language P. Van Hentenryck 
Tutorial
6 Functional Logic Programming M. Hanus 

1.00

Lunch  
2.30

Workshop on Logic Programming and Software Engineering 1  Constraints 3  Logic Programming: Theory and Extensions 3  Inductive Logic Programming 3  Workshop on Computational Logic in MultiAgent Systems 3  Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming 2  
4.00

Afternoon Coffee  
4.30
to 6.00 
Workshop
on Logic Programming and Software Engineering 2 (until 8.00) 
Constraints 4  Logic Programming: Theory and Extensions 4  Inductive Logic Programming 4  Workshop on Computational Logic in MultiAgent Systems 4  Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming 3  
8.00
to 10.00 
ALP general meeting 
Conference Programme



Wednesday
26th July


9.00

Invited
Talk A Denotational Semantics for FirstOrder Logic and the Alma0 Language Krzysztof Apt 

10.00

Morning Coffee  
10.30

Invited
Talk Topological Queries in Spatial Databases Victor Vianu 

11.30

Tutorial
7 Applications of Inductive Logic Programming S. Muggleton 
Tutorial
8 High Performance Logic Programming Systems V. Santos Costa 
Tutorial
9 Using Deduction Techniques for Natural Language Understanding M. Kohlhase 

1.00

Lunch  
2.30

LOPSTR 3  DOOD 1  Automated Deduction 1  Inductive Logic Programming 5  Knowledge Representation and Nonmonotonic Reasoning 1  Workshop on Rulebased Constraint Reasoning and Programming 1  
4.00

Afternoon Coffee  
4.30

LOPSTR 4  DOOD 2  Automated Deduction 2  Inductive Logic Programming 6  Knowledge Representation and Nonmonotonic Reasoning 2  Workshop on Rulebased Constraint Reasoning and Programming 2 
Conference Programme



Thursday
27th July


9.00

Invited
Talk Logic, Knowledge Representation and Bayesian Decision Theory David Poole 

10.00

Morning Coffee  
10.30

Invited
Talk Constraint Satisfaction and View Integration Moshe Y. Vardi 

11.30

Tutorial
10 Constraints for Program Analysis and Model Checking A. Podelski 
Tutorial
11 The Logic of Rational Agency M. Wooldridge 
Tutorial
12 The CIAO Logic Programming Environment M. Hermenegildo 

1.00

Lunch  
2.30

LOPSTR 5  DOOD 3  Automated Deduction 3  Inductive Logic Programming 7  Knowledge Representation and Nonmonotonic Reasoning 3  Workshop on Verification and Computational Logic 1  
4.00

Afternoon Coffee  
4.30

LOPSTR 6  DOOD 4  Automated Deduction 4  Inductive Logic Programming 8  Knowledge Representation and Nonmonotonic Reasoning 4  Workshop on Verification and Computational Logic 2 
Conference Programme



Friday
28th July


9.00

Logic Programming: Implementations and Applications 1  .DOOD 5  Workshop on Rulebased Constraint Reasoning and Programming 3  UK Constraint Network (Consnet) Annual Workshop 1  Knowledge Representation and Nonmonotonic Reasoning 5  Workshop on Verification and Computational Logic 3  
10.00

Morning Coffee  
10.30

Logic Programming: Implementations and Applications 2  DOOD 6  Workshop on Rulebased Constraint Reasoning and Programming 4  UK Constraint Network (Consnet) Annual Workshop 2  Knowledge Representation and Nonmonotonic Reasoning 6  Workshop on Verification and Computational Logic 4  
1.00

Lunch  
2.30

Logic Programming: Implementations and Applications 3  DOOD 7  ..  UK Constraint Network (Consnet) Annual Workshop 3  ..  Workshop on Verification and Computational Logic 5  
4.00

Afternoon Coffee  
4.30

..  ..  UK Constraint Network (Consnet) Annual Workshop 4  ..  Workshop on Verification and Computational Logic 6 