Pascal Van Hentenryck
Proceedings of the 11th International Conference on Logic Programming
ICLP, 1994.

@proceedings{ICLP-1994,
	address       = "Santa Marherita Ligure, Italy",
	editor        = "Pascal Van Hentenryck",
	isbn          = "0-262-72022-1",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 11th International Conference on Logic Programming}",
	year          = 1994,
}

Contents (60 items)

22 ×#logic programming
13 ×#source code
5 ×#named
5 ×#prolog
4 ×#constraints
4 ×#logic
4 ×#semantics
3 ×#abduction
3 ×#approach
3 ×#compilation

ICLP-1994-LaunchburyJ #lazy evaluation #thread

Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.

ICLP-1994-Janson #implementation

Implementation of Andorra-based Languages (SJ), pp. 9–10.

ICLP-1994-LauW #logic programming #source code #specification #synthesis #tutorial

A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.

ICLP-1994-LammaM #composition #logic programming

Modularity in Logic Programming (EL, PM), pp. 15–17.

ICLP-1994-KakasM #abduction #logic programming

Abduction and Abductive Logic Programming (ACK, PM), pp. 18–19.

ICLP-1994-LifschitzT #logic programming

Splitting a Logic Program (VL, HT), pp. 23–37.

ICLP-1994-McCainT #independence #logic programming #source code

Language Independence and Language Tolerance in Logic Programs (NM, HT), pp. 38–57.

ICLP-1994-Stuber #modelling #program transformation

Computing Stable Models by Program Transformation (JS), pp. 58–73.

ICLP-1994-AptG #declarative

Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.

ICLP-1994-GuptaHPC #execution #logic programming #named #source code

ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.

ICLP-1994-MoolenaarD #hybrid

Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.

ICLP-1994-MudambiS #network #parallel

Parallel CLP on Heterogeneous Networks (SM, JS), pp. 124–141.

ICLP-1994-AraujoR #distributed #execution #independence #named #parallel #prolog

PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog (LA, JJR), pp. 142–156.

ICLP-1994-Zhou #on the #prolog #stack

On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.

ICLP-1994-BigotGD #logic programming #source code

Output Value Placement in Moded Logic Programs (PAB, DG, SKD), pp. 175–189.

ICLP-1994-Haygood #compilation #prolog

Native Code Compilation in SICStus Prolog (RCH), pp. 190–204.

ICLP-1994-Thielscher #equation #logic programming #representation

Representing Actions in Equational Logic Programming (MT), pp. 207–224.

ICLP-1994-BelleghemDS #abduction #calculus #representation

Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.

ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language

Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.

ICLP-1994-LeachL #logic programming #source code

Computing Annotated Logic Programs (SML, JJL), pp. 257–271.

ICLP-1994-GabbayGMO #logic programming

Conditonal Logic Programming (DMG, LG, AM, NO), pp. 272–289.

ICLP-1994-DixGM #logic programming #modelling #source code

Causal Models of Disjunctive Logic Programs (JD, GG, VWM), pp. 290–302.

ICLP-1994-DixM #approach #axiom #semantics #source code

An Axiomatic Approach to Semantics of Disjunctive Programs (JD, MM), pp. 303–320.

ICLP-1994-BurgLH #backtracking #set

Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.

ICLP-1994-CarlsonCD #constraints #finite

Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.

ICLP-1994-Rauzy #design

Notes on the Design of an Open Boolean Solver (AR), pp. 354–368.

ICLP-1994-CaseauL #scheduling

Improved CLP Scheduling with Task Intervals (YC, FL), pp. 369–383.

ICLP-1994-Jiang #logic #logic programming #semantics

Ambivalent Logic as the Semantic Basis of Metalogic Programming (YJ), pp. 387–401.

ICLP-1994-Reddy #aspect-oriented #higher-order #logic programming

Higher-order Aspects of Logic Programming (USR), pp. 402–418.

ICLP-1994-CairesM #higher-order #logic programming #polymorphism #unification

Higher-Order Polymorphic Unification for Logic Programming (LC, LM), pp. 419–433.

ICLP-1994-HolsheimerBA #database #interface

A Database Interface for Complex Objects (MH, RAdB, HAK), pp. 437–455.

ICLP-1994-DeckerC #database #deduction

A Slick Procedure for Integrity Checking in Deductive Databases (HD, MC), pp. 456–469.

ICLP-1994-ClergerieL #logic programming #named

LPDA: Another look at Tabulation in Logic Programming (EVdlC, BL), pp. 470–486.

ICLP-1994-SakamaI #abduction #equivalence #logic programming #on the #source code

On the Equivalence between Disjunctive and Abductive Logic Programs (CS, KI), pp. 489–503.

ICLP-1994-KakasMD #logic programming #semantics #source code

The Acceptability Semantics for Logic Programs (ACK, PM, PMD), pp. 504–519.

ICLP-1994-BossiFM #bottom-up #semantics

A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.

ICLP-1994-Moreno-Navarro

Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.

ICLP-1994-KingS

Depth-k Sharing and Freeness (AK, PS), pp. 553–568.

ICLP-1994-DumortierJ #towards

Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.

ICLP-1994-Pedreschi #prolog #proving #runtime #source code

A Proof Method for Runtime Properties of Prolog Programs (DP), pp. 584–598.

ICLP-1994-GallagherW #approximate #logic programming #performance #precise #source code

Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.

ICLP-1994-KirchnerR #algebra #constraints #theorem proving

Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.

ICLP-1994-Barthelemy #approach #definite clause grammar #parsing

A Grammatical Approach to DCG Parsing (FB), pp. 632–646.

ICLP-1994-BruscoliDPR #compilation #set

Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.

ICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis

The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.

ICLP-1994-KumonH #concurrent #logic

A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.

ICLP-1994-BoulangerS #abstract interpretation #approach #compilation

Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.

ICLP-1994-ProiettiP #logic

Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables (MP, AP), pp. 714–729.

ICLP-1994-Gervet #constraints #finite #named #set

Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.

ICLP-1994-Mircheva #logic programming #source code

Logic Programs with Refutation Rules (MM), p. 734.

ICLP-1994-Christiansen #performance

Efficient and Complete Demo Predicates for Definite Clause Languages (HC), pp. 735–736.

ICLP-1994-Diel #towards

Towards a Verified OR-Parallel WAM (SD), pp. 737–738.

ICLP-1994-AzevedoS #program transformation

Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.

ICLP-1994-Basin

IsaWhelk Interpreted in Isabelle (DAB), p. 741.

ICLP-1994-BarklundDCL #constraints

Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.

ICLP-1994-JacquetM #named

PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.

ICLP-1994-Silcrat #algebra #logic #static analysis

Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.

ICLP-1994-BreuerSK #design #hardware #proving

Proving Hardware Designs (PTB, LS, CDK), p. 745.

ICLP-1994-Kagedal #analysis #data flow #prolog

A Dataflow Analysis Method for Ground Prolog (AK), p. 746.

ICLP-1994-Zapatrin #logic programming #metric #quantum

Logic Programming as Quantum Measurement (RRZ), p. 747.