Conference Programme
Monday
24th July
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 Multi-Agent 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 Multi-Agent Systems 2 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming 1

 

 

 

 
Conference Programme
Tuesday
25th July
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 Multi-Agent 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 Multi-Agent 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
Wednesday 26th July
9.00
Invited Talk
A Denotational Semantics for First-Order Logic and the Alma-0 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 Non-monotonic Reasoning 1 Workshop on Rule-based 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 Non-monotonic Reasoning 2 Workshop on Rule-based Constraint Reasoning and Programming 2

 

 

 

 
Conference Programme
Thursday
27th July
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 Non-monotonic 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 Non-monotonic Reasoning 4 Workshop on Verification and Computational Logic 2

 

 

 

 
Conference Programme
Friday
28th July
Friday 28th July
9.00
Logic Programming: Implementations and Applications 1 .DOOD 5 Workshop on Rule-based Constraint Reasoning and Programming 3 UK Constraint Network (Consnet) Annual Workshop 1 Knowledge Representation and Non-monotonic 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 Rule-based Constraint Reasoning and Programming 4 UK Constraint Network (Consnet) Annual Workshop 2 Knowledge Representation and Non-monotonic 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