Abstract is missing.
- Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy ComparisonMolly Wilson, Alan Borning. 3-19
- Expanding Query Power in Constraint Logic Programming LanguagesMichael J. Maher, Peter J. Stuckey. 20-36
- Simplification and Elimination of Redundant Linear Arithmetic ConstraintsJean-Louis Lassez, Tien Huynh, Ken McAloon. 37-51
- On Meta-Programming in CLR(R)Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap. 52-66
- Characterizing Termination of Logic Programs with Level MappingsMarc Bezem. 69-80
- A Syntactic Characterization of Minimal EntailmentMarek A. Suchenek. 81-91
- Computing Answers to Logic Programs with Weak Model EliminationMarco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva. 92-114
- Monadic Cases: Rediscovering Input ResolutionToshiro Wakayama. 115-130
- Path-Dependent Reachability Analysis for Multiple SpecializationWilliam H. Winsborough. 133-153
- Accurate and Efficient Approximation of Variable Aliasing in Logic ProgramsDean Jacobs, Anno Langen. 154-165
- Determination of Variable Dependence Information through Abstract InterpretationKalyan Muthukumar, Manuel V. Hermenegildo. 166-185
- An Expert System which Intelligently Accesses an External DatabaseXiaoping He, George W. Ernst, Fred Discenzo. 209-223
- Automatic Ordering of Subgoals - A Machine Learning ApproachShaul Markovitch, Paul D. Scott. 224-240
- Stable Semantics for Logic Programs and Default TheoriesV. Wiktor Marek, Miroslaw Truszczynski. 243-256
- Convergence Issues and Fixed Points of Non-Monotone MapsAïda Batarekh. 257-273
- A Truth Maintenance System Based on Stable ModelsStephen G. Pimentel, John L. Cuadrado. 274-290
- Supported Circumscription and Its Relation to Logic Programming with NegationJia-Huai You, Liwu Li. 291-309
- Compiled Execution of the Reduce-OR Process Model on MultiprocessorsBalkrishna Ramkumar, Laxmikant V. Kalé. 313-331
- Combined And-Or Parallelism on Shared Memory MultiprocessorsGopal Gupta, Bharat Jayaraman. 332-349
- Restricted AND-Parallelism Execution Model with Side-EffectsSi-En Chang, Y. Paul Chiang. 350-368
- Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic ProgramsVikram A. Saletore, Laxmikant V. Kalé. 390-406
- Incorporating Programming Techniques into Prolog ProgramsArun Lakhotia. 426-440
- Logic Programming in a Software Engineering PerspectivePaola Mello, Antonio Natali, Cristina Ruggieri. 441-458
- Fail Substitutions for Negation as FailureJan Maluszynski, Torbjörn Näslund. 461-476
- An Extension of Constructive Negation and its Application in CoroutiningDavid Chan. 477-493
- Strand: A Practical Parallel Programming ToolIan T. Foster, Stephen Taylor. 497-512
- Money as a Concurrent Logic ProgramKenneth M. Kahn, William A. Kornfeld. 513-535
- Variable-Free Execution of Concurrent Logic LanguagesSven-Olof Nyström. 536-552
- Reactive Behaviour Semantics for Concurrent Constraint Logic ProgramsHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro. 553-569
- A Stratification Semantics for General Disjunctive ProgramsArcot Rajasekar, Jack Minker. 573-586
- On the Generalized Predicate Completion of Non-Horn ProgramsPhan Minh Dung, Kanchana Kanchanasut. 587-603
- A Fixpoint Approach to Declarative Semantics of Logic ProgramsPhan Minh Dung, Kanchana Kanchanasut. 604-625
- A Kripke-like Model for Negation as FailureJames Harland. 626-642
- Partial Evaluation in Prolog: Some Improvements about CutMichele Bugliesi, F. Russo. 645-660
- Deriving an Efficient Production System by Partial EvaluationKoichi Furukawa, Hiroshi Fujita, Toramatsu Shintani. 661-674
- Expected Performance of the Randomized Parallel Backtracking MethodZheng Lin. 677-696
- Performance Analysis of Aurora on a Switch-Based MultiprocessorShyam Mudambi. 697-712
- Performance Analysis of the Aurora Or-Parallel Prolog SystemPéter Szeredi. 713-732
- Narrowing Grammar: A Comparison with Other Logic GrammarsH. Lewis Chau. 735-754
- Discourse Understanding in LogicArendse Bernth. 755-771
- Database Transactions in LDLRavi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo. 795-815
- Processing Multiple Linear RecursionsJiawei Han, Ling Liu. 816-830
- Expressing Database Queries with Intuitionistic LogicAnthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty. 831-850
- Abductive Resoning with Structured DataWeidong Chen, David Scott Warren. 851-867
- On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference PatternsV. S. Madan, C.-J. Peng, Gurindar S. Sohi. 888-906
- Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2Yu Inamura, Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima. 907-921
- Distributed Garbage Collection for the Parallel Inference Engine PIE64Lu Xu, Hanpei Koike, Hidehiko Tanaka. 922-941
- Déjà Vu in Fixpoints of Logic ProgramsMichael J. Maher, Raghu Ramakrishnan. 963-980
- Propagating Constraints in Recusive Deduction DatabasesDavid B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi. 981-998
- Indexing Prolog ClausesBart Demoen, André Mariën, Alain Callebaut. 1001-1012
- WINTER: WAMS in Tim Expression ReductionDamir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn. 1013-1029
- On the Management of Choicepoint and Environment Frames in the WAMAndré Mariën, Bart Demoen. 1030-1047
- Programming with Equations, Subsets, and RelationsBharat Jayaraman, David A. Plaisted. 1051-1068
- On the Expressive Power of Annotated Logic ProgramsMichael Kifer, V. S. Subrahmanian. 1069-1089
- HiLog: A First-Order Semantics for Higher-Order Logic Programming ConstructsWeidong Chen, Michael Kifer, David Scott Warren. 1090-1114
- Inference of Polymorphic Types for Logic ProgramsChangwoo Pyo, Uday S. Reddy. 1115-1132
- Unification Parallelism: How Much Can We Exploit?Ashok Singhal, Yale N. Patt. 1135-1147
- An Intermediate Language to Support Prolog s UnificationPeter Van Roy. 1148-1164
- Performance Evaluation of a Sequential Inference Machine CHIAkihiko Konagaya, Shinichi Habata, Atsushi Atarashi, Minoru Yokota. 1165-1179
- Towards a WAM Model for Lambda-PrologGopalan Nadathur, Bharat Jayaraman. 1180-1198
- Absys: The Historical Inevitability of Logic ProgrammingE. W. Elcock. 1201-1214
- Toward A Foundation of Disjunctive Logic ProgrammingJack Minker. 1215-1235