Dale Miller
Proceedings of the International Symposium on Logic Programming
ILPS, 1993.

@proceedings{ILPS-1993,
	address       = "Vancouver, British Columbia, Canada",
	editor        = "Dale Miller",
	isbn          = "0-262-63152-0",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the International Symposium on Logic Programming}",
	year          = 1993,
}

Contents (89 items)

23 ×#logic programming
16 ×#source code
10 ×#constraints
10 ×#logic
10 ×#prolog
8 ×#semantics
6 ×#concurrent
6 ×#programming
5 ×#parallel
4 ×#analysis

ILPS-1993-Boden #logic

The Logic of Creativity (MAB), pp. 3–11.

ILPS-1993-Apt #declarative #programming #prolog

Declarative Programming in Prolog (KRA), pp. 12–35.

ILPS-1993-Kaiser #development #multi

MARVEL 3: 1: A Multi-User Software Development Environment (GEK), pp. 36–39.

ILPS-1993-Debray #logic programming #source code #static analysis

Static Analysis of Logic Programs (SKD), pp. 43–44.

ILPS-1993-Raedt #induction #logic programming

A Brief Introduction to Inductive Logic Programming (LDR), pp. 45–51.

ILPS-1993-Ait-Kaci #equation #inheritance #logic #programming

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.

ILPS-1993-Fitting #logic programming #metric #semantics #source code

Metric Methods in the Semantics of Logic Programs (MF), pp. 69–71.

ILPS-1993-MacdonaldSY

Redundancy of Variables in CLP (R) (ADM, PJS, RHCY), pp. 75–93.

ILPS-1993-GudjonssonW #overview

Update In Place: Overview of the Siva Project (GG, WHW), pp. 94–113.

ILPS-1993-CodishD #logic programming #source code #using

Analysing Logic Programs Using “Prop”-ositional Logic Programs and a Magic Wand (MC, BD), pp. 114–129.

ILPS-1993-BandaHM #constraints #independence #logic programming #source code

Independence in Constraint Logic Programs (MJGdlB, MVH, KM), pp. 130–146.

ILPS-1993-DeneckerS #abduction #information management #logic programming #representation

Representing Incomplete Knowledge in Abductive Logic Programming (MD, DDS), pp. 147–163.

ILPS-1993-HolldoblerT

Actions and Specificity (SH, MT), pp. 164–180.

ILPS-1993-BaralGK #approximate #logic programming #source code

Approximating General Logic Programs (CB, MG, OK), pp. 181–198.

ILPS-1993-BolD #semantics

Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.

ILPS-1993-Andrews #logic #prolog #semantics

A Logical Semantics for Depth-First Prolog with Ground Negation (JHA), pp. 220–234.

ILPS-1993-Teusink #logic programming #proving #source code

A Proof Procedure for Extended Logic Programs (FT), pp. 235–249.

ILPS-1993-DevienneLR #decidability #horn clause #problem #recursion

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable (PD, PL, JCR), pp. 250–265.

ILPS-1993-EiterG #complexity #logic #logic programming

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (TE, GG), pp. 266–278.

ILPS-1993-KobayashiY #concurrent #linear #logic programming #named #paradigm

ACL — A Concurrent Linear Logic Programming Paradigm (NK, AY), pp. 279–294.

ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming

Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.

ILPS-1993-BoerKPR #concurrent #constraints #programming

Non-monotonic Concurrent Constraint Programming (FSdB, JNK, CP, JJMMR), pp. 315–334.

ILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics

Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.

ILPS-1993-LuskMOS #biology #parallel #prolog

Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.

ILPS-1993-Gregory #parallel

Experiments with Speculative Parallelism in Parlog (SG), pp. 370–387.

ILPS-1993-TongL #concurrent #constraints #logic programming #parallel

Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers (BMT, HfL), pp. 388–402.

ILPS-1993-Sindaha #scheduling

Branch-Level Scheduling in Aurora: The Dharma Scheduler (RYS), pp. 403–419.

