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)

10 ×#logic programming
4 ×#constraints
3 ×#algorithm
3 ×#compilation
3 ×#on the
2 ×#execution
2 ×#implementation
2 ×#linear
2 ×#logic
2 ×#named

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.