Sign in
SLP
1984
1985
1986
1987
1984
1987
Keyphrases
Publications
1987
Stan Matwin
,
Stan Szpakowicz
,
Gregory E. Kersten
,
Wojtek Michalowski
,
Zbig Koperczak
A Logic-Based Tools for Negotiation Support.
SLP
(1987)
Donald Sannella
,
Lincoln A. Wallen
A Calculus for the Construction of Modular Prolog Programs.
SLP
(1987)
Howard A. Blair
Canoncical Conservative Extensions of Logic Program Completions.
SLP
(1987)
Wlodzimierz Drabent
Do Logic Programs Resemble Programs in Conventional Languages?
SLP
(1987)
Bogumil Hausman
,
Andrzej Ciepielewski
,
Seif Haridi
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.
SLP
(1987)
Philip T. Cox
,
Tomasz Pietrzykowski
General Diagnosis by Abductive Inference.
SLP
(1987)
Khayri A. M. Ali
A Method for Implementing Cut in Parallel Execution of Prolog.
SLP
(1987)
Steffen Hölldobler
Equational Logic Programming.
SLP
(1987)
Vipin Kumar
,
Yow-Jian Lin
An Intelligent Backtracking Scheme for Prolog.
SLP
(1987)
Hirohisa Seki
,
Koichi Furukawa
Notes on Transformation Techniques for Generate and Test Logic Programs.
SLP
(1987)
Laxmikant V. Kalé
'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes.
SLP
(1987)
V. S. Subrahmanian
On the Semantics of Quantitative Logic Programs.
SLP
(1987)
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987
SLP
(1987)
Michael M. Gorlick
,
Carl Kesselman
Timing Prolog Programs without Clock.
SLP
(1987)
Pierre Deransart
,
Gérard Ferrand
An Operational Formal Definition of PROLOG.
SLP
(1987)
D. W. Shin
,
Jong H. Nang
,
Sangki Han
,
Seungryul Maeng
A Functional Logic Language Based on Canonical Unification.
SLP
(1987)
Mark Wallace
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases.
SLP
(1987)
Vijay A. Saraswat
GHC: Operational Semantics, Problems, and Relationships with CP(|, |).
SLP
(1987)
Nachum Dershowitz
,
Yuh-Jeng Lee
Deductive Debugging.
SLP
(1987)
Saumya K. Debray
Flow Analysis of a Simple Class of Dynamic Logic Programs.
SLP
(1987)
Doug DeGroot
Restricted And-Parallelism and Side Effects.
SLP
(1987)
Yasunori Kimura
,
Takashi Chikayama
An Abstract KL1 Machine and Its Instruction Set.
SLP
(1987)
David H. D. Warren
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues.
SLP
(1987)
Heikki Mannila
,
Esko Ukkonen
Flow Analysis of Prolog Programs.
SLP
(1987)
William H. Winsborough
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures.
SLP
(1987)
Hayato Ohwada
,
Fumio Mizoguchi
Qualitative Simulation in Parallel Logic Programming.
SLP
(1987)
Terry Disz
,
Ewing L. Lusk
A Graphical Tool for Observing the Behavior of Parallel Logic Programs.
SLP
(1987)
Martin Huber
,
Igor Varsek
Extended Prolog for Order-Sorted Resolution.
SLP
(1987)
Takashi Chikayama
Parallel Inference System Researches in the FGCS Project.
SLP
(1987)
Hervé J. Touati
,
Alvin M. Despain
An Empirical Study of the Warren Abstract Machine.
SLP
(1987)
Suzanne W. Dietrich
Extension Tables: Memo Relations in Logic Programming.
SLP
(1987)
John S. Conery
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors.
SLP
(1987)
William R. Bush
,
Gino Cheng
,
Patrick C. McGeer
,
Alvin M. Despain
Experience with Prolog as a Hardware Specification Language.
SLP
(1987)
Eyal Mozes
A Deductive Database Based on Aristotelian Logic.
SLP
(1987)
Dale Miller
,
Gopalan Nadathur
A Logic Programming Approach to Manipulating Formulas and Programs.
SLP
(1987)
Hiroshi Nakashima
,
Katsuto Nakajima
Hardware Architecture of the Sequential Inference Machine: PSI-II.
SLP
(1987)
Martín Abadi
,
Zohar Manna
Temporal Logic Programming.
SLP
(1987)
Walter G. Wilson
Concurrent Alpha-Beta: A Study in Concurrent Logic Programming.
SLP
(1987)
Peter B. Reintjes
AUNT: A Universal Netlist Translator.
SLP
(1987)
Maurice Bruynooghe
,
Gerda Janssens
,
Alain Callebaut
,
Bart Demoen
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP
(1987)
Akira Okumura
,
Yuji Matsumoto
Parallel Programming with Layered Streams.
SLP
(1987)
Helmut Schmidt
,
Werner Kießling
,
Ulrich Güntzer
,
Rudolf Bayer
Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration.
SLP
(1987)
Mitsuhiro Kishimoto
,
Akira Hosoi
,
Kouichi Kumon
,
Akira Hattori
An Evaluation of the FGHC via Practical Application Programs.
SLP
(1987)
Kish Shen
,
David H. D. Warren
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.
SLP
(1987)
Jonas Barklund
,
Håkan Millroth
Integrating Complex Data Structures in Prolog.
SLP
(1987)
Matthew M. Huntbach
Algorithmic PARLOG Debugging.
SLP
(1987)
Harald Westphal
,
Philippe Robert
,
Jacques Chassin de Kergommeaux
,
Jean-Claude Syre
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism.
SLP
(1987)
Weidong Chen
A Theory of Modules Based on Second-Order Logic.
SLP
(1987)
Giorgio Levi
,
Catuscia Palamidessi
,
Pier Giorgio Bosco
,
Elio Giovannetti
,
Corrado Moiso
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP
(1987)
Chenxi Zhang
,
Tzu Yungui
,
Liangliang Li
,
Yunfa Hu
Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems.
SLP
(1987)