16. IJCSLP 1999:
Las Cruces,
New Mexico,
USA
Danny De Schreye (Ed.):
Logic Programming:
The 1999 International Conference,
Las Cruces,
New Mexico,
USA,
November 29 - December 4,
1999. The MIT Press,
ISBN 0-262-54104-1
Invited Talks
Contributed Papers
- Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance.
79-93
- Ken Kaneiwa, Satoshi Tojo:
Event, Property, and Hierarchy in Order-Sorted Logic.
94-108
- Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian:
Temporal Probabilistic Logic Programs.
109-123
- Gerald Penn:
An Optimized Prolog Encoding of Typed Feature Structures.
124-138
- Erwan Jahier, Mireille Ducassé:
A Generic Approach to Monitor Program Executions.
139-153
- Sarah Mallet, Mireille Ducassé:
Generating Deductive Database Explanations.
154-168
- Miroslaw Truszczynski:
Computing Large and Small Stable Models.
169-183
- Silvija Seres, J. Michael Spivey, C. A. R. Hoare:
Algebra of Logic Programming.
184-199
- Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs.
200-214
- Keiji Hirata, Kenichi Yamazaki:
Declarative Priority in a Concurrent Logic Language ON.
215-229
- Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget:
Revising Hull and Box Consistency.
230-244
- Yves Caseau, François-Xavier Josset, François Laburthe:
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms.
245-259
- Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
Herbrand Constraint Solving in HAL.
260-274
- Christian Schulte:
Comparing Trailing and Copying for Constraint Programming.
275-289
- Gopal Gupta, Enrico Pontelli:
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.
290-304
- Baoqiu Cui, David Scott Warren:
Multiple Terms in a Tabled Logic Programming System.
305-319
- Manuel Carro, Manuel V. Hermenegildo:
Concurrency in Prolog Using Threads and a Shared Database.
320-334
- Jan-Georg Smaus:
Proving Termination of Input-Consuming Logic Programs.
335-349
- Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs.
350-364
- Sofie Verbaeten:
Termination Analysis for Abductive General Logic Programs.
365-379
- Alberto Momigliano, Frank Pfenning:
The Relative Complement Problem for Higher-Order Patterns.
380-394
- Marc Bezem:
Extensionality of Simply Typed Logic Programs.
395-410
- Andrew W. Appel, Amy P. Felty:
Lightweight Lemmas in lambda-Prolog.
411-425
- José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Well-founded Abduction via Tabled Dual Programs.
426-440
- Sergio Greco:
Optimization of Disjunctive Queries.
441-455
- Ulrich Zukowski, Burkhard Freitag:
Well-founded Semantics by Transformation: The Non-ground Case.
456-470
- Yan Zhang:
Monotonicity in Rule Based Update.
471-485
- Maurizio Proietti, Alberto Pettorossi:
Transforming Inductive Definitions.
486-499
- Wim Vanhoof, Maurice Bruynooghe:
Binding-time Analysis for Mercury.
500-514
- Filippo Focacci, Michela Milano, Andrea Lodi:
Soving TSP with Time Windows with Constraints.
515-529
- Evan Tick, Roland H. C. Yap, Michael J. Maher:
Finding Fair Allocations for the Coalition Problem with Constraints.
530-544
- Martin Henz:
Constraint-based Round Robin Tournament Planning.
545-557
- Sandro Etalle, Femke van Raamsdonk:
Logic Programming with Requests.
558-572
- Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 Constraints.
573-587
- Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves:
Declarative Pruning in a Functional Query Language.
588-604
Poster Abstracts
- Tibor Ásványi:
Adding Functions to SICStus Prolog.
605
- Angelo E. M. Ciarlini, Thom W. Frühwirth:
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.
606
- Wlodzimierz Drabent:
It Is Declarative.
607
- Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Domains as First Class Objects in CLP(FD).
608
- Pascal Hitzler, Anthony Karel Seda:
A Characterization of Acceptability.
609
- Kyoung-Sun Kang, Naoyuki Tamura:
A Static Analysis for Classical Linear Logic Programming Language.
610
- Kung-Kiu Lau, Mario Ornaghi:
Isoinitial Models for Logic Programs: Some Preliminary Results.
611
- Xining Li:
Implementing Prolog with Chronological Garbage Collection.
612
- Lunjin Lu, John G. Cleary:
A Regular Type Analysis of Logic Programs.
613
- Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs.
614
- Tobias Müller:
Practical Investigation of Constraints with Graph Views.
615
- Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan:
Generalized Unfold/fold Transformation Systems for Normal Logic Programs.
616
- Taisuke Sato, Satoshi Funada:
Reactive Logic Programming by Reinforcement Learning.
617
- Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism.
618
Copyright © Thu Nov 26 19:28:56 2009
by Michael Ley (ley@uni-trier.de)
