Leon Sterling
Proceedings of the 12th International Conference on Logic Programming
ICLP, 1995.

@proceedings{ICLP-1995,
	address       = "Tokyo, Japan",
	editor        = "Leon Sterling",
	isbn          = "0-262-69177-9",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 12th International Conference on Logic Programming}",
	year          = 1995,
}

Contents (68 items)

26 ×#logic programming
13 ×#constraints
13 ×#source code
7 ×#concurrent
6 ×#implementation
6 ×#prolog
5 ×#named
4 ×#abduction
4 ×#calculus
4 ×#database

ICLP-1995-Kahn #concurrent #constraints #named #programming

ToonTalk — Concurrent Constraint Programming for Kids (KMK), p. 3.

ICLP-1995-Hasegawa #generative #proving #theorem proving

Model Generation Theorem Provers and Their Applications (RH), p. 7.

ICLP-1995-Simonis #constraints #logic programming

Applications of Constraint Logic Programming (HS), pp. 9–11.

ICLP-1995-Smolka #concurrent #constraints #named #programming

Oz: Concurrent Constraint Programming for Real (GS), p. 13.

ICLP-1995-ChiuL #constraints #linear #theorem proving #using

Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.

ICLP-1995-BurgSTY #constraints #equation #linear #logic programming

Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.

ICLP-1995-HeintzeJ #algorithm #analysis

A Generic Algorithm for CLP Analysis (NH, JJ), pp. 49–63.

ICLP-1995-SadriK #calculus

Variants of the Event Calculus (FS, RAK), pp. 67–81.

ICLP-1995-BelleghemDS #calculus

Combining Situation Calculus and Event Calculus (KVB, MD, DDS), pp. 83–97.

ICLP-1995-Sripada #calculus #database #implementation #performance

Efficient Implementation of the Event Calculus for Temporal Database Applications (SMS), pp. 99–113.

ICLP-1995-CarlsonC #compilation #constraints #finite

Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.

ICLP-1995-BarthB #finite

Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.

ICLP-1995-FagesFS #constraints #logic programming

A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.

ICLP-1995-YuanY #approach #logic programming #on the

On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.

ICLP-1995-DekhtyarD #behaviour #database #deduction

Dynamic Deductive Data Bases With Steady Behaviour (MID, AJD), pp. 183–197.

ICLP-1995-BrassD #bottom-up #evaluation #semantics

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.

ICLP-1995-Zhou #approach #logic programming

A Logic Programming Approach to Channel Routing (NFZ), pp. 217–231.

ICLP-1995-SubrahmanianZ #modelling

Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.

ICLP-1995-ShiraiH #constraints #problem

Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.

ICLP-1995-CholewinskiMMT #reasoning

Experimenting with Nonmonotonic Reasoning (PC, VWM, AM, MT), pp. 267–281.

ICLP-1995-WakakiS #logic programming

Computing Prioritized Circumscription by Logic Programming (TW, KS), pp. 283–297.

ICLP-1995-CervesatoCM #calculus #framework #logic programming #order

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (IC, LC, AM), pp. 299–313.

ICLP-1995-CodognetD #c #compilation #named #prolog

WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.

ICLP-1995-KrallB #automaton #compilation #incremental #prolog

Incremental Global Compilation of Prolog with the Vienna Abstract Machine (AK, TB), pp. 333–347.

ICLP-1995-SagonasW #execution #implementation #performance #prolog

Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.

ICLP-1995-ToniK #abduction #logic programming #reduction #source code

Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.

ICLP-1995-SakamaI #abduction #deduction #reasoning

The Effect of Partial Deduction in Abductive Reasoning (CS, KI), pp. 383–397.

ICLP-1995-KakasM #abduction #constraints #logic programming

Integrating Abductive and Constraint Logic Programming (ACK, AM), pp. 399–413.

ICLP-1995-CodognetR #constraints #programming

NMCC Programming: Constraint Enforcement and Retracting in CC Programming (PC, FR), pp. 417–431.

ICLP-1995-Brand #algorithm #graph

A Decision Graph Algorithm for CCP Languages (PB), pp. 433–447.

ICLP-1995-PodelskiS #constraints #logic programming #semantics #source code

Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.

ICLP-1995-Gegg-Harrison #logic programming #prolog #representation

