David Scott Warren
Proceedings of the 10th International Conference on Logic Programming
ICLP, 1993.

@proceedings{ICLP-1993,
	address       = "Budapest, Hungary",
	editor        = "David Scott Warren",
	isbn          = "0-262-73105-3",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 10th International Conference on Logic Programming}",
	year          = 1993,
}

Contents (65 items)

23 ×#logic programming
15 ×#prolog
12 ×#constraints
10 ×#source code
6 ×#semantics
5 ×#analysis
5 ×#named
4 ×#implementation
4 ×#linear
3 ×#database

ICLP-1993-Futo #communication #process #prolog

Prolog with Communicating Processes: From T-Prolog to CSR-Prolog (IF), pp. 3–17.

ICLP-1993-NerodeK #constraints #hybrid #logic programming

Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.

ICLP-1993-BrissetR #continuation #prolog

Continuations in λ-Prolog (PB, OR), pp. 27–43.

ICLP-1993-McCarty #higher-order #induction #logic #prolog #proving #source code

Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.

ICLP-1993-HuitouzeLR #logic #prolog

Logic Grammars and λ-Prolog (SLH, PL, OR), pp. 64–79.

ICLP-1993-Hanus #analysis #constraints

Analysis of Nonlinear Constraints in CLP(R) (MH), pp. 83–99.

ICLP-1993-DumortierJBC #analysis #constraints

Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.

ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code

Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.

ICLP-1993-BeaumontW #prolog #scheduling

Scheduling Speculative Work in Or-Parallel Prolog Systems (TB, DHDW), pp. 135–149.

ICLP-1993-YangBDCW #performance

Performance of the Compiler-Based Andorra-I System (RY, TB, IdCD, VSC, DHDW), pp. 150–166.

ICLP-1993-Shen #implementation

Implementing Dynamic Dependent And-Parallelism (KS), pp. 167–183.

ICLP-1993-CarroGH #execution #logic programming #paradigm #parallel #source code #visualisation

Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.

ICLP-1993-PintoR #calculus #logic programming #reasoning

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.

ICLP-1993-Dung #database #logic programming #representation

Representing Actions in Logic Programming and Its Applications in Database Updates (PMD), pp. 222–238.

ICLP-1993-Brzoska #bound #logic programming

Temporal Logic Programming with Bounded Universal Modality Goals (CB), pp. 239–256.

ICLP-1993-BonnerK #logic programming #transaction

Transaction Logic Programming (AJB, MK), pp. 257–279.

ICLP-1993-BevemyrLM #implementation #prolog

Reform Prolog: The Language and Its Implementation (JB, TL, HM), pp. 283–298.

ICLP-1993-BosschereJ #implementation #multi #named #prolog #semantics

Multi-Prolog: Definition, Operational Semantics and Implementation (KDB, JMJ), pp. 299–313.

ICLP-1993-Smith #logic programming #multi #named

MultiLog: Data Or-Parallel Logic Programming (DAS), pp. 314–331.

ICLP-1993-InoueS #abduction #logic programming #source code

Transforming Abductive Logic Programs to Disjunctive Programs (KI, CS), pp. 335–353.

ICLP-1993-LeviR #formal method #metaprogramming

A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.

ICLP-1993-BossiBF #fixpoint #prolog #semantics

A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.

ICLP-1993-Debray #on the

On Copy Avoidance in Single Assignment Languages (SKD), pp. 393–407.

ICLP-1993-Marien

Findall without findall/3 (AM), pp. 408–423.

ICLP-1993-DawsonRRS #logic programming #source code

Extracting Determinacy in Logic Programs (SD, CRR, IVR, RCS), pp. 424–438.

ICLP-1993-KraanBB #logic programming #reasoning #synthesis

Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.

ICLP-1993-LauO #deduction #logic programming #source code #synthesis

An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.

ICLP-1993-Luttringhaus-Kappel #generative #logic programming #source code

Control Generation for Logic Programs (SLK), pp. 478–495.

ICLP-1993-Imbert #constraints #linear

Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.

ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo

Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.

ICLP-1993-Contejean #constraints #incremental #linear

Solving Linear Diophantine Constraints Incrementally (EC), pp. 532–549.

ICLP-1993-BackerB #constraints #linear

A CLP Language Handling Disjunctions of Linear Constraints (BDB, HB), pp. 550–563.

