Maurice Bruynooghe
Proceedings of the International Symposium on Logic Programming
ILPS, 1994.

@proceedings{ILPS-1994,
	address       = "Ithaca, New York, USA",
	editor        = "Maurice Bruynooghe",
	isbn          = "0-262-52191-1",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the International Symposium on Logic Programming}",
	year          = 1994,
}

Contents (54 items)

19 ×#logic programming
11 ×#constraints
10 ×#source code
6 ×#prolog
5 ×#parallel
4 ×#analysis
3 ×#abstract interpretation
3 ×#calculus
3 ×#concurrent
3 ×#linear

ILPS-1994-Cras #constraints #logic programming #using

Using Constraint Logic Programming in Services: A Few Short Tales (YC), pp. 3–16.

ILPS-1994-Jones #abstract interpretation #functional #logic programming #partial evaluation

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.

ILPS-1994-Gottlob #complexity #logic programming #power of

Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.

ILPS-1994-Lloyd #functional #logic programming #programming language

Combining Functional and Logic Programming Languages (JWL), pp. 43–57.

ILPS-1994-Turner #logic programming #source code

Signed Logic Programs (HT), pp. 61–75.

ILPS-1994-Ross #constraints #using

A Syntactic Stratification Condition Using Constraints (KAR), pp. 76–90.

ILPS-1994-Malfon #logic programming #semantics #source code #validation

Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation (BM), pp. 91–105.

ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards

Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.

ILPS-1994-BenhamouMH #revisited

CLP(Intervals) Revisited (FB, DAM, PVH), pp. 124–138.

ILPS-1994-Imbert #equation #linear

Redundancy, Variable Elimination and Linear Disequations (JLI), pp. 139–153.

ILPS-1994-CharlierRH #abstract interpretation #framework #prolog

An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut (BLC, SR, PVH), pp. 157–171.

ILPS-1994-CominiL #algebra

An Algebraic Theory of Observables (MC, GL), pp. 172–186.

ILPS-1994-TomanCR #constraints #datalog #integer

Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.

ILPS-1994-RamakrishnanRSS #evaluation #incremental #performance #query

Efficient Incremental Evaluation of Queries with Aggregation (RR, KAR, DS, SS), pp. 204–218.

ILPS-1994-SwiftW #analysis #evaluation #source code

Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.

ILPS-1994-YouC #semantics

Tractable Argumentation Semantics via Iterative Belief Revision (JHY, RC), pp. 239–253.

ILPS-1994-LakshmananS #database #deduction #probability

Probabilistic Deductive Databases (LVSL, FS), pp. 254–268.

ILPS-1994-BroomeL #calculus #combinator #logic programming

Combinatory Logic Programming: Computing in Relation Calculi (PB, JL), pp. 269–285.

ILPS-1994-Dutra #logic programming #parallel #scheduling

Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems (IdCD), pp. 289–304.

ILPS-1994-DebrayJ #parallel #program transformation

A Simple Program Transformation for Parallelism (SKD, MJ), pp. 305–319.

ILPS-1994-BuenoBH #analysis #automation #effectiveness #parallel #strict

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization (FB, MJGdlB, MVH), pp. 320–336.

ILPS-1994-Gervet #constraints #finite #logic programming #named #set

Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.

ILPS-1994-PodelskiR #algorithm #incremental #testing

The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees (AP, PVR), pp. 359–374.

ILPS-1994-Giacobazzi #abduction #analysis #composition #logic programming #source code

Abductive Analysis of Modular Logic Programs (RG), pp. 377–391.

ILPS-1994-Marchiori #unification

Localizations of Unification Freedom through Matching Directions (MM), pp. 392–406.

ILPS-1994-Hui-Bon-Hoa

Intuitionistic Implication and Resolution (AHBH), pp. 409–423.

ILPS-1994-AlferesDP #named #source code #top-down

SLX — A Top-down Derivation Procedure for Programs with Explicit Negation (JJA, CVD, LMP), pp. 424–438.

ILPS-1994-RosenbluethP #logic programming #lr #parsing #source code

LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.

ILPS-1994-BraemCMH #analysis #prolog

Cardinality Analysis of Prolog (CB, BLC, SM, PVH), pp. 457–471.

ILPS-1994-Post #logic programming

Mutally Exclusive Rules in Logic Programming (KP), pp. 472–486.

ILPS-1994-DebrayGB #detection #logic programming #optimisation #source code

Detection and Optimization of Suspension-free Logic Programs (SKD, DG, PAB), pp. 487–501.

ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming

Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.

ILPS-1994-CarlsonHJ #concurrent #programming

AKL(FD) — A Concurrent Language for FD Programming (BC, SH, SJ), pp. 521–535.

ILPS-1994-KowalskiS #calculus

The Situation Calculus and Event Calculus Compared (RAK, FS), pp. 539–553.

ILPS-1994-BarklundDCL #named

SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.

ILPS-1994-MarriottS #approximate #constraints #interactive #linear

Approximating Interaction between Linear Arithmetic Constraints (KM, PJS), pp. 571–585.

ILPS-1994-MichaylovP #compilation #constraints #linear #logic programming #optimisation #source code

Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.

ILPS-1994-Lindgren #continuation #prolog

A Continuation-Passing Style for Prolog (TL), pp. 603–617.

ILPS-1994-RameshC #prolog

A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.

ILPS-1994-SwiftW94a #automaton #source code

An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.

ILPS-1994-FileR #abstract interpretation #set

Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.

ILPS-1994-BondP #declarative #fault

Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.

ILPS-1994-Brisset #logic programming #polymorphism #programming language #type checking

Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language (PB), p. 674.

ILPS-1994-CervesatoCM #calculus

Modal Event Calculus (IC, LC, AM), p. 675.

ILPS-1994-DavisonH #parsing

Parsing with PTN (AD, EH), p. 676.

ILPS-1994-DekhtyarD #behaviour #database #deduction #on the

On Stable Behaviour of Dynamic Deductive Data Bases (MID, AJD), p. 677.

ILPS-1994-JourdanFRD #concurrent #constraints #modelling #parallel #programming #scheduling #using

Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming (JJ, FF, DR, AD), p. 678.

ILPS-1994-Lever #constraints #logic programming

Constraint Logic Programming for Planning (JML), p. 679.

ILPS-1994-OrosG #datalog #inheritance #source code

Inferring Inheritance from Datalog Programs (MAO, PYG), p. 680.

ILPS-1994-Rajasekar #constraints #logic programming #string #theory and practice

Constraint Logic Programming on Strings: Theory and Applications (AR), p. 681.

ILPS-1994-SagonasW #compilation #prolog

A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.

ILPS-1994-TangPGC #backtracking #logic programming #optimisation #parallel #performance

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems (DT, EP, GG, MC), pp. 683–684.

ILPS-1994-McCartyS #first-order #interpreter #logic #prolog

A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.

ILPS-1994-YuanY #effectiveness

A Simple but Effective Program Revision Method (LYY, JHY), p. 686.