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