The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Logic Programming (SLP / ILPS / NACLP) (slp)
1984 (conf/slp/84)

  1. Peter Borgwardt
    Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:2-11 [Conf]
  2. David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé
    Executing Distributed Prolog Programs on a Broadcast Network. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:12-21 [Conf]
  3. Hiroshi Nakagawa
    AND Parallel PROLOG with Divided Assertion Set. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:22-28 [Conf]
  4. Evan Tick, David H. D. Warren
    Towards a Pipelined Prolog Processor. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:29-40 [Conf]
  5. Naoyuki Tamura, Yukio Kaneda
    Implementing Parallel Prolog on a Multiprocessor Machine. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:42-48 [Conf]
  6. Andrzej Ciepielewski, Seif Haridi
    Control of Activities in the Or-Parallel Token Machine. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:49-57 [Conf]
  7. Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo
    Logic Programming Using Parallel Associative Operations. [Citation Graph (2, 0)][DBLP]
    SLP, 1984, pp:58-68 [Conf]
  8. Tom Khabaza
    Negation as Failure and Parallelism. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:70-75 [Conf]
  9. David Gelernter
    A Note on Systems Programming in Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:76-82 [Conf]
  10. Ehud Y. Shapiro, Colin Mierowsky
    Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:83-90 [Conf]
  11. Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel
    Editing First-Order Proofs: Programmed Rules vs Derived Rules. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:92-98 [Conf]
  12. Lisa Hellerstein, Ehud Y. Shapiro
    Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:99-115 [Conf]
  13. Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota
    A Knowledge Assimilation Method for Logic Databases. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:118-125 [Conf]
  14. Hideyuki Nakashima
    Knowledge representation in Prolog/KR. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:126-130 [Conf]
  15. Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa
    A Methodology for Implementation of a Knowledge Acquisition System. [Citation Graph (2, 0)][DBLP]
    SLP, 1984, pp:131-142 [Conf]
  16. P. A. Subrahmanyam, Jia-Huai You
    Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:144-153 [Conf]
  17. Mats Carlsson
    On Implementing Prolog in Functional Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:154-159 [Conf]
  18. Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
    On the Integration of Logic Programming and Functional Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:160-166 [Conf]
  19. Gary Lindstrom, Prakash Panangaden
    Stream-Based Execution of Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:168-176 [Conf]
  20. Bruce Smith
    Logic Programming on an FFP Machine. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:177-186 [Conf]
  21. Uday S. Reddy
    Transformation of Logic Programs into Functional Programs. [Citation Graph (2, 0)][DBLP]
    SLP, 1984, pp:187-196 [Conf]
  22. David Scott Warren
    Efficient Prolog Memory Management for Flexible Control Strategies. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:198-202 [Conf]
  23. Michael J. Wise, David M. W. Powers
    Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. [Citation Graph (4, 0)][DBLP]
    SLP, 1984, pp:203-210 [Conf]
  24. Mark E. Stickel
    A Prolog Technology Theorem Prover. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:211-217 [Conf]
  25. Kuniaki Uehara, Ryo Ochitani, Osamu Kakusho, Jun'ichi Toyoda
    A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:220-227 [Conf]
  26. António Porto, Miguel Filgueiras
    Natural Language Semantics: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:228-232 [Conf]
  27. Harvey Abramson
    Definite Clause Translation Grammars. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:233-240 [Conf]
  28. Kenneth M. Kahn
    A Primitive for the Control of Logic Programs. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:242-251 [Conf]
  29. Derek R. Brough, Maarten H. van Emden
    Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:252-258 [Conf]
  30. Hisao Tamaki
    Semantics of a Logic Programming Language with a Reducibility Predicate. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:259-264 [Conf]
  31. Carlo Zaniolo
    Object-Oriented Programming in Prolog. [Citation Graph (7, 0)][DBLP]
    SLP, 1984, pp:265-270 [Conf]
  32. David A. Plaisted
    The Occur-Check Problem in Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:272-280 [Conf]
  33. Neil D. Jones, Alan Mycroft
    Stepwise Development of Operational and Denotational Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:281-288 [Conf]
  34. Prateek Mishra
    Towards a Theory of Types in Prolog. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:289-298 [Conf]
  35. Tamás Gergely, Miklós Szöts
    Cuttable Formulas for Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:299-310 [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