Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault |
Abstract Compilation of lambda-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 130-144, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | François Fages, Massimo Paltrinieri |
A Generic Type System for CLP(chi). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 353-354, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel |
Program Specialisation and Abstract Interpretation Reconciled. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 220-234, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | João Alexandre Leite, Luís Moniz Pereira |
Iterated Logic Program Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 265-278, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 175-189, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
Co-definite Set Constraints with Membership Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 25-39, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Antonia Michael |
Applications of Abductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 343-344, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Iliano Cervesato |
Proof-Theoretic Foundation of Compilation in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 115-129, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes |
Source-to-source Prolog Program Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 205-219, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 100-114, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang |
Efficient Implementation of a Linear Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 145-159, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Kish Shen, Vítor Santos Costa, Andy King |
Distance: A New Metric for Controlling Granularity for Parallel Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 85-99, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou, David Billington, Michael J. Maher |
Normal Forms for Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 160-174, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Hélène Collavizza, François Delobel, Michel Rueher |
Relationships between Partial Consistencies over Continuous Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 345-346, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Alvaro Ruiz-Andino, José J. Ruz |
Integration of CLP and Stochastic Optimisation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 351-352, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Sandro Etalle, Femke van Raamsdonk |
Beyond Success and Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 190-205, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Nada Lavrac |
Inductive Logic Programming for Relational Knowledge Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 7-24, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Philippe Refalo |
Meta-linear Constraints in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 55-69, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001 |
Horn Logic Denotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 357-358, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Sergio Greco, Carlo Zaniolo |
Greedy Algorithms in Datalog with Choice and Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 294-309, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky |
Implementing Randomised Algorithms in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 355-356, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 310-324, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou |
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 70-84, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck |
Specialising the Other Way Arond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 279-293, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Hanus, Frank Steiner |
Controlling Search in Funtional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 347-348, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Rachid Echahed, Jean-Christophe Janodet |
Admissible Graph Rewriting and Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 325-342, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Robin Milner |
The Pi Calculus and Its Applications (Keynote Address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 3-4, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Andreas Fordan, Roland H. C. Yap |
Towards Early Projection in CLP(R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 359-360, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Stefaan Decorte, Danny De Schreye |
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 235-249, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
On Logically Justified Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 250-264, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
On the Representation and Management of Finite Sets in CLP Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 40-54, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Ken McAloon |
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 5-6, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Éric Monfroy |
A Solver Collaboration in BALI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 349-350, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|