Abstract is missing.
- Temporal Logic Model Checking (Abstract)Edmund M. Clarke. 3
- Program Analysis via Graph ReachabilityThomas W. Reps. 5-19
- Inductive Databases and Condensed Representations for Data MiningHeikki Mannila. 21-30
- Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract)Andreas Podelski. 35-36
- Constraint Programming in Oz (Abstract)Gert Smolka. 37-38
- Model Checking (Abstract)Rob Gerth. 39
- Logic Programming for Processing Natural Language (Abstract)Verónica Dahl. 41-42
- Multi-Paradigm Declarative Programming (Abstract)Michael Hanus. 43-45
- A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic TypesPuri Arenas-Sánchez, Mario Rodríguez-Artalejo. 53-67
- Answer Sets for Prioritized Logic ProgramsYan Zhang, Norman Y. Foo. 69-83
- Generated Preferred Models and Extensions of Nonmonotonic SystemsJoeri Engelfriet, Heinrich Herre. 85-99
- Comparative Metric Semantics for Commit in OR-Parallel Logic ProgrammingEneia Todoran, Jerry den Hartog, Erik P. de Vink. 101-115
- The SBA: Exploiting Orthogonality in AND-OR Parallel SystemsManuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa. 117-131
- Using SimICS to Evaluate the Penny SystemJohan Montelius, Peter S. Magnusson. 133-147
- Extending a Concurrent Constraint Language by PropagatorsTobias Müller, Jörg Würtz. 149-163
- A Rational and Efficient Algorithm for View Deletion in DatabasesChandrabose Aravindan, Peter Baumgartner. 165-179
- NP Optimization Problems in DatalogSergio Greco, Domenico Saccà. 181-195
- Prioritized Conflict Handling for Logic ProgramsBenjamin N. Grosof. 197-211
- A Procedure for Mediation of Queries to Sources in Disparate ContextsStéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael Siegel. 213-227
- Calculi for Disjunctive Logic ProgrammingPeter Baumgartner, Ulrich Furbach. 229-243
- A Characterization of the Partial Stable Models For Disjunctive DatabasesDietmar Seipel, Jack Minker, Carolina Ruiz. 245-259
- Lower-bound Time-complexity Analysis of Logic ProgramsAndy King, Kish Shen, Florence Benoy. 261-275
- Recursive Modes for Precise Analysis of Logic ProgramsJichang Tan, I-Peng Lin. 277-290
- Lower Bound Cost Estimation for Logic ProgramsSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin. 291-305
- Constraint Logic Programming with Hereditary Harrop FormulasJavier Leach, Susana Nieva, Mario Rodríguez-Artalejo. 307-321
- On T Logic ProgrammingAgostino Dovier, Andrea Formisano, Alberto Policriti. 323-337
- Best-First Search for Property Maintenance in Reactive Constraint SystemsNarendra Jussien, Patrice Boizumault. 339-353
- From Functional Specifications to Logic ProgrammsMichael Gelfond, Alfredo Gabaldon. 355-369
- Compositionality of Normal Open Logic ProgramsSofie Verbaeten, Marc Denecker, Danny De Schreye. 371-385
- Approximate Reasoning about Actions in Presence of Sensing and Incomplete InformationChitta Baral, Tran Cao Son. 387-401
- On Well-Behaved Semantics Suitable for AggregationJürgen Dix, Mauricio Osorio. 405
- OPENLOG: A Logic Language to Program Reactive and Rational AgentsJacinto A. Dávila. 406
- Type Inference for CLP(FD)Pawel Pietrzak. 407
- Disjuntive Completion Is Not Optimal Helmut Seidl, Christian Fecht. 408
- Controlling the Search in Tabled EvaluationsJuliana Freire, David Scott Warren. 409
- Specialization of Declarative Programs and Its Applications (Workshop Overview)Michael Leuschel. 413-414
- Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive DatabasesAnthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski. 415-416
- Tools and Environments for (Constraint) Logic Programming (Workshop Overview)Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte. 417-418
- Logic Programming and Knowledge Representation (LPKR 97)Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira. 419-420
- Verification, Model Checking and Abstract Interpretation (Workshop Overview)Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori. 421-422