## 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)

- 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.

16 ×#logic programming

10 ×#source code

6 ×#semantics

5 ×#constraints

5 ×#database

5 ×#deduction

4 ×#concurrent

4 ×#implementation

4 ×#prolog

3 ×#logic

10 ×#source code

6 ×#semantics

5 ×#constraints

5 ×#database

5 ×#deduction

4 ×#concurrent

4 ×#implementation

4 ×#prolog

3 ×#logic