IJCSLP

Keyphrases

Publications

1998

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Abstract Compilation of lambda-Prolog. IJCSLP (1998)
François Fages, Massimo Paltrinieri
A Generic Type System for CLP(chi). IJCSLP (1998)
Michael Leuschel
Program Specialisation and Abstract Interpretation Reconciled. IJCSLP (1998)
João Alexandre Leite, Luís Moniz Pereira
Iterated Logic Program Updates. IJCSLP (1998)
Jia-Huai You, Li-Yan Yuan, Randy Goebel
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP (1998)
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
Co-definite Set Constraints with Membership Expressions. IJCSLP (1998)
Antonis C. Kakas, A. Michael
Applications of Abductive Logic Programming. IJCSLP (1998)
Iliano Cervesato
Proof-Theoretic Foundation of Compilation in Logic Programming. IJCSLP (1998)
Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes
Source-to-source Prolog Program Compression. IJCSLP (1998)
Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. IJCSLP (1998)
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
Efficient Implementation of a Linear Logic Programming Language. IJCSLP (1998)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP (1998)
Grigoris Antoniou, David Billington, Michael J. Maher
Normal Forms for Defeasible Logic. IJCSLP (1998)
Hélène Collavizza, François Delobel, Michel Rueher
Relationships between Partial Consistencies over Continuous Domains. IJCSLP (1998)
Alvaro Ruiz-Andino, José J. Ruz
Integration of CLP and Stochastic Optimisation Strategies. IJCSLP (1998)
Sandro Etalle, Femke van Raamsdonk
Beyond Success and Failure. IJCSLP (1998)
Nada Lavrac
Inductive Logic Programming for Relational Knowledge Discovery. IJCSLP (1998)
Philippe Refalo
Meta-linear Constraints in Constraint Logic Programming. IJCSLP (1998)
Gopal Gupta
Horn Logic Denotations. IJCSLP (1998)
Sergio Greco, Carlo Zaniolo
Greedy Algorithms in Datalog with Choice and Negation. IJCSLP (1998)
Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP (1998)
Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP (1998)
Neng-Fa Zhou
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. IJCSLP (1998)
Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck
Specialising the Other Way Arond. IJCSLP (1998)
Michael Hanus, Frank Steiner
Controlling Search in Funtional Logic Programs. IJCSLP (1998)
Rachid Echahed, Jean-Christophe Janodet
Admissible Graph Rewriting and Narrowing. IJCSLP (1998)
Robin Milner
The Pi Calculus and Its Applications (Keynote Address). IJCSLP (1998)
Andreas Fordan, Roland H. C. Yap
Towards Early Projection in CLP(R). IJCSLP (1998)
Stefaan Decorte, Danny De Schreye
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. IJCSLP (1998)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
On Logically Justified Updates. IJCSLP (1998)
Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP (1998)
Ken McAloon
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. IJCSLP (1998)
Éric Monfroy
A Solver Collaboration in BALI. IJCSLP (1998)