Representing Logic Program Schemata in λ-Prolog (TSGH), pp. 467–481.

ICLP-1995-Jain #logic programming #source code #using

Projections of Logic Programs using Symbol Mappings (AJ), pp. 483–496.

ICLP-1995-ChengPE #equation #implementation #logic programming #source code

A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.

ICLP-1995-GregoryR #concurrent #declarative #named #programming language

Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.

ICLP-1995-JacquetB #concurrent #logic #on the #process

On Composing Concurrent Logic Processes (JMJ, KDB), pp. 531–545.

ICLP-1995-BarbutiFS #execution #modelling #prolog #using

Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.

ICLP-1995-DegtyarevV #horn clause #similarity

A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.

ICLP-1995-Lifschitz

SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.

ICLP-1995-MartensG #deduction #flexibility #termination

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (BM, JPG), pp. 597–611.

ICLP-1995-PontelliGT #implementation #optimisation #prolog

Determinacy Driven Optimizations of And-Parallel Prolog Implementations (EP, GG, DT), pp. 615–629.

ICLP-1995-HermenegildoGC #concurrent #implementation #logic programming #parallel #using

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (MVH, DCG, MC), pp. 631–645.

ICLP-1995-HermenegildoL #performance

Efficient Term Size Computation for Granularity Control (MVH, PLG), pp. 647–661.

ICLP-1995-Hanus #equation #logic programming #on the

On Extra Variables in (Equational) Logic Programming (MH), pp. 665–679.

ICLP-1995-EtalleG #composition #source code

A Transformation System for Modular CLP Programs (SE, MG), pp. 681–695.

ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code

Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.

ICLP-1995-Sato #learning #logic programming #semantics #source code #statistics

A Statistical Learning Method for Logic Programs with Distribution Semantics (TS), pp. 715–729.

ICLP-1995-GovindarajanJM #logic programming

Preference Logic Programming (KG, BJ, SM), pp. 731–745.

ICLP-1995-BoyeM #aspect-oriented

Two Aspects of Directional Types (JB, JM), pp. 747–761.

ICLP-1995-Beierle #logic programming #order #polymorphism #source code

Type Inferencing for Polymorphic Order-Sorted Logic Programs (CB), pp. 765–779.

ICLP-1995-MulkersSJB #equation #on the

On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.

ICLP-1995-HermenegildoPMS #analysis #incremental #logic programming #source code

Incremental Analysis of Logic Programs (MVH, GP, KM, PJS), pp. 797–811.

ICLP-1995-Cicekli #backtracking

Shallow Backtracking Points in an Intelligent Backtracking Schema (IC), p. 815.

ICLP-1995-Hausman #erlang #hybrid #implementation

Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.

ICLP-1995-Fung #abduction

Abduction with Clark Completion (THF), p. 817.

ICLP-1995-Hirata #correctness #haskell #proving #π-calculus

Proving Correctness of Translation from Moded Flat GHC to π-Calculus (KH), p. 818.

ICLP-1995-FormicaMT #database #object-oriented #proving #satisfiability #theorem proving

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas (AF, MM, RT), p. 819.

ICLP-1995-ShimajiriSI #database #logic #query

Making Query Processing Goal-Directed in Disjunctive Logic Databases (YS, HS, HI), p. 820.

ICLP-1995-NilssonTW #deduction #distributed #memory management #named #query #realtime

Amnesia — A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language (HN, TT, CW), p. 821.

ICLP-1995-IsozakiK #estimation #execution #logic programming #source code #transaction

Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.

ICLP-1995-TanL #logic programming #source code #synthesis

Type Synthesis for Logic Programs (JT, IPL), p. 823.

ICLP-1995-GuptaCP #array #logic programming #parallel

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.

ICLP-1995-ZhaoCU #analysis #concurrent #dependence #logic programming #source code

Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.

ICLP-1995-PodelskiS95a

Situated Simplification (AP, GS), p. 826.

ICLP-1995-NilssonH #higher-order #logic programming #source code

Constructing Logic Programs with Higher-Order Predicates (JFN, AH), p. 827.

ICLP-1995-SahlinS #concurrent #constraints

An Analyzer for a Concurrent Constraint Language (DS, TS), p. 828.

ICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple

Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.

ICLP-1995-BarklundDCL #semantics

Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.