Abstract is missing.
- Global Variables in Logic ProgrammingPeter Schachte. 3-17
- A Practical Approach to Structure Reuse of Arrays in Single Assignment LanguagesAndreas Kågedal, Saumya K. Debray. 18-32
- Live-Structure Analysis for Logic Programming Languages with DeclarationsMaurice Bruynooghe, Gerda Janssens, Andreas Kågedal. 33-47
- Non-Failure Analysis for Logic ProgramsSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo. 48-62
- Automatic Termination Analysis of Logic ProgramsNaomi Lindenstrauss, Yehoshua Sagiv. 63-77
- Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic ProgramsStefaan Decorte, Danny De Schreye. 78-92
- Optimization of Logic Programs with Dynamic SchedulingGermán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey. 93-107
- Automatic Compile-time Parallelization of Prolog Programs for Dependent And-ParallelismEnrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro. 108-122
- Implementation Mechanisms for Dependent And-ParallelismEnrico Pontelli, Gopal Gupta. 123-137
- Parallel Evaluation Strategies for Functional Logic LanguagesSergio Antoy, Rachid Echahed, Michael Hanus. 138-152
- A Higher Order Rewriting Logic for Functional Logic ProgrammingJuan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo. 153-167
- Translating Logic Programs into Conditional Rewriting SystemsFemke van Raamsdonk. 168-182
- Modularity in Functional-Logic ProgrammingJuan M. Molina-Bravo, Ernesto Pimentel. 183-197
- Taking I/O Seriously: Resolution Reconsidered for DiskJuliana Freire, Terrance Swift, David Scott Warren. 198-212
- Effective Maintenance of Recursive Views: Improvements to the DRed AlgorithmIsmail H. Toroslu, Fahri Kocabas. 213-225
- Capturing Database Dynamics by Deferred UpdatesCarl-Alexander Wichert, Burkhard Freitag. 226-240
- Total Homeostaticity and Integrity Constraints Restorability RecognitionMichael I. Dekhtyar, Alexander Ja. Dikovsky. 241-255
- Assumption Grammars for Processing Natural LanguageVerónica Dahl, Paul Tarau, Renwei Li. 256-270
- Visualization of And/Or-Parallel Execution of Logic ProgramsRick Vaupel, Enrico Pontelli, Gopal Gupta. 271-285
- Oz Explorer: A Visual Constraint Programming ToolChristian Schulte. 286-300
- Constraint Search TreePeter J. Stuckey. 301-315
- Solving Small TSPs with ConstraintsYves Caseau, François Laburthe. 316-330
- A Modular Framework for the Combination of Unification and Built-In ConstraintsFarid Ajili, Claude Kirchner. 331-345
- A Strong Correspondence between Description Logics and Open Logic ProgrammingKristof Van Belleghem, Marc Denecker, Danny De Schreye. 346-360
- Disjunctive Logic Programming as Constrained InferencesJia-Huai You, Xianchang Wang, Li-Yan Yuan. 361-375
- Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTPYuka Shimajiri, Hirohisa Seki, Hidenori Itoh. 376-390
- Hybrid Probabilistic ProgramsAlex Dekhtyar, V. S. Subrahmanian. 391-405
- Calculi for Disjunctive Logic ProgrammingPeter Baumgartner, Ulrich Furbach. 409
- Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution ModelsZhiyi Huang, Chengzheng Sun, Abdul Sattar. 410
- Concurrent Logic Programming and pi CalculusSameer Mahajan, S. Ramesh. 411
- Connecting Propagators with a Concurrent Constraint LanguageTobias Müller, Jörg Würtz. 412
- Reasoning on Constraints in Constraint Logic ProgrammingEvelina Lamma, Michela Milano, Paola Mello. 413
- Tree Drawing Using Constraint Logic ProgrammingKensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku. 414
- Supporting Partial and Complete Sets and Tuples in Deductive DatabasesMengchi Liu. 415
- XSB as the Natural Habitat for General Purpose Program AnalysisMichael Codish, Bart Demoen, Konstantinos F. Sagonas. 416
- Sharing Analysis Using Set Logic ProgramsFrancisco Bueno, Michael Codish, Vitaly Lagoon. 417
- Domain Construction for Mode Analysis of Typed Logic ProgramsJan-Georg Smaus, Patricia M. Hill, Andy King. 418
- The Complexity of Model Checking in Modal Event CalculiIliano Cervesato, Massimo Franceschet, Angelo Montanari. 419
- Embedded Implications as a Generalization of Negation as FailureVyacheslav Petukhin. 420