Proceedings of the 15th International Conference on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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 (), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.