ILPS-1993-DecorteSF #analysis #automation #termination

Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis (SD, DDS, MF), pp. 420–436.

ILPS-1993-BandaH #analysis #approach #source code

A Practical Approach to the Global Analysis of CLP Programs (MJGdlB, MVH), pp. 437–455.

ILPS-1993-PostGK #parsing

Deterministic Parsing of Languages with Dynamic Operators (KP, AVG, JK), pp. 456–472.

ILPS-1993-BaldoniGM #logic programming #multimodal

A Multimodal Logic to Define Modules in Logic Programming (MB, LG, AM), pp. 473–487.

ILPS-1993-KohlhaseP #unification #λ-calculus

Unification in a λ-Calculus with Intersection Types (MK, FP), pp. 488–505.

ILPS-1993-Ait-KaciPG #order #unification

Order-Sorted Feature Theory Unification (HAK, AP, SCG), pp. 506–524.

ILPS-1993-CodognetD #constraints #theorem proving #using

Boolean Constraint Solving Using clp(FD) (PC, DD), pp. 525–539.

ILPS-1993-DovierR #finite #set

Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.

ILPS-1993-SudarshanR #bottom-up #evaluation #optimisation

Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.

ILPS-1993-GrecoSZ #logic #optimisation #programming #query

Dynamic Programming Optimization for Logic Queries with Aggregates (SG, DS, CZ), pp. 575–589.

ILPS-1993-SudarshanSRB #semantics

Extending the Well-Founded and Valid Semantics for Aggregation (SS, DS, RR, CB), pp. 590–608.

ILPS-1993-DongL #approach #deduction #query

A Deductive Approach to Hypothetical Query Answering (FD, LVSL), pp. 609–628.

ILPS-1993-KirschenbaumS #prolog #proving #source code

Enhancement Structures for Proving Prolog Programs Correct (MK, LS), p. 631.

ILPS-1993-WaalG #logic programming

Logic Program Specialisation With Deletion of Useless Clauses (DAdW, JPG), p. 632.

ILPS-1993-Bsaies #automation #logic programming #performance #source code

Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties (KB), p. 633.

ILPS-1993-AguzziM #logic programming #source code #term rewriting #termination

Termination of Logic Programs via Equivalent Rewrite Systems (GA, UM), p. 634.

ILPS-1993-Sohn #analysis #logic programming #relational #source code

Relational Groundness Analysis for Logic Programs (KS), p. 635.

ILPS-1993-Vargas-VeraVR #editing #prolog #scalability #source code #using

Building Large-Scale Prolog Programs using a Techniques Editing System (MVV, WWV, DSR), p. 636.

ILPS-1993-OsorioJ #set

Subset Assertions and Negation As Failure (MO, BJ), p. 637.

ILPS-1993-MoraPRF #equation #prototype #type system

A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.

ILPS-1993-Aparicio #semantics #set

Assumption Set Semantics (JNA), p. 639.

ILPS-1993-YouY #logic programming #source code

Contradiction Resolving for Extended Logic Programs and Default Theories (JHY, LYY), p. 640.

ILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning

Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.

ILPS-1993-Ben-Eliyahu #revisited

Back to the Future: Program Completion, Revisited (RBE), p. 642.

ILPS-1993-Drabent #query

Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.

ILPS-1993-WassermanYS #deduction #logic programming

The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.

ILPS-1993-PalopoliZ #modelling

Polynominal Time Computable Stable Models (LP, CZ), p. 645.

ILPS-1993-Shilcrat #framework #logic

Id Est, A Logic Based Framework for Direct Manipulation Systems (EDS), p. 646.

ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code

Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.

ILPS-1993-HanL #evaluation #recursion #source code

Evaluation of Regular Nonlinear Recursive Programs (JH, LVSL), p. 648.

ILPS-1993-BerryE #generative #query #recursion

Generating Goals and Their Use In Recursive Query Processing (VB, PÉ), p. 649.

