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 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
|
|||||||||||
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
|
|||||||||||
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
|
|||||||||||
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
|
|||||||||||
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 |