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