Proceedings of the Joint International 15th Conference and Symposium on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Joxan Jaffar
Proceedings of the Joint International 15th Conference and Symposium on Logic Programming
JICSLP, 1998.

TEST
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.