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