The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Logic Programming (SLP / ILPS / NACLP) (slp)
1986 (conf/slp/86)

  1. W. W. Bledsoe
    Some Thoughts on Proof Discovery. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:2-10 [Conf]
  2. Peter Øhrstrøm, Niels Aalborg
    The Logic of Tensed Statements in English - An Application of Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:12-19 [Conf]
  3. Leon Sterling, Randall D. Beer
    Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:20-27 [Conf]
  4. Joe L. Armstrong, Nabiel A. Elshiewy, Robert Virding
    The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:28-33 [Conf]
  5. Jorge B. Bocca
    EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. [Citation Graph (10, 0)][DBLP]
    SLP, 1986, pp:36-45 [Conf]
  6. M. L. Ross, Kotagiri Ramamohanarao
    Paging Strategy for Prolog Based Dynamic Virtual Memory. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:46-57 [Conf]
  7. Ian T. Foster, Anthony J. Kusalik
    A Logical Treatment of Secondary Storage. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:58-67 [Conf]
  8. Maurice Bruynooghe, Danny De Schreye, Bruno Krekels
    Compiling Control. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:70-77 [Conf]
  9. Saumya K. Debray, David Scott Warren
    Automatic Mode Inference for Prolog Programs. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:78-88 [Conf]
  10. Pier Giorgio Bosco, Elio Giovannetti
    IDEAL: An Ideal Deductive Applicative Language. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:89-94 [Conf]
  11. Sten-Åke Tärnlund
    Logic Programming-From a Logic Point of View. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:96-103 [Conf]
  12. Dale Miller
    A Theory of Modules for Logic Programming. [Citation Graph (5, 0)][DBLP]
    SLP, 1986, pp:106-114 [Conf]
  13. P. Hoddinott, E. W. Elcock
    PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:115-126 [Conf]
  14. Allen Van Gelder
    Negation as Failure Using Tight Derivations for General Logic Programs. [Citation Graph (23, 0)][DBLP]
    SLP, 1986, pp:127-138 [Conf]
  15. Thomas Vasak, John Potter
    Characterisation of Terminating Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:140-147 [Conf]
  16. Jim A. Crammond
    An Execution Model for Committed-Choice Non-Deterministic Languages. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:148-158 [Conf]
  17. Heikki Mannila, Esko Ukkonen
    Timestamped Term Representation for Implementing Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:159-165 [Conf]
  18. Jean H. Gallier, Stan Raatz
    SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:168-179 [Conf]
  19. Alberto Martelli, Corrado Moiso, Gianfranco Rossi
    An Algorithm for Unification in Equational Theories. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:180-186 [Conf]
  20. Alan Josephson, Nachum Dershowitz
    An Implementation of Narrowing: The RITE Way. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:187-197 [Conf]
  21. Nam Sung Woo, Kwang-Moo Choe
    Selecting the Backtrack Literal in the AND/OR Model. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:200-210 [Conf]
  22. Peter Borgwardt, Doris Rea
    Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:211-222 [Conf]
  23. Peyyun Peggy Li, Alain J. Martin
    The Sync Model: A Parallel Execution Method for Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:223-234 [Conf]
  24. Jeffrey F. Naughton
    Redundancy in Function-Free Recursive Rules. [Citation Graph (4, 0)][DBLP]
    SLP, 1986, pp:236-245 [Conf]
  25. Andrzej Ciepielewski, Bogumil Hausman
    Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:246-257 [Conf]
  26. Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
    MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:258-264 [Conf]
  27. Saumya K. Debray
    Register Allocation in a Prolog Machine. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:267-275 [Conf]
  28. Jonas Barklund, Håkan Millroth
    Garbage Cut for Garbage Collection of Iterative Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:276-283 [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