Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th IJCSLP 1998: Manchester, UK
- Joxan Jaffar:
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998. MIT Press 1998, ISBN 0-262-60031-5
Invited Talks
- Robin Milner:
The Pi Calculus and Its Applications (Keynote Address). IJCSLP 1998: 3-4 - Ken McAloon:
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. IJCSLP 1998: 5-6 - Nada Lavrac:
Inductive Logic Programming for Relational Knowledge Discovery. IJCSLP 1998: 7-24
Refereed Papers
- Philippe Devienne, Jean-Marc Talbot, Sophie Tison:
Co-definite Set Constraints with Membership Expressions. IJCSLP 1998: 25-39 - Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54 - Philippe Refalo:
Meta-linear Constraints in Constraint Logic Programming. IJCSLP 1998: 55-69 - Neng-Fa Zhou:
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. IJCSLP 1998: 70-84 - Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99 - 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: 100-114 - Iliano Cervesato:
Proof-Theoretic Foundation of Compilation in Logic Programming. IJCSLP 1998: 115-129 - Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Abstract Compilation of lambda-Prolog. IJCSLP 1998: 130-144 - Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang:
Efficient Implementation of a Linear Logic Programming Language. IJCSLP 1998: 145-159 - Grigoris Antoniou, David Billington, Michael J. Maher:
Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174 - Jia-Huai You, Li-Yan Yuan, Randy Goebel:
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189 - Sandro Etalle, Femke van Raamsdonk:
Beyond Success and Failure. IJCSLP 1998: 190-205 - Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes:
Source-to-source Prolog Program Compression. IJCSLP 1998: 205-219 - Michael Leuschel:
Program Specialisation and Abstract Interpretation Reconciled. IJCSLP 1998: 220-234 - Stefaan Decorte, Danny De Schreye:
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. IJCSLP 1998: 235-249 - Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos:
On Logically Justified Updates. IJCSLP 1998: 250-264 - João Alexandre Leite, Luís Moniz Pereira:
Iterated Logic Program Updates. IJCSLP 1998: 265-278 - Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck:
Specialising the Other Way Arond. IJCSLP 1998: 279-293 - Sergio Greco, Carlo Zaniolo:
Greedy Algorithms in Datalog with Choice and Negation. IJCSLP 1998: 294-309 - Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan:
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP 1998: 310-324 - Rachid Echahed, Jean-Christophe Janodet:
Admissible Graph Rewriting and Narrowing. IJCSLP 1998: 325-342
Poster Abstracts
- Antonis C. Kakas, Antonia Michael:
Applications of Abductive Logic Programming. IJCSLP 1998: 343-344 - Hélène Collavizza, François Delobel, Michel Rueher:
Relationships between Partial Consistencies over Continuous Domains. IJCSLP 1998: 345-346 - Michael Hanus, Frank Steiner:
Controlling Search in Funtional Logic Programs. IJCSLP 1998: 347-348 - Éric Monfroy:
A Solver Collaboration in BALI. IJCSLP 1998: 349-350 - Alvaro Ruiz-Andino, José J. Ruz:
Integration of CLP and Stochastic Optimisation Strategies. IJCSLP 1998: 351-352 - François Fages, Massimo Paltrinieri:
A Generic Type System for CLP(chi). IJCSLP 1998: 353-354 - Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky:
Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP 1998: 355-356 - Gopal Gupta:
Horn Logic Denotations. IJCSLP 1998: 357-358 - Andreas Fordan, Roland H. C. Yap:
Towards Early Projection in CLP(R). IJCSLP 1998: 359-360
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
