15. IJCSLP 1998:
Manchester,
UK
Joxan Jaffar (Ed.):
Proceedings of the 1998 Joint International
Conference and Symposium on Logic Programming,
Manchester, UK, 15-19 June 1998.
The MIT Press, ISBN 0-262-60031-5
Invited Talks
- Robin Milner:
The Pi Calculus and Its Applications (Keynote Address).
3-4 BibTeX
- Ken McAloon:
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming.
5-6 BibTeX
- Nada Lavrac:
Inductive Logic Programming for Relational Knowledge Discovery.
7-24 BibTeX
Refereed Papers
- Philippe Devienne, Jean-Marc Talbot, Sophie Tison:
Co-definite Set Constraints with Membership Expressions.
25-39 BibTeX
- Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages.
40-54 BibTeX
- Philippe Refalo:
Meta-linear Constraints in Constraint Logic Programming.
55-69 BibTeX
- Neng-Fa Zhou:
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.
70-84 BibTeX
- Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution.
85-99 BibTeX
- Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra:
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.
100-114 BibTeX
- Iliano Cervesato:
Proof-Theoretic Foundation of Compilation in Logic Programming.
115-129 BibTeX
- Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Abstract Compilation of lambda-Prolog.
130-144 BibTeX
- Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang:
Efficient Implementation of a Linear Logic Programming Language.
145-159 BibTeX
- Grigoris Antoniou, David Billington, Michael J. Maher:
Normal Forms for Defeasible Logic.
160-174 BibTeX
- Jia-Huai You, Li-Yan Yuan, Randy Goebel:
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.
175-189 BibTeX
- Sandro Etalle, Femke van Raamsdonk:
Beyond Success and Failure.
190-205 BibTeX
- Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes:
Source-to-source Prolog Program Compression.
205-219 BibTeX
- Michael Leuschel:
Program Specialisation and Abstract Interpretation Reconciled.
220-234 BibTeX
- Stefaan Decorte, Danny De Schreye:
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space.
235-249 BibTeX
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos:
On Logically Justified Updates.
250-264 BibTeX
- João Alexandre Leite, Luís Moniz Pereira:
Iterated Logic Program Updates.
265-278 BibTeX
- Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck:
Specialising the Other Way Arond.
279-293 BibTeX
- Sergio Greco, Carlo Zaniolo:
Greedy Algorithms in Datalog with Choice and Negation.
294-309 BibTeX
- Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan:
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.
310-324 BibTeX
- Rachid Echahed, Jean-Christophe Janodet:
Admissible Graph Rewriting and Narrowing.
325-342 BibTeX
Poster Abstracts
Copyright © Sat May 16 23:20:25 2009
by Michael Ley (ley@uni-trier.de)