The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Logic Programming (SLP / ILPS / NACLP) (slp)
1987 (conf/slp/87)

  1. Martín Abadi, Zohar Manna
    Temporal Logic Programming. [Citation Graph (5, 0)][DBLP]
    SLP, 1987, pp:4-16 [Conf]
  2. Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
    Le Fun: Logic, Equations and Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:17-23 [Conf]
  3. Weidong Chen
    A Theory of Modules Based on Second-Order Logic. [Citation Graph (3, 0)][DBLP]
    SLP, 1987, pp:24-33 [Conf]
  4. Martin Huber, Igor Varsek
    Extended Prolog for Order-Sorted Resolution. [Citation Graph (3, 0)][DBLP]
    SLP, 1987, pp:34-43 [Conf]
  5. Kish Shen, David H. D. Warren
    A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:45-68 [Conf]
  6. Terry Disz, Ewing L. Lusk
    A Graphical Tool for Observing the Behavior of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:46-53 [Conf]
  7. Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi
    OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:69-79 [Conf]
  8. Doug DeGroot
    Restricted And-Parallelism and Side Effects. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:80-89 [Conf]
  9. David H. D. Warren
    The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:92-102 [Conf]
  10. Hiroshi Nakashima, Katsuto Nakajima
    Hardware Architecture of the Sequential Inference Machine: PSI-II. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:104-113 [Conf]
  11. Hervé J. Touati, Alvin M. Despain
    An Empirical Study of the Warren Abstract Machine. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:114-124 [Conf]
  12. Laxmikant V. Kalé
    'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:125-133 [Conf]
  13. William H. Winsborough
    Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:134-152 [Conf]
  14. Howard A. Blair
    Canoncical Conservative Extensions of Logic Program Completions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:154-161 [Conf]
  15. Pierre Deransart, Gérard Ferrand
    An Operational Formal Definition of PROLOG. [Citation Graph (1, 0)][DBLP]
    SLP, 1987, pp:162-172 [Conf]
  16. V. S. Subrahmanian
    On the Semantics of Quantitative Logic Programs. [Citation Graph (3, 0)][DBLP]
    SLP, 1987, pp:173-182 [Conf]
  17. Philip T. Cox, Tomasz Pietrzykowski
    General Diagnosis by Abductive Inference. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:183-189 [Conf]
  18. Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen
    Abstract Interpretation: Towards the Global Optimization of Prolog Programs. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:192-204 [Conf]
  19. Heikki Mannila, Esko Ukkonen
    Flow Analysis of Prolog Programs. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:205-214 [Conf]
  20. Hirohisa Seki, Koichi Furukawa
    Notes on Transformation Techniques for Generate and Test Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:215-223 [Conf]
  21. Akira Okumura, Yuji Matsumoto
    Parallel Programming with Layered Streams. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:224-232 [Conf]
  22. Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer
    Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. [Citation Graph (6, 0)][DBLP]
    SLP, 1987, pp:234-243 [Conf]
  23. Eyal Mozes
    A Deductive Database Based on Aristotelian Logic. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:244-252 [Conf]
  24. Mark Wallace
    Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:253-263 [Conf]
  25. Suzanne W. Dietrich
    Extension Tables: Memo Relations in Logic Programming. [Citation Graph (4, 0)][DBLP]
    SLP, 1987, pp:264-272 [Conf]
  26. Takashi Chikayama
    Parallel Inference System Researches in the FGCS Project. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:274-276 [Conf]
  27. Yukihide Takayama
    Writing Programs as QJ Proof and Compiling into Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:278-287 [Conf]
  28. Matthew M. Huntbach
    Algorithmic PARLOG Debugging. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:288-297 [Conf]
  29. Wlodzimierz Drabent
    Do Logic Programs Resemble Programs in Conventional Languages? [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:289-396 [Conf]
  30. Nachum Dershowitz, Yuh-Jeng Lee
    Deductive Debugging. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:298-306 [Conf]
  31. Saumya K. Debray
    Flow Analysis of a Simple Class of Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:307-316 [Conf]
  32. Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:318-327 [Conf]
  33. D. W. Shin, Jong H. Nang, Sangki Han, Seungryul R. Maeng
    A Functional Logic Language Based on Canonical Unification. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:328-334 [Conf]
  34. Steffen Hölldobler
    Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:335-346 [Conf]
  35. Vijay A. Saraswat
    GHC: Operational Semantics, Problems, and Relationships with CP(|, |). [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:347-358 [Conf]
  36. Walter G. Wilson
    Concurrent Alpha-Beta: A Study in Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:360-367 [Conf]
  37. Donald Sannella, Lincoln A. Wallen
    A Calculus for the Construction of Modular Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:368-378 [Conf]
  38. Dale Miller, Gopalan Nadathur
    A Logic Programming Approach to Manipulating Formulas and Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:379-388 [Conf]
  39. Chenxi Zhang, Tzu Yungui, Li Liangliang, Hu Yunfa
    Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:398-405 [Conf]
  40. Vipin Kumar, Yow-Jian Lin
    An Intelligent Backtracking Scheme for Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:406-414 [Conf]
  41. Jonas Barklund, Håkan Millroth
    Integrating Complex Data Structures in Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:415-425 [Conf]
  42. Michael M. Gorlick, Carl Kesselman
    Timing Prolog Programs without Clock. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:426-434 [Conf]
  43. Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre
    The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:436-448 [Conf]
  44. Khayri A. M. Ali
    A Method for Implementing Cut in Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:449-456 [Conf]
  45. John S. Conery
    Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:457-467 [Conf]
  46. Yasunori Kimura, Takashi Chikayama
    An Abstract KL1 Machine and Its Instruction Set. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:468-477 [Conf]
  47. Hayato Ohwada, Fumio Mizoguchi
    Qualitative Simulation in Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:480-489 [Conf]
  48. William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain
    Experience with Prolog as a Hardware Specification Language. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:490-498 [Conf]
  49. Stan Matwin, Stan Szpakowicz, Gregory E. Kersten, Wojtek Michalowski, Zbig Koperczak
    A Logic-Based Tools for Negotiation Support. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:499-506 [Conf]
  50. Peter B. Reintjes
    AUNT: A Universal Netlist Translator. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:508-515 [Conf]
  51. Mitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori
    An Evaluation of the FGHC via Practical Application Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:516-525 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002