[Back to the Conference Home Page]
[End of this page]
JICSLP '96 - Advance Program
19:00 Welcome reception in the conference hotel
(incl. early registration)
8:00 Registration
9:00 Opening session
9:30 Invited talk
Ehud Shapiro: "Virtual Places: An Architecture for
Live Interaction on the Internet"
10:30 Coffee break
11:00 Sessions 1
1A: Constraint Logic Programming
1B: Non-Classical Logic Programming
12:30 Lunch
14:00 Tutorial
I. V. Ramakrishnan, K. Sagonas, T. Swift, D. S. Warren:
"Principles, Practice and Applications of Tabled Logic
Programming"
16:00 Coffee break
16:30 Sessions 2
2A: Implementation
2B: Deductive Database Updates
evening: ``Weinprobe'' at a local vineyard (optional) and
Prolog Programming Contest (to be decided)
9:00 Invited talk
Michael Genesereth: -title to be announced-
10:00 Coffee break
10:30 Sessions 3
3A: Modes and Types
3B: Higher-Order LP
12:00 Lunch
13:30 Tutorial
Z. Somogyi: "The Design and Implementation of Mercury"
15:30 Coffee break
16:00 Sessions 4
4A: Computation of the Well-Founded Semantics
4B: Analysis and Optimization
17:30 Short break
17:45 ALP General Assembly
evening: Concert of The Logic Programming Trio
9:00 Invited talk
Jean-Francois Puget: "Constraint Programming"
10:00 Coffee break
10:30 Sessions 5
5A: Constraint Solving
5B: Stable Model Semantics
12:00 Lunch
13:30 Poster session
afternoon: Boat cruise to downtown Bonn
evening: Conference dinner
9:00 Sessions 6
6A: Semantics of Negation
6B: Parallelism
10:30 Coffee break
11:00 Invited talk
Wolfgang Bibel: -title to be announced-
12:00 Closing session
12:30 Lunch
14:00 Post-conference workshops
evening: ``Rheinischer Abend'' at the ``Alte Kapelle'' in
Bad Honnef (optional)
Post-conference workshops (all day, details to be announced)
Monday, 2 September, 11:00 - 12:30
- Inferring Left-terminating Classes of Queries for Constraint Logic
Programs
FRED MESNARD
- CLP(Rlin) Revised
PHILIPPE REFALO, PASCAL VAN HENTENRYCK
- Effectiveness of Optimizing Compilation for CLP(R)
ANDREW D. KELLY, ANDREW MACDONALD, KIM MARIOTT, PETER J. STUCKEY,
ROLAND H. C. YAP
Monday, 2 September, 11:00 - 12:30
- A Framework for a Modal Logic Programming
MATTEO BALDONI, LAURA GIORDANO, ALBERTO MARTELLI
- A Linear Logic Calculus Objects
MICHELE BUGLIESI, GIORGIO DELZANNO, MAURIZIO MARTELLI,
LUIGI LIQUORI
- Representing Priorities in Logic Programs
CHIAKI SAKAMA, KATSUMI INOUE
Monday, 2 September, 16:30 - 18:00
- A Novel Implementation Method of Delay
NENG-FA ZHOU
- A Thread in Time Saves Tabling Time
PRASAD RAO, C. R. RAMAKRISHNAN, I. V. RAMAKRISHNAN
- Interprocedural Register Allocation for the WAM based on Source to
Source Transformations
ULRICH NEUMERKEL
Monday, 2 September, 16:30 - 18:00
- Concurrency and Communication in Transaction Logic
ANTHONY J. BONNER, MICHAEL KIFER
- An Extension of SLD by Abduction and Integrity Maintenance for View
Updating in Deductive Databases
HENDRIK DECKER
- A Realistic Experiment in Knowledge Representation in Open Event
Calculus: Protocol Specification
MARC DENECKER, KRISTOF VAN BELLEGHEM, GUY DUCHATELET, FRANK PIESSENS,
DANNY DE SCHREYE
Tuesday, 3 September, 10:30 - 12:00
- A Declarative View of Modes
LEE NAISH
- Type Synthesis for Logic Programs
JICHANG TAN, I-PENG LIN
- Diagnosing Non-Well-Moded Concurrent Logic Programs
KENTA CHO, KAZUNORI UEDA
Tuesday, 3 September, 10:30 - 12:00
- Declarative Logic Programming with Primitive Recursive Relations on
Lists
ANDREAS HAMFELT, JORGEN FISCHER NILSSON
- Engineering Attributed Grammar Transformations in LambdaProlog
OLIVIER RIDOUX
- Unification via Explicit Substitutions: The Case of Higher-Order
Patterns
GILLES DOWEK, THERESE HARDIN, CLAUDE KIRCHNER, FRANK PFENNIG
Tuesday, 3 September, 16:00 - 17:30
- An Abstract Machine for Computing the Well-Founded Semantics
KONSTANTINOS SAGONAS, TERRANCE SWIFT, DAVID S. WARREN
- Efficient Implementation of the Well-founded and Stable Model
Semantics
ILKKA NIEMELA, PATRIK SIMONS
- Adding Flexibility to Query Evaluation for Modularly Stratified
Databases
ULRICH ZUKOWSKI, BURKHARD FREITAG
Tuesday, 3 September, 16:00 - 17:30
- A Conceptual Embedding of Folding into Partial Deduction: Towards a
Maximal Integration
MICHAEL LEUSCHEL, DANNY DE SCHREYE, ANDRE DE WAAL
- Demand Transformation Analysis for Concurrent Constraint Programs
MORENO FALASCHI, PATRICK HICKS, WILLIAM WINSBOROUGH
- Complementation of Abstract Domains made Easy
GILBERTO FILE, FRANCESCO RANZATO
Wednesday, 4 September, 10:30 - 12:00
- Cumulative Scheduling with Task Intervals
YVES CASEAU, FRANCOIS LABURTHE
- Boosting the Interval Narrowing Algorithm
OLIVIER LHOMME, ARNAUD GOTLIEB, MICHEL RUEHER, PATRICK TAILLIBERT
- Completeness Results for Basic Narrowing in Non-Copying
Implementations
M. R. K. KRISHNA RAO
Wednesday, 4 September, 10:30 - 12:00
- Extremal Problems in Logic Programming and Stable Model
Computation
PAWEL CHOLEWINSKI, MIROSLAW TRUSZCZYNSKI
- Logic Programs with Contested Information
SHEKHAR PRADHAN
- Asserting Lemmas in the Stable Model Semantics
STEFANIA COSTANTINI, GAETANO AURELIO LANZARONE, GIUSEPPE MAGLIOCCO
Thursday, 5 September, 9:00 - 10:30
- A Compositional Semantics for Logic Programs and Deductive
Databases
FRANCOIS BRY
- A Compositional Semantics for Normal Open Programs
SANDRO ETALLE, FRANK TEUSINK
- A Nonmonotonic Disputation-Based Semantics and Proof Procedure for
Logic Programs
MICHAEL THIELSCHER
Thursday, 5 September, 9:00 - 10:30
- Visualizing Parallel Logic Program Execution for Performance
Tuning
ANTHONY J. KUSALIK, STEVEN D. PRESTWICH
- Initial results of the parallel implementation of DASWAM
KISH SHEN
[Back to the Conference Home Page]
[ Top of this page]
Last updated on July 2, 1996.
Thomas H. Kolbe /
Institut für Informatik III /
Universität Bonn /
tk@informatik.uni-bonn.de