Michael J. Maher
Proceedings of the Joint International 13th Conference and Symposium on Logic Programming
JICSLP, 1996.

@proceedings{JICSLP-1996,
	address       = "Bonn, Germany",
	editor        = "Michael J. Maher",
	isbn          = "0-262-63173-3",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}",
	year          = 1996,
}

Contents (36 items)

16 ×#logic programming
10 ×#source code
6 ×#semantics
5 ×#constraints
5 ×#database
5 ×#deduction
4 ×#concurrent
4 ×#implementation
4 ×#prolog
3 ×#logic

JICSLP-1996-Puget #constraints #programming

Constraint Programming (JFP), p. 3.

JICSLP-1996-Mesnard #constraints #logic programming #query #source code

Inferring Left-terminating Classes of Queries for Constraint Logic Programs (FM), pp. 7–21.

JICSLP-1996-RefaloH

CLP(Rlin) Revised (PR, PVH), pp. 22–36.

JICSLP-1996-KellyMMSY #compilation #effectiveness #optimisation

Effectiveness of Optimizing Compilation for CLP(R) (ADK, ADM, KM, PJS, RHCY), pp. 37–51.

JICSLP-1996-BaldoniGM #framework #logic programming

A Framework for a Modal Logic Programming (MB, LG, AM), pp. 52–66.

JICSLP-1996-BugliesiDML #calculus #linear #logic

A Linear Logic Calculus Objects (MB, GD, LL, MM), pp. 67–81.

JICSLP-1996-SakamaI #logic programming #representation #source code

Representing Priorities in Logic Programs (CS, KI), pp. 82–96.

JICSLP-1996-Zhou #implementation #novel

A Novel Implementation Method of Delay (NFZ), pp. 97–111.

JICSLP-1996-RaoRR #concurrent #thread

A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.

JICSLP-1996-Neumerkel #interprocedural #text-to-text

Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.

JICSLP-1996-BonnerK #communication #concurrent #logic #transaction

Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.

JICSLP-1996-Decker #abduction #database #deduction #maintenance

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.

JICSLP-1996-DeneckerBDPS #calculus #empirical #information management #protocol #representation #specification

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification (MD, KVB, GD, FP, DDS), pp. 170–184.

JICSLP-1996-Naish #declarative

A Declarative View of Modes (LN), pp. 185–199.

JICSLP-1996-TanL #logic programming #source code #synthesis

Type Synthesis for Logic Programs (JT, IPL), pp. 200–214.

JICSLP-1996-ChoU #concurrent #logic programming #source code

Diagnosing Non-Well-Moded Concurrent Logic Programs (KC, KU), pp. 215–229.

JICSLP-1996-HamfeltN #declarative #logic programming #recursion

Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.

JICSLP-1996-Ridoux #attribute grammar #prolog

Engineering Transformations of Attributed Grammars in λProlog (OR), pp. 244–258.

JICSLP-1996-DowekHKP #higher-order #unification

Unification via Explicit Substitutions: The Case of Higher-Order Patterns (GD, TH, CK, FP), pp. 259–273.

JICSLP-1996-SagonasSW #automaton #semantics

An Abstract Machine for Computing the Well-Founded Semantics (KFS, TS, DSW), pp. 274–288.

JICSLP-1996-NiemelaS #implementation #performance #semantics

Efficient Implementation of the Well-founded and Stable Model Semantics (IN, PS), pp. 289–303.

JICSLP-1996-ZukowskiF #database #evaluation #flexibility #query

Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.

JICSLP-1996-LeuschelSW #concept #deduction #integration #towards

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration (ML, DDS, DAdW), pp. 319–332.

JICSLP-1996-FalaschiHW #analysis #concurrent #constraints #source code

Demand Transformation Analysis for Concurrent Constraint Programs (MF, PH, WHW), pp. 333–347.

JICSLP-1996-FileR #abstract domain

Complementation of Abstract Domains made Easy (GF, FR), pp. 348–362.

JICSLP-1996-CaseauL #cumulative #scheduling

Cumulative Scheduling with Task Intervals (YC, FL), pp. 363–377.

JICSLP-1996-LhommeGRT #algorithm

Boosting the Interval Narrowing Algorithm (OL, AG, MR, PT), pp. 378–392.

JICSLP-1996-Rao #implementation

Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.

JICSLP-1996-CholewinskiT #logic programming #problem

Extremal Problems in Logic Programming and Stable Model Computation (PC, MT), pp. 408–422.

JICSLP-1996-Pradhan #logic programming #source code

Logic Programs with Contested Information (SP), pp. 423–437.

JICSLP-1996-CostantiniLM #semantics

Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.

JICSLP-1996-Bry #composition #database #deduction #logic programming #semantics #source code

A Compositional Semantics for Logic Programs and Deductive Databases (FB), pp. 453–467.

JICSLP-1996-EtalleT #composition #semantics #source code

A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.

JICSLP-1996-Thielscher #logic programming #proving #semantics #source code

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs (MT), pp. 483–497.

JICSLP-1996-KusalikP #execution #logic programming #parallel #performance #visualisation

Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.

JICSLP-1996-Shen #implementation #parallel

Initial Results of the Parallel Implementation of DASWAM (KS), pp. 513–527.