ICLP-1993-Turner #logic programming #source code #theorem

A Monotonicity Theorem for Extended Logic Programs (HT), pp. 567–585.

ICLP-1993-GiordanoMS #semantics

A Semantics for Eshghi and Kowalski’s Procedure (LG, AM, MLS), pp. 586–600.

ICLP-1993-PereiraA #reasoning #semantics

Optative Reasoning with Scenario Semantics (LMP, JJA), pp. 601–615.

ICLP-1993-Dung93a #logic programming #semantics

An Argumentation Semantics for Logic Programming with Explicit Negation (PMD), pp. 616–630.

ICLP-1993-MantsivodaPW #constraints #memory management

Memory Management of Constraint in Flang (AM, VP, AW), pp. 633–646.

ICLP-1993-CarlssonG #automation #constraints #using

Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.

ICLP-1993-KempS #analysis #constraints #optimisation #query

Analysis Based Constraint Query Optimization (DBK, PJS), pp. 666–682.

ICLP-1993-HarlandR #constraints #linear #recursion

Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.

ICLP-1993-SakamaI #logic programming #source code

Negation in Disjunctive Logic Programs (CS, KI), pp. 703–719.

ICLP-1993-RaoKS #haskell #proving #source code #termination

Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.

ICLP-1993-Maher #logic programming

A Logic Programming View of CLP (MJM), pp. 737–753.

ICLP-1993-TickB #compilation #evaluation #kernel #performance #runtime

Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.

ICLP-1993-DiazC

A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.

ICLP-1993-BolD

The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.

ICLP-1993-Ng #consistency #database #empirical #semantics

Semantics and Consistency of Empirical Databases (RTN), pp. 812–826.

ICLP-1993-Balogh #interface #prolog #sql

The SQL Interface of MProlog (KB), pp. 829–830.

ICLP-1993-BisdorffL #industrial #problem

Industrial Disposing Problem Solved in CHIP (RB, SL), p. 831.

ICLP-1993-BorgerR #in a nutshell #prolog

Full Prolog in a Nutshell (EB, DR), p. 832.

ICLP-1993-ChikayamaFY #implementation #performance

A Portable and Reasonably Efficient Implementation of KL1 (TC, TF, HY), p. 833.

ICLP-1993-CorsiniR #analysis #fault #safety

Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.

ICLP-1993-FarkasGMU #development #knowledge base #named #prolog

ZEXPERT — A Prolog-Based Shell for Knowledge Base Development (ZF, GG, KM, GU), pp. 835–836.

ICLP-1993-Fruhwirth #constraints

User-Defined Constraint Handling (TWF), pp. 837–838.

ICLP-1993-GrantJ #modelling #prolog #tool support

A Prolog Toolkit for control System Models (PWG, CPJ), pp. 839–840.

ICLP-1993-Gusikhin #integration #prolog #scheduling

Integration of Traditional Scheduling Techniques and AI on Prolog Basis (OYG), p. 841.

ICLP-1993-IvanetsIKT

Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.

ICLP-1993-KossovskyS #backtracking #logic programming

Function-Patterns and Fan-Backtracking for Logic Programming (NKK, IPS), p. 843.

ICLP-1993-KusalikO #logic programming #towards #visualisation

Towards Generalized Visualization Support for Logic Programming (AJK, GMO), p. 844.

ICLP-1993-LadretR #logic programming #protocol #testing

Contribution of Logic Programming to Support Telecommunications Protocol Tests (DL, MR), pp. 845–846.

ICLP-1993-LiRSVBPPSCDRSS #named #parallel #using

APPLAUSE: Applications Using the ElipSys Parallel CLP System (LLL, MR, KS, AV, JB, CP, ZP, TS, DAC, SD, CJR, JS, GS), pp. 847–848.

ICLP-1993-MeklyY #approach #automation #generative #logic programming #modelling #requirements #testing

A Logic Programming Approach to Requirements Modelling and Automated Test Generation (LJM, MPY), p. 849.

ICLP-1993-Reviakin #logic programming #prolog

Logic Programming System Prolog-plus (MR), p. 850.

ICLP-1993-VaghaniRKSSLH #database #deduction

Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.

ICLP-1993-WeiglFMF #fuzzy #named #prolog

Istropolitan — a WAM Based Fuzzy Prolog (IW, MF, SM, RF), p. 852.