Abstract is missing.
- Temporal Debugging and its Visual AnimationYosee Feldman, Ehud Y. Shapiro. 3-17
- Abstract Views of Prolog Executions in OpiumMireille Ducassé. 18-32
- A Complete Top-Down Interpreter for First Order ProgramsTaisuke Sato, Fumio Motoyoshi. 35-53
- An Alternative Characterization of Disjunctive Logic ProgramsDavid W. Reed, Donald W. Loveland, Bruce T. Smith. 54-68
- Well-Founded Semantics, GeneralizedMelvin Fitting. 71-84
- Stable Theories for Logic ProgramsAntonis C. Kakas, Paolo Mancarella. 85-100
- Automatic Generation of Simplification Lemmas for Inductive ProofsLaurent Fribourg. 103-116
- A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic ProgramsMaurice Bruynooghe, Danny De Schreye, Bern Martens. 117-131
- A Simulation Study of Or- and and Independent And-parallelismKish Shen, Manuel V. Hermenegildo. 135-151
- IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelismGopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo. 152-166
- Programming Paradigms of the Andorra Kernel LanguageSverker Janson, Seif Haridi. 167-183
- Typed Prolog: A Semantic Reconstruction of the Mycroft-O Keefe Type SystemT. L. Lakshman, Uday S. Reddy. 202-217
- A Clausal Logic for Deontic Action SpecificationRon van der Meyden. 221-238
- A Modal Reconstruction of Blocks and Modules in Logic ProgrammingLaura Giordano, Alberto Martelli. 239-253
- A New Scheme for Unification in WAMAndré Mariën, Bart Demoen. 257-271
- Extending the Warren Abstract Machine to Polymorphic Order-Sorted ResolutionChristoph Beierle, Gregor Meyer, Heiner Semle. 272-286
- Higher-Order Horn Logic ProgrammingWilliam W. Wadge. 289-303
- The Uniform Proof-Theoretic Foundation of Linear Logic ProgrammingJames Harland, David J. Pym. 304-318
- Top-Down versus Bottom-Up RevisitedRaghu Ramakrishnan, S. Sudarshan. 321-336
- Magic Sets and Bottom-Up Evaluation of Well-Founded ModelsDavid B. Kemp, Divesh Srivastava, Peter J. Stuckey. 337-351
- Using Dynamic Predicates in an Or--Parallel Prolog SystemPéter Szeredi. 355-371
- A Declarative Alternative to Assert in Logic ProgrammingScott Dietzen, Frank Pfenning. 372-386
- Semantics of Logic Programs with AggregatesDavid B. Kemp, Peter J. Stuckey. 387-401
- Intelligent Backtracking for CLP Languages: An Application to CLP(R)Bruno De Backer, Henri Beringer. 405-419
- Some Global Compile-Time Optimizations for CLP(R)Niels Jørgensen, Kim Marriott, Spiro Michaylov. 420-434
- Abstract Interpretation of Constraints on Order-Sorted DomainsYves Caseau. 435-452
- Copy Avoidance through Compile-Time Analysis and Local ReuseIan T. Foster, William H. Winsborough. 455-469
- A Static Load Partitioning Method based on Execution Profile for Committed Choice LanguagesYasuo Hidaka, Hanpei Koike, Jun ichi Tatemura, Hidehiko Tanaka. 470-484
- Reforming Compilation of Logic ProgramsHåkan Millroth. 485-499
- Automatic Termination Proofs for Prolog Programs Operating on Nonground TermsLutz Plümer. 503-517
- NSTO Programs (Not Subject to Occur-Check)Pierre Deransart, Gérard Ferrand, Michel Téguia. 533-547
- Relating Dempster-Shafer Theory to Stable SemanticsRaymond T. Ng, V. S. Subrahmanian. 551-565
- Counterfactual Reasoning Based on Revising AssumptionsLuís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes. 566-577
- Experiences from a Large Industrial Circuit Design ApplicationThomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin. 581-595
- Prolog Testing of C ModulesPaul A. Strooper, Daniel Hoffman. 596-608
- Derivation of Efficient Logic Programs by Synthesizing New PredicatesTadashi Kawamura. 611-625
- Program Transformation under the Principle of Proof as ProgramHideaki Nakayama. 626-640
- Synthesis of a Family of Recursive Sorting ProceduresKung-Kiu Lau, Steven David Prestwich. 641-658
- Temporal Logic Programming and its Relation to Constraint Logic ProgrammingChristoph Brzoska. 661-677
- Integrating Numerical and Qualitative Models within Constraint Logic ProgrammingIgor Mozetic, Christian Holzbaur. 678-693
- True Concurrency in Concurrent Constraint ProgrammingUgo Montanari, Francesca Rossi. 694-713
- Reasoning and Programming: Analogies between Logic and ComputationJohan van Benthem. 717-718
- Fifth Generation Computer Project: Towards Large-Scale Knowledge Information ProcessingKoichi Furukawa. 719-731
- Non-Monotonic Reasoning and Logic ProgrammingTeodor C. Przymusinski. 735-736
- Using Compositional Programming to Write Portable, High-Performance Parallel ProgramsIan T. Foster, Carl Kesselman, Stephen Taylor. 737-738