Abstract is missing.
- Declarative Programming in PrologKrzysztof R. Apt. 12-35
- MARVEL 3: 1: A Multi-User Software Development EnvironmentGail E. Kaiser. 36-39
- Static Analysis of Logic ProgramsSaumya K. Debray. 43-44
- A Brief Introduction to Inductive Logic ProgrammingLuc De Raedt. 45-51
- An introduction to LIFE: Programming with Logic, Inheritance, Functions, and EquationsHassan Aït-Kaci. 52-68
- Metric Methods in the Semantics of Logic ProgramsMelvin Fitting. 69-71
- Redundancy of Variables in CLP (R)Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap. 75-93
- Update In Place: Overview of the Siva ProjectGudjon Gudjonsson, William H. Winsborough. 94-113
- Independence in Constraint Logic ProgramsMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott. 130-146
- Actions and SpecificitySteffen Hölldobler, Michael Thielscher. 164-180
- Approximating General Logic ProgramsChitta Baral, Michael Gelfond, Olga Kosheleva. 181-198
- Tabulated Resolution for Well Founded SemanticsRoland N. Bol, Lars Degerstedt. 199-219
- A Logical Semantics for Depth-First Prolog with Ground NegationJames H. Andrews. 220-234
- The Emptiness Problem of One Binary Recursive Horn Clause is UndecidablePhilippe Devienne, Patrick Lebègue, Jean-Christophe Routier. 250-265
- Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic LogicsThomas Eiter, Georg Gottlob. 266-278
- ACL - A Concurrent Linear Logic Programming ParadigmNaoki Kobayashi, Akinori Yonezawa. 279-294
- Abstract Interpretation of Linear Logic ProgrammingJean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi. 295-314
- Non-monotonic Concurrent Constraint ProgrammingFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. 315-334
- Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating ComputationsSven-Olof Nyström, Bengt Jonsson. 335-352
- Applications of the Aurora Parallel Prolog System to Computational Molecular BiologyEwing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi. 353-369
- Experiments with Speculative Parallelism in ParlogSteve Gregory. 370-387
- Concurrent Constraint Logic Programming On Massively Parallel SIMD ComputersBo-Ming Tong, Ho-Fung Leung. 388-402
- Automatic Inference of Norms: A Missing Link in Automatic Termination AnalysisStefaan Decorte, Danny De Schreye, Massimo Fabris. 420-436
- Deterministic Parsing of Languages with Dynamic OperatorsKjell Post, Allen Van Gelder, James Kerr. 456-472
- Unification in a Lambda-Calculus with Intersection TypesMichael Kohlhase, Frank Pfenning. 488-505
- Boolean Constraint Solving Using clp(FD)Philippe Codognet, Daniel Diaz. 525-539
- Embedding extensional finite sets in CLPAgostino Dovier, Gianfranco Rossi. 540-556
- Optimizations of Bottom-Up Evaluation with Non-Ground TermsS. Sudarshan, Raghu Ramakrishnan. 557-574
- Dynamic Programming Optimization for Logic Queries with AggregatesSergio Greco, Domenico Saccà, Carlo Zaniolo. 575-589
- Extending the Well-Founded and Valid Semantics for AggregationS. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri. 590-608
- A Deductive Approach to Hypothetical Query AnsweringFangqing Dong, Laks V. S. Lakshmanan. 609-628
- Enhancement Structures for Proving Prolog Programs CorrectMarc Kirschenbaum, Leon Sterling. 631
- Logic Program Specialisation With Deletion of Useless ClausesD. Andre de Waal, John P. Gallagher. 632
- Automated Derivation of Efficient Logic Programs by Synthesizing Eureka PropertiesKhaled Bsaïes. 633
- Relational Groundness Analysis for Logic ProgramsKirack Sohn. 635
- Building Large-Scale Prolog Programs using a Techniques Editing SystemMaria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson. 636
- Subset Assertions and Negation As FailureMauricio Osorio, Bharat Jayaraman. 637
- A Prototype System for Equational Constructive NegationA. Mora, J. Piris, María José Ramírez, Moreno Falaschi. 638
- Assumption Set SemanticsJoaquim Nunes Aparício. 639
- Contradiction Resolving for Extended Logic Programs and Default TheoriesJia-Huai You, Li-Yan Yuan. 640
- Automated Reasoning About Actions: A Logic Programming ApproachVladimir Lifschitz, Norman McCain, Hudson Turner. 641
- Completeness of SLDNF-Resolution for Non-Floundering QueriesWlodzimierz Drabent. 643
- The Essential Inadequacy of Deductions in Logic ProgrammingHoward C. Wasserman, Keitaro Yukawa, Zhizhang Shen. 644
- Polynominal Time Computable Stable ModelsLuigi Palopoli, Carlo Zaniolo. 645
- Goal-directed Bottom-up Evaluation of Normal Logic ProgramsUlf Nilsson. 647
- Evaluation of Regular Nonlinear Recursive ProgramsJiawei Han, Laks V. S. Lakshmanan. 648
- Generating Goals and Their Use In Recursive Query ProcessingVincent Berry, Philippe Ézéquel. 649
- A Prolog-Based Definition of an Entity Relationship LanguageHock Chuan Chan, Keng Siau. 650
- A Proof Procedure for Default Theories with ExtensionsMonica D. Barback, Jorge Lobo. 651
- The Beauty and the Beast AlgorithmAndreas Podelski, Peter Van Roy. 653
- Extending the WAM for HiLogRoland Paterson-Jones, Peter T. Wood. 654
- On the Direct Parameter Passing Mechanism for Prolog CompilersNeng-Fa Zhou. 655
- Concurrent Constraint AutomataLaurent Fribourg, Marcos Veloso Peixoto. 656
- Incremental Equational Constraint AnalysesMaría Alpuente, Moreno Falaschi, Germán Vidal. 657
- On the Denotational and Logical Semantics of CLP-ModulesB. McDonald, J. Xu, M. Epstein, E. Freeman. 658
- Handling Quadratic Constraints through GeometryGilles Pesant, Michel Boyer. 659
- Optimizing Constraint Processing in CLP(FD)Greg Sidebottom. 660
- Solving a real life exams problem using CHIPPatrice Boizumault, Yan Delon, Laurent Péridy. 661
- A Distributed Parallel LP SystemWenfeng Li, Zheng Lin. 663
- Blackboard-based Extensions for Parallel Programming in BinPrologKoenraad De Bosschere, Paul Tarau. 664
- L2||O2: A Concurrent Object-oriented Logic LanguageErnesto Pimentel. 665
- Fixpoint Semantics of L-lambdaMaurizio Martelli, Alessandro Messora, Catuscia Palamidessi. 666
- An Intuitionistic Resolution Method for a Language Dealing with Scope ConstraintsAlain Hui-Bon-Hoa. 667
- Definite Clause Grammars for Parsing Higher-Order SyntaxAmy P. Felty. 668
- The Soundness and Completeness of a Temporal Extension of Logic ProgrammingMehmet A. Orgun. 669
- Disjunction In Resource-Oriented Deductive PlanningStefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger. 670
- The Incorporation of Logic Formalisms to Natural Language Through Logic ProgrammingLidia Moreno, Manuel Palomar, Antonio Molina. 671
- Prolog Interpretation of A Functional-Logic LanguageSilvia Takahashi, Frank S. K. Silbermann. 672
- Combining Lazy Narrowing and NormalizationMichael Hanus. 673
- Logic and the Structure of Space - Towards a Visual Logic for Spatial ReasoningBernd Meyer. 674
- Temporal Reasoning for Temporal Information Retrieval From TextIrene Pimenta Rodrigues, José Gabriel Lopes. 675
- A Bottom-Up Characterization of Finite SuccessGiorgio Delzanno, Maurizio Martelli. 676
- On Goal-Directed Provability in Classical LogicJames Harland. 677
- The Ordered Clause Restriction of Model Elimination and SLI ResolutionBruce Spencer. 678
- Goal-Directed Evaluation of Well-Founded Sematics for XSBWeidong Chen, Terrance Swift, David Scott Warren. 679