|
Normal Forms for Defeasible Logic
G. Antoniou, D. Billington and M.J. Maher
mjm@cit.gu.edu.au, ga@cit.gu.edu.au, db@cit.gu.edu.au
Greedy Algorithms in Datalog with Choice and Negation
Sergio Greco and Carlo Zaniolo
greco@si.deis.unical.it, zaniolo@cs.ucla.edu
Termination Analysis: Some Practical Properties of the Norm and Level
Mapping Space
Stefaan Decorte and Danny De Schreye
Stefaan.Decorte@cs.kuleuven.ac.be
Proof-Theoretic Foundation of Compilation in Logic Programming Languages
Iliano Cervesato
iliano@cs.stanford.edu
On Logically Justified Updates
M. Dekhtyar, A. Dikovsky and N. Spyratos
dikovsky@spp.keldysh.ru, dikovsky@univ-paris12.fr
On the Representation and Management of Finite Sets in CLP-languages
Agostino Dovier, Carla Piazza, Enrico Pontelli and Gianfranco Rossi
gianfr@prmat.math.unipr.it
A High-Level Intermediate Language and the Algorithms for
Compiling Finite-Domain Constraints
Neng-Fa Zhou
zhou@mse.kyutech.ac.jp
Meta Linear Constraint in Constraint Logic Programming
Philippe Refalo
refalo@ilog.fr
Co-definite Set Constraints with Membership Expressions
P. Devienne, Jean-Marc Talbot and S. Tison
Jean-marc.Talbot@lifl.fr
Program Specialisation and Abstract Interpretation Reconciled
Michael Leuschel
leuschel@diku.dk
Abstract Compilation of Lambda Prolog
F. Malesieux, O. Ridoux and P. Boizumault
Frederic.Malesieux@emn.fr
Iterated Logic Program Updates
J. Leite and L.M. Pereira
jleite@di.fct.unl.pt
Specialising The Other Way Around
Wim Vanhoof, Bern Martens, Danny De Schreye and Karel De Vlaminck
wim.vanhoof@cs.kuleuven.ac.be
Admissible Graph Rewriting and Narrowing
Rachid Echahed and J-C. Janodet
Rachid.Echahed@imag.fr
Distance: a New Metric for Controlling Granularity for
Parallel Execution
Kish Shen, Vitor Santos Costa and Andy King
kish@cs.man.ac.uk
VisAll: A New Tool to Visualise Parallel Execution of Logic Programs
Nuno Fonseca, Vitor Santos Costa and Ines de Castro Dutra
vsc@oat.ncc.up.pt
Regular Extension Semantics and Disjunctive Eshghi-Kowalski Procedure
Jia-Huai You, Li Yan Yuan and Randy Goebel
you@cs.ualberta.ca
Efficient Implementation of a Linear Logic Programming Language
Joshua S. Hodas, Kevin M. Watkins, Naoyuki Tamura and Kyoung-Sun Kang
hodas@cs.hmc.edu, kwatkins@cs.hmc.edu
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution
Prasad Rao, C.R. Ramakrishnan and I.V. Ramakrishnan
cram@cs.sunysb.edu
Source-to-source PROLOG Program Compression
Philippe Devienne, Anne Parrain, Patrick Taillibert and Serge Varennes
Anne.Parrain@lifl.fr
Beyond Success and Failure
Sandro Etalle and Femke van Raamsdonk
femke@cwi.nl
Kung-Kiu Lau Department of Computer Science University of Manchester Manchester M13 9PL United Kingdom | |
Phone: | +44 161 275 5716 |
Fax: | +44 161 275 6204 |
Email: | kung-kiu@cs.man.ac.uk |