Abstract is missing.
- Parallel Bounded Quantifiers - Preliminary ResultsHenrik Arro, Jonas Barklund, Johan Bevemyr.
- MultiLog: Data Or-Parallel Logic ProgrammingDonald A. Smith.
- Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge SourcesDavid G. Schwartz, Leon Sterling.
- A Transputer Implementation of SELGiancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza.
- Dynamic Process Scheduling in a Parallel Logic MachineMario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia.
- KL1 Optimization Techniques for RISC ArchitectureKiyoshi Hirano.
- Semantic Parallelism in Heuristic Tree Search for a Distributed ImplementationVincent David.
- Parallel Inference System of the FGCS Project - Status ReportRyozo Kiyohara, Takashi Chikayama.
- Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic ProgramsLuis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo.
- Multi-Prolog: a Blackboard-based Parallel Logic Programming LanguageKoenraad De Bosschere.
- The WAVE ParadigmPeter Sapaty.
- Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract InterpretationShan-Wen Yan.
- An Overview of DASWAM - An Implementation of DDASKish Shen.
- A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory SystemsFabrizio Baiardi.
- 3DPAM = WAM + DATAFLOWPéter Kacsuk.
- An Empirical Study on the Potential of Search Parallelism on MIMD ArchitectureJaved I. Khan, David Y. Y. Yun.
- The DelPhi Multiprocessor Inference MachineW. F. Clocksin.
- Generalized Stack-copying for And-Or Parallel Execution of Full PrologGopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa.
- Applications of the Aurora Parallel Prolog System to Computational Molecular BiologyEwing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi.
- AND-Parallel Prolog on a Transputer-Based SystemIan Olthof, John G. Cleary.
- Exploiting Recursion-Parallelism in Prolog: Preliminary ResultsJohan Bevemyr, Thomas Lindgren, Håkan Millroth.
- The Derivation of Compositional ProgramsK. Mani Chandy, Carl Kesselman. 3-17
- Halting Problem of One Binary Horn Clause id UndecidablePhilippe Devienne, Patrick Lebègue, Jean-Christophe Routier. 5-14
- Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic ProgramsJürgen Dix, Martin Müller. 15-28
- Many-Valued Semantics for Logic ProgrammingMelvin Fitting. 23-24
- Advanced Tutorial: Concurrent Logic ProgrammingEvan Tick. 25
- Deductive and Object-Oriented DatabasesSerge Abiteboul. 26-29
- Complexity Results for Logic-Based AbductionThomas Eiter, Georg Gottlob. 29-44
- Tutorial on Linear LogicA. S. Troelstra. 30-31
- Logic Programming and Genetic Sequence Analysis: a TutorialRoss A. Overbeek. 32-34
- hecking the Soundness of Resolution SchemesBruno Dumant. 37-51
- A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical ProgramsAudrey Ferry. 45-68
- Higher-Order E-Unification for Arbitrary TheoriesZhenyu Qian, Kang Wang. 52-66
- A Predicate Transformer for UnificationLivio Colussi, Elena Marchiori. 67-81
- Rule Systems and Well-OrderingsV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. 69-92
- Integrating Modes and Subtypes into a Prolog Type-CheckerYann Rouzaud, Lan Nguyen-Phuong. 85-97
- Communicating Clauses: Towards Synchronous Communication in Contextual Logic ProgrammingJean-Marie Jacquet, Luís Monteiro. 98-112
- On the Structural Simplicity of Machines and LanguagesYael Moscowitz, Ehud Y. Shapiro. 103-120
- A Declarative View of Inheritance in Logic ProgrammingMichele Bugliesi. 113-127
- Aggregation, Computability, and Complete Query LanguagesInderpal Singh Mumick, Oded Shmueli. 121-142
- Observational Equivalences for Logic ProgramsMaurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo. 131-145
- On Normal Forms and Equivalence for Logic ProgramsJames Harland. 146-160
- Proof Method of Partial Correctness and Weak Completeness for Normal Logic ProgramsGérard Ferrand, Pierre Deransart. 161-174
- On Computability by Logic ProgramsAndrei Voronkov. 165
- Equational Logic Programming Actions, and ChangeGerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher. 177-191
- On the Completeness of ResiduationMichael Hanus. 192-206
- Implementing a Lazy Functional Logic Language with Disequality ConstraintsHerbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo. 207-221
- A Constraint Solver in Finite Algebras and Its Combination with Unification AlgorithmsHélène Kirchner, Christophe Ringeissen. 225-239
- Records for Logic ProgrammingGert Smolka, Ralf Treinen. 240-254
- A Contraint Logic Programming Scheme for Taxonomic ReasoningMargarida Mamede, Luís Monteiro. 255-269
- Controlling the Search in Bottom-Up EvaluationRaghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. 273-287
- Query Restricted Bottom-Up Evaluation of Normal Logic ProgramsDavid B. Kemp, Peter J. Stuckey, Divesh Srivastava. 288-302
- Deductive Databases with Incomplete InformationFangqing Dong, Laks V. S. Lakshmanan. 303-317
- A Framework of Directionality for Proving Termination of Logic ProgramsFrançois Bronsard, T. K. Lakshman, Uday S. Reddy. 321-335
- Handling of Mutual Recursion in Automatic Termination Proofs for Logic ProgramsGerhard Gröger, Lutz Plümer. 336-350
- Synthesis and Transformation of Logic Programs in the Whelk Proof Development SystemGeraint A. Wiggins. 351-365
- An Incremental Garbage Collector for WAM-Based PrologWilliam J. Older, John A. Rummell. 369-383
- Improving Backward Execution in the Andorra Family of LanguagesSalvador Abreu, Luís Moniz Pereira, Philippe Codognet. 384-398
- jc: An Efficient and Portable Sequential Implementation of JanusDavid Gudeman, Koenraad De Bosschere, Saumya K. Debray. 399-413
- Autoepistemic Logics as a Unifying Framework for the Semantics of Logic ProgramsPiero A. Bonatti. 417-430
- Negation as Failure in Intuitionistic Logic ProgrammingLaura Giordano, Nicola Olivetti. 431-445
- The Stable Models of a Predicate Logic ProgramV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. 446-460
- A Process Algebra of Concurrent Constraint ProgrammingFrank S. de Boer, Catuscia Palamidessi. 463-477
- Schedule Analysis of Concurrent Logic programsAndy King, Paul Soper. 478-492
- Variable Threadedness Analysis for Concurrent Logic ProgramsR. Sundararajan, A. V. S. Sastry, Evan Tick. 493-508
- A Perfect Herbrand Semantics for Untyped Vanilla Meta-ProgrammingBern Martens, Danny De Schreye. 511-525
- Meta-Programming through a Truth PredicateTaisuke Sato. 526-540
- Interactive Synthesis of Definite-Clause GrammarsJuergen Haas, Bharat Jayaraman. 541-555
- Representing Actions in Extended Logic ProgrammingMichael Gelfond, Vladimir Lifschitz. 559-573
- A Goal-Oriented Approach to Computing Well Founded SemanticsWeidong Chen, David Scott Warren. 589-603
- Herbrand Methods in Sequent Calculi: Unification in LLSerenella Cerrito. 607-621
- Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming LanguageJoshua S. Hodas. 622-636
- Multistage Indexing Algorithms for Speeding Prolog ExecutionTa Chen, I. V. Ramakrishnan, R. Ramesh. 639-653
- Weighted Decision TreesSaumya K. Debray, Sampath Kannan, Mukul Paithane. 654-668
- A Query Evaluation Method for Abductive Logic ProgrammingKen Satoh, Noboru Iwayama. 671-685
- SLDNFA: An Abductive Procedure for Normal Abductive ProgramsMarc Denecker, Danny De Schreye. 686-700
- Exploiting Or-Parallelism in Optimisation ProblemsPéter Szeredi. 703-716
- Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS)Kish Shen. 717-731
- Understanding Finiteness Analysis Using Abstract InterpretationPeter A. Bigot, Saumya K. Debray, Kim Marriott. 735-749
- Reexecution in Abstract Interpretation of PrologBaudouin Le Charlier, Pascal Van Hentenryck. 750-764
- Practical Aspects of Set Based AnalysisNevin Heintze. 765-779
- Normal Logic Programs as Open Positive ProgramsAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. 783-797
- Classifying Semantics of Disjunctive Logic ProgramsJürgen Dix. 798-812
- Propositional Sematics for Disjunctive Logic ProgramsRachel Ben-Eliyahu, Rina Dechter. 813-827
- The Logic of Architecture: Programming the Invention of Physical ArtifactsWilliam J. Mitchell. 831-846