## Joxan Jaffar

*Proceedings of the Joint International 15th Conference and Symposium on Logic Programming*

JICSLP, 1998.

@proceedings{JICSLP-1998, address = "Manchester, England, United Kingdom", editor = "Joxan Jaffar", isbn = "0-262-60031-5", publisher = "{MIT Press}", title = "{Proceedings of the Joint International 15th Conference and Symposium on Logic Programming}", year = 1998, }

### Contents (33 items)

- JICSLP-1998-Milner #π-calculus
- The π Calculus and Its Applications (RM), pp. 3–4.
- JICSLP-1998-McAloon #linear #logic programming #research
- Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming (KM), pp. 5–6.
- JICSLP-1998-Lavrac #induction #information management #logic programming #relational
- Inductive Logic Programming for Relational Knowledge Discovery (NL), pp. 7–24.
- JICSLP-1998-DevienneTT #constraints #set
- Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.
- JICSLP-1998-DovierPRP #finite #on the #representation #set
- On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
- JICSLP-1998-Refalo98a #constraints #logic programming
- Meta-linear Constraints in Constraint Logic Programming (PR), pp. 55–69.
- JICSLP-1998-Zhou #algorithm #compilation #constraints
- A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
- JICSLP-1998-ShenCK #distance #execution #metric #named #parallel
- Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
- JICSLP-1998-FonsecaCD #execution #logic programming #named #parallel #source code #visualisation
- VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs (NAF, VSC, IdCD), pp. 100–114.
- JICSLP-1998-Cervesato #compilation #logic programming
- Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.
- JICSLP-1998-MalesiuexRB #compilation #prolog
- Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
- JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
- Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
- JICSLP-1998-AntoniouBM #logic #normalisation
- Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.
- JICSLP-1998-YouYG #semantics
- Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure (JHY, LYY, RG), pp. 175–189.
- JICSLP-1998-EtalleR
- Beyond Success and Failure (SE, FvR), pp. 190–205.
- JICSLP-1998-DeviennePTV #prolog #text-to-text
- Source-to-source Prolog Program Compression (PD, AP, PT, SV), pp. 205–219.
- JICSLP-1998-Leuschel #abstract interpretation
- Program Specialisation and Abstract Interpretation Reconciled (ML), pp. 220–234.
- JICSLP-1998-DecorteS #analysis #termination
- Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space (SD, DDS), pp. 235–249.
- JICSLP-1998-DekhtyarDS #on the
- On Logically Justified Updates (MID, AJD, NS), pp. 250–264.
- JICSLP-1998-LeiteP #logic programming
- Iterated Logic Program Updates (JAL, LMP), pp. 265–278.
- JICSLP-1998-VanhoofMSV
- Specialising the Other Way Arond (WV, BM, DDS, KDV), pp. 279–293.
- JICSLP-1998-GrecoZ #algorithm #datalog
- Greedy Algorithms in Datalog with Choice and Negation (SG, CZ), pp. 294–309.
- JICSLP-1998-RaoRR #on the #scheduling
- On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution (PR, CRR, IVR), pp. 310–324.
- JICSLP-1998-EchahedJ #graph grammar
- Admissible Graph Rewriting and Narrowing (RE, JCJ), pp. 325–342.
- JICSLP-1998-KakasM #abduction #logic programming
- Applications of Abductive Logic Programming (ACK, AM), pp. 343–344.
- JICSLP-1998-CollavizzaDR #consistency
- Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
- JICSLP-1998-HanusS #logic programming #source code
- Controlling Search in Funtional Logic Programs (MH, FS), pp. 347–348.
- JICSLP-1998-Monfroy #collaboration
- A Solver Collaboration in BALI (EM), pp. 349–350.
- JICSLP-1998-Ruiz-AndinoR #integration #optimisation #probability
- Integration of CLP and Stochastic Optimisation Strategies (ARA, JJR), pp. 351–352.
- JICSLP-1998-FagesP #type system
- A Generic Type System for CLP(chi) (FF, MP), pp. 353–354.
- JICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random
- Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.
- JICSLP-1998-Gupta #logic
- Horn Logic Denotations (GG), pp. 357–358.
- JICSLP-1998-FordanY #towards
- Towards Early Projection in CLP(R) (AF, RHCY), pp. 359–360.

10 ×#logic programming

4 ×#constraints

3 ×#algorithm

3 ×#compilation

3 ×#on the

2 ×#execution

2 ×#implementation

2 ×#linear

2 ×#logic

2 ×#named

4 ×#constraints

3 ×#algorithm

3 ×#compilation

3 ×#on the

2 ×#execution

2 ×#implementation

2 ×#linear

2 ×#logic

2 ×#named