Abstract is missing.
- Declarative Programming for a Messy WorldFernando C. N. Pereira. 3-5
- Logics and Database ModellingBernhard Thalheim. 6-21
- Adventures in the Prolog TradeKenneth A. Bowen. 22
- Answer Set PlanningVladimir Lifschitz. 23-37
- Logic Programming in Oz with MozartPeter Van Roy. 38-51
- Program Analysis, Debugging, and Optimization Using the Ciao System PreprocessorManuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García. 52-66
- From Prolog and Zelta to ToonTalkKenneth M. Kahn. 67-78
- Event, Property, and Hierarchy in Order-Sorted LogicKen Kaneiwa, Satoshi Tojo. 94-108
- Temporal Probabilistic Logic ProgramsAlex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian. 109-123
- An Optimized Prolog Encoding of Typed Feature StructuresGerald Penn. 124-138
- A Generic Approach to Monitor Program ExecutionsErwan Jahier, Mireille Ducassé. 139-153
- Generating Deductive Database ExplanationsSarah Mallet, Mireille Ducassé. 154-168
- Algebra of Logic ProgrammingSilvija Seres, J. Michael Spivey, C. A. R. Hoare. 184-199
- Semantic Definitions for Normal Open ProgramsFernando Orejas, Elvira Pino. 200-214
- Declarative Priority in a Concurrent Logic Language O::N::Keiji Hirata, Kenichi Yamazaki. 215-229
- Revising Hull and Box ConsistencyFrédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget. 230-244
- CLAIRE: Combining Sets, Search, and Rules to Better Express AlgorithmsYves Caseau, François-Xavier Josset, François Laburthe. 245-259
- Herbrand Constraint Solving in HALBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey. 260-274
- Comparing Trailing and Copying for Constraint ProgrammingChristian Schulte. 275-289
- Stack-splitting: Or-/And-parallelism on Distributed Memory MachinesGopal Gupta, Enrico Pontelli. 290-304
- Multiple Terms in a Tabled Logic Programming SystemBaoqiu Cui, David Scott Warren. 305-319
- Concurrency in Prolog Using Threads and a Shared DatabaseManuel Carro, Manuel V. Hermenegildo. 320-334
- Proving Termination of Input-Consuming Logic ProgramsJan-Georg Smaus. 335-349
- Bounded Nondeterminism of Logic ProgramsDino Pedreschi, Salvatore Ruggieri. 350-364
- Termination Analysis for Abductive General Logic ProgramsSofie Verbaeten. 365-379
- The Relative Complement Problem for Higher-Order PatternsAlberto Momigliano, Frank Pfenning. 380-394
- Extensionality of Simply Typed Logic ProgramsMarc Bezem. 395-410
- Lightweight Lemmas in lambda-PrologAndrew W. Appel, Amy P. Felty. 411-425
- Well-founded Abduction via Tabled Dual ProgramsJosé Júlio Alferes, Luís Moniz Pereira, Terrance Swift. 426-440
- Optimization of Disjunctive QueriesSergio Greco. 441-455
- Monotonicity in Rule Based UpdateYan Zhang. 471-485
- Transforming Inductive DefinitionsMaurizio Proietti, Alberto Pettorossi. 486-499
- Binding-time Analysis for MercuryWim Vanhoof, Maurice Bruynooghe. 500-514
- Soving TSP with Time Windows with ConstraintsFilippo Focacci, Michela Milano, Andrea Lodi. 515-529
- Finding Fair Allocations for the Coalition Problem with ConstraintsEvan Tick, Roland H. C. Yap, Michael J. Maher. 530-544
- Constraint-based Round Robin Tournament PlanningMartin Henz. 545-557
- Logic Programming with RequestsSandro Etalle, Femke van Raamsdonk. 558-572
- ACI1 ConstraintsAgostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. 573-587
- Declarative Pruning in a Functional Query LanguageMauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves. 588-604
- Adding Functions to SICStus PrologTibor Ásványi. 605
- Symbolic Execution for the Derivation of Meaningful Properties of Hybrid SystemsAngelo E. M. Ciarlini, Thom W. Frühwirth. 606
- It Is DeclarativeWlodzimierz Drabent. 607
- Domains as First Class Objects in CLP(FD)Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano. 608
- A Characterization of AcceptabilityPascal Hitzler, Anthony Karel Seda. 609
- A Static Analysis for Classical Linear Logic Programming LanguageKyoung-Sun Kang, Naoyuki Tamura. 610
- Isoinitial Models for Logic Programs: Some Preliminary ResultsKung-Kiu Lau, Mario Ornaghi. 611
- Implementing Prolog with Chronological Garbage CollectionXining Li. 612
- A Regular Type Analysis of Logic ProgramsLunjin Lu, John G. Cleary. 613
- Using Static Analysis to Compile Non-sequential Functional Logic ProgramsJulio Mariño, Juan José Moreno-Navarro. 614
- Practical Investigation of Constraints with Graph ViewsTobias Müller. 615
- Generalized Unfold/fold Transformation Systems for Normal Logic ProgramsAbhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan. 616
- Reactive Logic Programming by Reinforcement LearningTaisuke Sato, Satoshi Funada. 617
- A Linear Tabling MechanismNeng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You. 618