Danny De Schreye
Proceedings of the 15th International Conference on Logic Programming
ICLP, 1999.

@proceedings{ICLP-1999,
	address       = "Las Cruces, New Mexico, USA",
	editor        = "Danny De Schreye",
	isbn          = "0-262-54104-1",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 15th International Conference on Logic Programming}",
	year          = 1999,
}

Event page: http://www.cs.nmsu.edu/~complog/conferences/iclp99

Contents (56 items)

16 ×#logic programming
12 ×#source code
7 ×#constraints
7 ×#prolog
4 ×#declarative
3 ×#analysis
3 ×#database
3 ×#logic
3 ×#modelling
3 ×#using

ICLP-1999-Pereira #declarative #programming

Declarative Programming for a Messy World (FCNP), pp. 3–5.

ICLP-1999-Thalheim #database #logic #modelling

Logics and Database Modelling (BT), pp. 6–21.

ICLP-1999-Bowen #prolog

Adventures in the Prolog Trade (KAB), p. 22.

ICLP-1999-Lifschitz #set

Answer Set Planning (VL), pp. 23–37.

ICLP-1999-Roy #logic programming

Logic Programming in Oz with Mozart (PVR), pp. 38–51.

ICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #program analysis #using

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.

ICLP-1999-Kahn #prolog

From Prolog and Zelta to ToonTalk (KMK), pp. 67–78.

ICLP-1999-BuccafurriFL #inheritance #logic programming #source code

Disjunctive Logic Programs with Inheritance (FB, WF, NL), pp. 79–93.

ICLP-1999-KaneiwaT #logic #order

Event, Property, and Hierarchy in Order-Sorted Logic (KK, ST), pp. 94–108.

ICLP-1999-DekhtyarDS #logic programming #probability #source code

Temporal Probabilistic Logic Programs (AD, MID, VSS), pp. 109–123.

ICLP-1999-Penn #encoding #prolog

An Optimized Prolog Encoding of Typed Feature Structures (GP), pp. 124–138.

ICLP-1999-JahierD #approach #monitoring

A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.

ICLP-1999-MalletD #database #deduction #generative

Generating Deductive Database Explanations (SM, MD), pp. 154–168.

ICLP-1999-Truszczynski #modelling #scalability

Computing Large and Small Stable Models (MT), pp. 169–183.

ICLP-1999-SeresSH #algebra #logic programming

Algebra of Logic Programming (SS, JMS, CARH), pp. 184–199.

ICLP-1999-OrejasP #semantics #source code

Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.

ICLP-1999-HirataY #concurrent #declarative #logic

Declarative Priority in a Concurrent Logic Language ON (KH, KY), pp. 215–229.

ICLP-1999-BenhamouGGP #consistency

Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.

ICLP-1999-CaseauJL #algorithm #named #set

CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms (YC, FXJ, FL), pp. 245–259.

ICLP-1999-DemoenBHMS #constraints #theorem proving

Herbrand Constraint Solving in HAL (BD, MJGdlB, WH, KM, PJS), pp. 260–274.

ICLP-1999-Schulte #constraints #programming

Comparing Trailing and Copying for Constraint Programming (CS), pp. 275–289.

ICLP-1999-GuptaP #distributed #memory management #named

Stack-splitting: Or-/And-parallelism on Distributed Memory Machines (GG, EP), pp. 290–304.

ICLP-1999-CuiW #logic programming #multi

Multiple Terms in a Tabled Logic Programming System (BC, DSW), pp. 305–319.

ICLP-1999-CarroH #concurrent #database #prolog #thread #using

Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.

ICLP-1999-Smaus #logic programming #proving #source code #termination

Proving Termination of Input-Consuming Logic Programs (JGS), pp. 335–349.

ICLP-1999-PedreschiR #bound #logic programming #nondeterminism #source code

Bounded Nondeterminism of Logic Programs (DP, SR), pp. 350–364.

ICLP-1999-Verbaeten #abduction #analysis #logic programming #source code #termination

Termination Analysis for Abductive General Logic Programs (SV), pp. 365–379.

ICLP-1999-MomiglianoP #higher-order #problem

The Relative Complement Problem for Higher-Order Patterns (AM, FP), pp. 380–394.

ICLP-1999-Bezem #logic programming #source code

Extensionality of Simply Typed Logic Programs (MB), pp. 395–410.

ICLP-1999-AppelF #lightweight #prolog

Lightweight Lemmas in λ-Prolog (AWA, APF), pp. 411–425.

ICLP-1999-AlferesPS #abduction #source code

Well-founded Abduction via Tabled Dual Programs (JJA, LMP, TS), pp. 426–440.

ICLP-1999-Greco #optimisation #query

Optimization of Disjunctive Queries (SG), pp. 441–455.

ICLP-1999-ZukowskiF #semantics

Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.

ICLP-1999-Zhang #rule-based

Monotonicity in Rule Based Update (YZ), pp. 471–485.

ICLP-1999-ProiettiP #induction

Transforming Inductive Definitions (MP, AP), pp. 486–499.

ICLP-1999-VanhoofB #analysis

Binding-time Analysis for Mercury (WV, MB), pp. 500–514.

ICLP-1999-FocacciML #constraints

Soving TSP with Time Windows with Constraints (FF, MM, AL), pp. 515–529.

ICLP-1999-TickYM #constraints #problem

Finding Fair Allocations for the Coalition Problem with Constraints (ET, RHCY, MJM), pp. 530–544.

ICLP-1999-Henz #constraints

Constraint-based Round Robin Tournament Planning (MH), pp. 545–557.

ICLP-1999-EtalleR #logic programming

Logic Programming with Requests (SE, FvR), pp. 558–572.

ICLP-1999-DovierPPR #constraints

ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.

ICLP-1999-OsorioJN #declarative #functional #query

Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.

ICLP-1999-Asvanyi #prolog

Adding Functions to SICStus Prolog (TÁ), p. 605.

ICLP-1999-CiarliniF #execution #hybrid #symbolic computation

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.

ICLP-1999-Drabent #declarative

It Is Declarative (WD), p. 607.

ICLP-1999-GavanelliLMM

Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.

ICLP-1999-HitzlerS

A Characterization of Acceptability (PH, AKS), p. 609.

ICLP-1999-KangT #linear #logic programming #programming language #static analysis

A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.

ICLP-1999-LauO #logic programming #modelling #source code

Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.

ICLP-1999-Li #garbage collection #implementation #prolog

Implementing Prolog with Chronological Garbage Collection (XL), p. 612.

ICLP-1999-LuC #analysis #logic programming #source code

A Regular Type Analysis of Logic Programs (LL, JGC), p. 613.

ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using

Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.

ICLP-1999-Muller #constraints #graph

Practical Investigation of Constraints with Graph Views (TM), p. 615.

ICLP-1999-RoychoudhuryKR #logic programming #source code

Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.

ICLP-1999-SatoF #learning #logic programming

Reactive Logic Programming by Reinforcement Learning (TS, SF), p. 617.

ICLP-1999-ZhouSYY #linear

A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.