ILPS-1993-ChanS #prolog

A Prolog-Based Definition of an Entity Relationship Language (HCC, KS), p. 650.

ILPS-1993-BarbackL #proving

A Proof Procedure for Default Theories with Extensions (MDB, JL), p. 651.

ILPS-1993-Tarau #continuation #performance #source code

An Efficient Specialization of the WAM for Continuation Passing Binary Programs (PT), p. 652.

ILPS-1993-PodelskiR #algorithm

The Beauty and the Beast Algorithm (AP, PVR), p. 653.

ILPS-1993-Paterson-JonesW

Extending the WAM for HiLog (RPJ, PTW), p. 654.

ILPS-1993-Zhou #compilation #on the #parametricity #prolog

On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.

ILPS-1993-FribourgP #automaton #concurrent #constraints

Concurrent Constraint Automata (LF, MVP), p. 656.

ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental

Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.

ILPS-1993-McDonaldXEF #logic #on the #semantics

On the Denotational and Logical Semantics of CLP-Modules (BM, JX, ME, EF), p. 658.

ILPS-1993-PesantB #constraints #geometry #polynomial

Handling Quadratic Constraints through Geometry (GP, MB), p. 659.

ILPS-1993-Sidebottom #constraints #optimisation

Optimizing Constraint Processing in CLP(FD) (GS), p. 660.

ILPS-1993-BoizumaultDP #problem #using

Solving a real life exams problem using CHIP (PB, YD, LP), p. 661.

ILPS-1993-Hausman #erlang

Turbo Erlang (BH), p. 662.

ILPS-1993-LiL #distributed #parallel

A Distributed Parallel LP System (WL, ZL), p. 663.

ILPS-1993-BosschereT #parallel #programming #prolog

Blackboard-based Extensions for Parallel Programming in BinProlog (KDB, PT), p. 664.

ILPS-1993-Pimentel #concurrent #logic #object-oriented

L2||O2: A Concurrent Object-oriented Logic Language (EP), p. 665.

ILPS-1993-MartelliMP #fixpoint #semantics

Fixpoint Semantics of L-λ (MM, AM, CP), p. 666.

ILPS-1993-Hui-Bon-Hoa #constraints

An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints (AHBH), p. 667.

ILPS-1993-Felty #definite clause grammar #higher-order #parsing #syntax

Definite Clause Grammars for Parsing Higher-Order Syntax (APF), p. 668.

ILPS-1993-Orgun #logic programming

The Soundness and Completeness of a Temporal Extension of Logic Programming (MAO), p. 669.

ILPS-1993-BruningHSTS #deduction

Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.

ILPS-1993-MorenoPM #logic programming #natural language

The Incorporation of Logic Formalisms to Natural Language Through Logic Programming (LM, MP, AM), p. 671.

ILPS-1993-TakahashiS #functional #prolog

Prolog Interpretation of A Functional-Logic Language (ST, FSKS), p. 672.

ILPS-1993-Hanus #lazy evaluation #normalisation

Combining Lazy Narrowing and Normalization (MH), p. 673.

ILPS-1993-Meyer #logic #reasoning #towards #visual notation

Logic and the Structure of Space — Towards a Visual Logic for Spatial Reasoning (BM), p. 674.

ILPS-1993-RodriguesL #information retrieval #reasoning

Temporal Reasoning for Temporal Information Retrieval From Text (IPR, JGL), p. 675.

ILPS-1993-DelzannoM #bottom-up #finite

A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.

ILPS-1993-Harland #logic #on the

On Goal-Directed Provability in Classical Logic (JH), p. 677.

ILPS-1993-Spencer #order #strict

The Ordered Clause Restriction of Model Elimination and SLI Resolution (BS), p. 678.

ILPS-1993-ChenSW #evaluation

Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.

ILPS-1993-Li #prolog #specification #π-calculus

A π-calculus Specification of Prolog (ZL), p. 680.